Alonzo Church
![Alonzo Church Alonzo Church]()
Lógico y matemático estadounidense (
Washington, 1903 -
Hudson, Ohio, 1995).
Sus máximas aportaciones fueron la definición precisa de la noción de calculabilidad y su demostración de la indecibilidad del cálculo de los predicados de primer orden, según la cual no existe ningún procedimiento general para decidir si una fórmula es consecuencia o no de otro conjunto de fórmulas, sino que es necesario tratar de probarlo en cada caso.
Publicaciones y escritos
• The Calculi of Lambda Conversion (
1941).
• Introduction to Mathematical Logic (
1944).
• Escribió numerosos artículos de gran relevancia en el campo de la metalógica.
• Editó la revista
Journal of Symbolic Logic de
1936 a
1979.
Ver también
En el glosario: Lógica — Razonamiento.
En biografías: Alfred North Whitehead —
Andréi Kolmogórov —
Augustus De Morgan —
George Boole —
Gottlob Frege —
Jan Łukasiewicz —
Ludwig Wittgenstein —
Rudolf Carnap.
🧾Listado completo de biografías