Alonzo Church , matemático y lógico estadounidense (m. 1995)
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995) fue un matemático y lógico estadounidense que realizó importantes contribuciones a la lógica matemática y a los fundamentos de la informática teórica. Es mejor conocido por el cálculo lambda, la tesis de Church-Turing, que demuestra la irresolubilidad del Entscheidungsproblem, la ontología de Frege-Church y el teorema de Church-Rosser. También trabajó en filosofía del lenguaje (ver, por ejemplo, Church 1970). Junto a Alan Turing, Church ha sido considerado uno de los fundadores de la informática.