Ambos libros analizan la teoría de la computabilidad, centrándose en funciones recursivas y su relevancia en la lógica matemática.
Teoría de la Recursión
por Raymond Smullyan · 1961
Ver sugerenciasSinopsis
Un texto riguroso que profundiza en la teoría de la recursión, un pilar de la computabilidad, presentando el material con una claridad y elegancia distintivas. Smullyan es conocido por sus libros de lógica y acertijos.
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
Forever Undecided
1961
Teoría de la Computabilidad
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 texto también se adentra en la lógica y la computabilidad, utilizando un estilo narrativo que incluye rompecabezas similar al de Smullyan.
Explora fundamentos lógicos y paradojas matemáticas, ofreciendo un análisis profundo que resuena con la estructura filosófica de la obra de Smullyan.
Una introducción clara a la lógica matemática y teoría de modelos, en línea con el enfoque accesible y riguroso característico de Smullyan.
Presenta conceptos fundamentales de lógica y computabilidad con una claridad que evoca el estilo elegante apreciado en Teoría de la Recursión.
Se centra en la computabilidad mediante máquinas de Turing, conectando directamente con los temas de recursividad tratados por Smullyan.