Ambos textos abordan la naturaleza de problemas no solucionables, explorando la lógica y sus implicaciones en la teoría de números desde una perspectiva formal.
A Note on the Undecidability of Certain Functions
por Alonzo Church · 1940
Ver sugerenciasSinopsis
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
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
Introducción a la Metalógica
1956
Mathematical Logic
1956
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
La formulación de la computabilidad en este libro se conecta con la obra de Church al profundizar en la relación entre lógica y matemáticas.