Reseña: The mechanization of mathematics
Se ha publicado un artículo sobre razonamiento automático titulado The mechanization of mathematics.
Su autor es Michael Beeson de la San José State University.
Su resumen es
The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.
Este artículo puede servir de lectura complementaria en los cursos de Razonamiento automático, Razonamiento asistido por ordenador y Lógica computacional y teoría de modelos.