Ambos textos de Smullyan analizan funciones recursivas, profundizando en la teoría de la computabilidad desde una perspectiva lógica y matemática.
Teoría de la Computabilidad
por Raymond Smullyan · 1961
Ver sugerenciasSinopsis
Este texto aborda la teoría de la computabilidad desde una perspectiva que combina la lógica matemática y la ciencia de la computación, explorando funciones recursivas, teoremas de incompletitud y problemas irresolubles.
Sé el primero en valorar este libro.
Más de Raymond Smullyan
Ver autor →Otras obras del mismo autor en el catálogo
How to Solve It
1957
Mathematics and the Imagination
1958
Introducción a los conceptos básicos de la lógica matemática
1961
Teoría de la Recursión
1961
Forever Undecided
1961
The Devil and Mathematical Logic
1967
Principios de sistemas formales
1968
Elementos de Lógica Matemática y Teoría de la Computación
1968
Elementos de lógica y teoría de modelos
1968
Formalización de la Lógica
1968
The Lady or the Tiger?
1972
What Is the Name of This Book?
1978
El placer de la lógica: Paradojas y juegos de ingenio
1978
El placer de la paradoja: El cerebro y las matemáticas
1980
The Mind's I
1981
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro utiliza rompecabezas y parábolas, similarmente a Smullyan, para explicar principios de lógica y computabilidad, enriqueciendo la comprensión del lector.
El enfoque en los fundamentos de la computación y sus límites coincide con la exploración de problemas irresolubles en 'Teoría de la Computabilidad'.
Ambos obras comparten un fuerte énfasis en la lógica y las paradojas matemáticas, reflexionando sobre las complejidades conceptuales en la computabilidad.
Introduce conceptos fundamentales de la lógica de primer orden e incompletud, vinculándose con la exploración de teoremas en el texto de referencia de Smullyan.
Se centra en la teoría de algoritmos y funciones recursivas, lo que conecta directamente con el análisis rigoroso de la computabilidad en Smullyan.