Ambos libros abordan la lógica matemática y la computabilidad con un enfoque riguroso en la teoría de la recursión y sus limitaciones.
Computability and Logic
por George Boolos, Richard Jeffrey, John Burgess · 1974
Ver sugerenciasSinopsis
Un libro de texto que aborda la lógica de primer orden y la computabilidad, cubriendo temas como la incompletitud de Gödel y la teoría de la recursión, con un enfoque riguroso y didáctico.
Sé el primero en valorar este libro.
Más de George Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Exploran profundamente el cálculo de predicados y los teoremas de incompletitud, conectando directamente la lógica con cuestiones sobre la computación.
Ofrecen una introducción formal y rigurosa a las funciones recursivas, definiendo qué puede ser computable desde una perspectiva lógica y matemática.
Cubrenden conceptos fundamentales de lógica matemática, incluyendo teoría de modelos y recursión, sentando las bases para la comprensión de la computabilidad.
Introduce los mismos temas centrales de computabilidad y lógica matemática, abordando las funciones recursivas y las máquinas de Turing de manera rigurosa.
Exploren intersecciones entre lógica, computabilidad y filosofía, presentando de manera accesible conceptos complejos como la teoría de modelos y computación.