Ambos textos son fundamentales en lógica matemática, abordando la teoría de la recursión y los fundamentos de la computabilidad con rigor académico.
Introducción a la Metalógica
por Alonzo Church · 1956
Ver sugerenciasSinopsis
Un tratado fundamental y riguroso sobre la lógica matemática y sus metateorías, que desarrolla los sistemas axiomáticos, la teoría de la recursión y la demostración de los límites de la computabilidad.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
An Unsolvable Problem of Elementary Number Theory
1936
A Formulation of the Notion of Computability
1936
The Logical Foundations of Mathematics
1940
Lambda-Cálculo de Tipo Simple
1940
A Note on the Undecidability of Certain Functions
1940
The Calculi of Lambda-Conversion
1940
El Cálculo Lambda y sus Aplicaciones
1941
El Cálculo Lambda: Un Lenguaje Universal de Programación
1941
Lógica simbólica
1944
Introduction to Mathematical Logic
1956
Una Introducción a la Lógica Matemática
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Mathematical Logic
1956
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Similar al libro de referencia, este texto presenta el cálculo lambda y los principios de computabilidad, ofreciendo una base sólida en lógica matemática.
Como en 'Introducción a la Metalógica', este libro explora la lógica simbólica y la metamatemática, poniendo énfasis en la teoría de la recursión.
Este texto profundo examina la teoría de la computabilidad y los teoremas de Gödel, alineándose con los temas centrales del libro de referencia.
Al igual que en la obra de Church, se discuten los fundamentos de la lógica proposicional y de primer orden con un enfoque metamatemático formal.
Este libro de Church ofrece un enfoque riguroso sobre la lógica matemática y la relación con la teoría de conjuntos, complementando la perspectiva de 'Introducción a la Metalógica'.