Alonzo Church (1903-1995) Historia

---

1 Un visitante nos comenta

Matemático estadounidense. Profesor en la Universidad de Princeton, se especializó en lógica matemática, metalógica y metamatemática. Es notable su concepto de calculabilidad y su demostración de la indecidibilidad de la lógica de primer orden. Desarrolló el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas. Destacan sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944).

---

Si conoces algún dato más de la Biografia de Alonzo Church, por favor haz click aquí y añade los datos que sepas sobre esta biografía para poder seguir mejorando y ofreciendo mejores resultados en el mayor buscador de biografías de Internet.