Ambos textos son obras fundamentales de Alonzo Church que presentan rigurosamente conceptos clave de la lógica matemática y fundamentos de la computabilidad.
Una Introducción a la Lógica Matemática
por Alonzo Church · 1956
Ver sugerenciasSinopsis
Este texto es una obra fundamental que introduce los conceptos básicos de la lógica matemática, incluyendo el cálculo lambda, la teoría de la computabilidad y los fundamentos de las matemáticas.
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
Mathematical Logic
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Introduction to Mathematical Logic
1956
Introducción a la Metalógica
1956
Some Applications of the Lambda Calculus to Proof Theory
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro expande la introducción a la lógica matemática al desarrollar metateorías y sistemas axiomáticos, profundizando en la lógica de manera rigurosa.
El enfoque en el cálculo lambda como base teórica en este libro lo conecta directamente con la obra de Church sobre lógica matemática y computabilidad.
Al igual que la obra de Church, este texto introduce formalmente conceptos de lógica matemática y computabilidad, vitales para la teoría de la computación.
Ambos textos presentan un análisis riguroso de la lógica matemática y abordan los fundamentos teóricos, incluyendo lógica proposicional y metamatemática.
Aunque está en inglés, este libro mantiene el enfoque formal y riguroso de Church en los fundamentos de la lógica matemática y sus teorías.