Church, Alonzo (1903-1995).
Filósofo y lógico matemático estadounidense, nacido en Washington. Tras graduarse en matemáticas en Princeton, enseñó matemáticas y filosofía. Redactor, desde el año de su fundación, del Jounal of Symbolic Logic, ha proporcionado contribuciones muy importantes a la lógica matemática con su "tesis" según la cual toda función calculable (es decir, predicado decidible) es una función recursiva y viceversa. Esta tesis la expuso en el artículo Un teorema no resoluble de la teoría elemental de los números (1936). Ha escrito también Introducción a la lógica matemática (1956).
