Ambos textos de Kleene abordan rigorosamente la lógica matemática y la teoría de la recursión, sentando las bases para la comprensión de la computabilidad.
Introducción a los Metamatemáticos
por Stephen Cole Kleene · 1952
Ver sugerenciasSinopsis
Un texto clásico que cubre los fundamentos de la lógica matemática, la teoría de la computabilidad y los teoremas de incompletitud de Gödel, con un enfoque en la teoría recursiva.
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
Una Introducción a la Metamatemática
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
Este libro comparte el enfoque en lógica simbólica y metamatemática, explorando sistemas formales y sus propiedades, al igual que el de referencia.
La obra destaca por establecer fundamentos sólidos en lógica matemática y teoría de la recursión, expandiendo conceptos de computabilidad de manera rigurosa, similar al original.
Este texto de Kleene introduce rigurosamente el estudio de la metamatemática y la teoría de la computabilidad, coherente con el enfoque del libro de referencia.
Ambos libros exploran exhaustivamente la lógica matemática y la teoría de la recursión, con énfasis en funciones computables y el programa de Hilbert.
Este texto destaca por resaltar bases constructivas en lógica matemática y recursión, enfatizando temas que también son centrales en la obra de Kleene.