AC
AC
Alonzo Church
estadounidense
Alonzo Church fue un matemático y lógico estadounidense conocido por sus contribuciones a la teoría de la computabilidad y la lógica matemática, así como por desarrollar el concepto de la función lambda. Su trabajo sentó las bases para el desarrollo de la informática y la teoría de lenguajes de programación.
Obras en el archivo
10 títulos
Introducción a la lógica matemática
1956·filosofia
Un clásico seminal de la lógica matemática que introduce los fundamentos del cálculo lambda, la teoría de tipos y la indecidibilidad.
Mathematical Logic
1956
Este libro ofrece una introducción rigurosa a la lógica matemática, abordando temas como la teoría de conjuntos, la teoría de la computación y la relación entre lógica y matemáticas a través de conceptos fundamentales.
Introduction to Mathematical Logic
1956
Este libro presenta los fundamentos de la lógica matemática, abarcando temas como la teoría de conjuntos, la no-contradicción y el teorema de completitud, ofreciendo un enfoque riguroso y formal que es fundamental para la comprensión de la lógica moderna.
N-Category Café
1971
Autores relacionados
Aparecen junto a Alonzo Church en búsquedas del archivo