Alonzo Church , mathématicien et logicien américain (décédé en 1995)
Alonzo Church (14 juin 1903 - 11 août 1995) était un mathématicien et logicien américain qui a apporté des contributions majeures à la logique mathématique et aux fondements de l'informatique théorique. Il est surtout connu pour le calcul lambda, la thèse de Church-Turing, prouvant l'insolvabilité du problème d'Entscheidungsproblem, l'ontologie de Frege-Church et le théorème de Church-Rosser. Il a également travaillé sur la philosophie du langage (voir par exemple Church 1970). Aux côtés d'Alan Turing, Church a été considéré comme l'un des fondateurs de l'informatique.