0 Estados Unidos, 1903 - 1995
Matemático. Creador de algunas de las bases de la Informática Teórica. Estableció el concepto de calculabilidad y su demostración de la indecidibilidad de la lógica de primer orden, conocido como Tesis de Church. Desarrolló el cálculo de conversión Lambda en 1936, que permite efectuar operaciones lógicas con variables generalizadas, demostrando la presencia de problemas indecidibles. Este resultado unido al trabajo de Turing sobre el problema de parada en la Máquina de Turing, que también demostraba la existencia de un problema irresoluble por medios mecánicos, demostraron que tenían capacidades de computo equivalentes, dando lugar a la Tesis Church-Turing. Destacan sus obras "The Calculi of Lambda-Conversion" (Cálculo de conversión Lambda) en 1941, e "Introduction to Mathematical Logic" (Introducción a la lógica matemática) en 1944.
Alonzo Church
- 1903 junio 14
- Nace Alonzo Church, matemático y lógico que desarolló el Cálculo lambda.
- 1938
- Turing, bajo la dirección de Alozo Church, presenta su tesis sobre la decibilidad en la Universidad de Princeton, recibiendo el título de doctor.
