Alonzo Church (14 de junio de 1903 – 11 de agosto de 1995) Matemático y lógico estadounidense, que sentó algunas de las bases de la informática teórica. Fue profesor en las universidades de Princeton y California y redactor de la revista Jounal of Symbolic Logic. Se especializó en lógica matemática, metamatemática y metalógica y fue quien introdujo en los años 30, el cálculo de conversión lambda. Sus ideas fueron luego complementadas por Alan Turing.
Nacido en Washington D.C, sus padres fueron Samuel Robbins Church, juez, y Mildred Hannah Letterman Parker. Luego de terminar la secundaria, ingresó a la Universidad de Princeton, donde se graduó con un A.B en 1924 y en 1927, obtuvo su doctorado. Su tesis doctoral, Alternatives to Zermelo’s Assumption, giro entorno a los axiomas de Zermelo y fue supervisada por Oswald Veblen.
En 1926, mientras aún escribía su tesis, contrajo matrimonio con Mary Julia Kuczinski
A su regreso a Estados Unidos, en 1929, Church se convirtió en profesor asistente de matemáticas en Princeton. Posteriormente fue ascendido a profesor asociado (1939) y en 1947, a profesor titular, cargo que ocupó hasta 1961. Luego de esto, fue profesor de matemáticas y filosofía hasta 1967, año en el que dejó Princeton para enseñar en la Universidad de California. Church fue Kent Professor de Filosofía y Matemáticas en California hasta su retiro en 1990. En 1992 se mudó a Hudson, Ohio, donde paso sus últimos años.
Entre sus alumnos se encontraban, Peter Andrews, William W. Boone, Alfred Foster, David Berlinski, Dana Scott y Raymond Smullyan.
Aunque trabajó en varias áreas de la lógica, la matemática y la filosofía, Church se interesó principalmente por la lógica matemática, la metamatemática y la metalógica. Su principal contribución a la lógica matemática fue su tesis sobre la calculabilidad de una función. Asimismo, demostró en Un teorema no resoluble de la teoría elemental de los números (1936), la indecidibilidad de la lógica de primer orden (teorema Church-Turing), o del cálculo cuantificacional elemental y además introdujo en los años 30, el cálculo de conversión lambda. Este permite realizar diferentes operaciones lógicas con variables generalizadas.
Sus ideas en lógica matemática- ampliadas por Alan Turing– contribuyeron al desarrollo de la informática teórica. Fue también uno de los fundadores de la revista Journal of Symbolic Logic, la cual editó hasta 1979. Abordo con regularidad la teoría de conjuntos, la teoría de números, los algoritmos y los axiomas en la teoría de conjuntos. Su obra, al igual que la de Bertrand Russell
Destacan sus artículos: A formulation of the logic of sense and denotation (1951);Remarks on the elementary theory of differential equations as area of research (1965); Comparison of Russell’s resolution of the semantical antinomies with that of Tarski (1976).
Escribió también Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944).
Church falleció el 11 de agosto de 1995 en Hudson, Ohio.