🎁 84% OFF

Aquí también estamos

Glosario actualizado el 18/09/2026

Alonzo Church

Alonzo ChurchLó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ógicaRazonamiento.

En biografías: Alfred North WhiteheadAndréi KolmogórovAugustus De MorganGeorge BooleGottlob FregeJan ŁukasiewiczLudwig WittgensteinRudolf Carnap.

🧾Listado completo de biografías


📚 Más contenido

📁 Apartados

📜 Historias

🎮 Videojuegos/consolas

🥠 Virus/gusanos

Últimas biografías agregadas y actualizadas

» Kapitsa Leonídovich Piotr » Chappe Claude » Anderson Carl David » Humery Konrad

Los 10 países con mas personalidades

1. EE. UU. 2. Alemania 3. Inglaterra 4. Francia 5. Rusia 6. Italia 7. Holanda (Países Bajos) 8. Escocia 9. Suiza 10. Austria

Switch to iPhone 18 with MobileTrans & Enter to Win AirPods and More