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
📚 Más contenido
📁 Apartados
📜 Historias
🎮 Videojuegos/consolas
🥠 Virus/gusanos
Últimas biografías agregadas y actualizadas
Los 10 países con más personalidades
- EE. UU.
- Alemania
- Inglaterra
- Francia
- Rusia
- Italia
- Holanda (Países Bajos)
- Escocia
- Suiza
- Austria
