Alonzo Church

(Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática.

Alonzo Church

De sus trabajos es notable su concepto de calculabilidad de una función y su demostración de la indecidibilidad de la lógica de primer orden, es decir, del cálculo cuantificacional elemental. Algunas de sus ideas serían ampliadas o complementadas por Alan Turing, pionero en la formulación teórica de la informática. Alonzo Church desarrolló asimismo el cálculo de conversión lambda, que permite efectuar operaciones lógicas con variables generalizadas.

Destacan, dentro de su abundante producción teórica, sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944). Church difundió sus trabajos a través del Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desde 1936.

Cómo citar este artículo:
Fernández, Tomás y Tamaro, Elena. «». En Biografías y Vidas. La enciclopedia biográfica en línea [Internet]. Barcelona, España, 2004. Disponible en [fecha de acceso: ].