Ambos textos establecen fundamentos rigorosos de la lógica matemática, abordando conceptos esenciales como la lógica proposicional y la teoría de funciones computables.
Introducción a la Lógica y la Metamatemática
por Alonzo Church · 1956
Ver sugerenciasSinopsis
Un texto seminal que presenta los fundamentos de la lógica matemática clásica, incluyendo la lógica proposicional y de primer orden, así como los principios de la metamatemática, de forma rigurosa y formal.
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
Una Introducción a la Lógica Matemá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
Shoenfield y Church comparten un enfoque sistemático y formal al desarrollar temas fundamentales de la lógica, incluyendo teoría de modelos y teoría de pruebas.
Kleene ofrece una exploración extensa sobre metamatemática y computabilidad, conectando conceptualmente con la rigurosidad de la obra de Church en lógica clásica.
Smullyan y Church se centran en la lógica de primer orden, presentando de manera formal la construcción de sistemas lógicos y la demostración de teoremas.
La obra divulgativa de Church brinda un enfoque accesible a la teoría de tipos y recursividad, similar al rigor en su texto más formal.
Ambos textos de Church introducen la lógica matemática y la teoría de la computabilidad, enfatizando ideas fundamentales y su importancia en matemáticas.