Alonzo Church (1903 – 1995) Lógico matemático y filósofo nacido en Washington, D.C., autor del famoso libro Introduction of Mathematical Logic.
Fue profesor de matemáticas en la Universidad de Princeton (1929-1967) y luego profesor de filosofía y matemáticas en la Universidad de California, Los Angeles, UCLA (1967), donde escribió su principal obra.
Fue editor del Journal of Symbolic Logic (1936-1979) y miembro de la Academia Nacional de Ciencias. Su trabajo se volvió muy influyente en los campos de la lógica matemática, teoría de recursividad e informática teórica. Al final de su vida fue ampliamente reconocido como el más grande lógico vivo en el mundo. Sus principales contribuciones fueron Teorema de Church (1936), demostrando que la aritmética es indescifrable y la Tesis de Church, conjeturando que cómputo eficaz es equivalente a la noción de una función recursiva.
Murió en Hudson, Ohio, a la edad de 92 años y fue enterrado en el cementerio de Princeton.
