Alonzo Church

Alonzo Church est un mathématicien américain (1903-1995). Il a étudié à Princeton où il deviendra professeur après avoir voyagé à l'Université Harvard, à l'Université de Göttinger et à l'université d'Amsterdam après son doctorat. Il quittera Princeton en 1967 pour rejoindre l'Université de Californie (UCLA).

Il a travaillé sur la calculabilité et la logique. Ses travaux les plus connus concernent le développement du lambda-calcul et la 'thèse de Church' ou 'thèse Church-Turing'. Il a été le professeur de nombreux logiciens dont Alan Turing. Il a influencé les langages de programmation fonctionnelle.

Individu