Este libro expandiende los fundamentos de la lógica matemática y la teoría de la computabilidad, lo que lo hace complementario al tema de la metamatemática.
Una Introducción a la Metamatemática
por Stephen Cole Kleene · 1952
Ver sugerenciasSinopsis
Un texto clásico que establece los fundamentos de la lógica matemática y la metamatemática, incluyendo la teoría de funciones recursivas, indispensable para entender los límites de la computación.
Sé el primero en valorar este libro.
Más de Stephen Cole Kleene
Ver autor →Otras obras del mismo autor en el catálogo
Mathematical Logic
1952
Introducción a los Metamatemáticos
1952
Introduction to Metamathematics
1952
The Elements of Mathematical Logic
1952
Elements of Mathematical Logic
1952
Introduccion al Metamatemáticas
1952
Principios de Metamatemáticas
1952
Mathematical Logic: Its Applicability to the Natural Sciences
1952
Computability and Unsolvability
1952
Un Vistazo a la Metamatemática
1952
Introducción a la Lógica y la Metamatemática
1952
Introducción a la metamatemática
1952
Conceptos de la lógica matemática
1952
Representation of Events in Memory
1964
Mathematical Logic: A First Course
1967
Libros similares
Libros relacionados según distintos criterios de búsqueda
Comparte el mismo enfoque riguroso en la definición de funciones recursivas y de computabilidad, alineándose con los temas centrales de la obra de Kleene.
Introduce conceptos metamatemáticos desde un marco riguroso y formal, sosteniendo la base del estudio de sistemas formales que refleja el análisis inicial de Kleene.
Desarrolla una introducción clara a la lógica simbólica y temas de teoría de la recursión, directamente relacionados con los fundamentos abordados en el libro de referencia.
Profundiza en la lógica matemática y la teoría de la recursión, analizando exhaustivamente los conceptos de computabilidad que Kleene también establece en su obra.
Explora los conceptos de lógica y teoría de la recursión con un enfoque constructivo, lo que resuena con las ideas de metamatemática de Kleene.