Alonzo Church
Un article de Wikipédia, l'encyclopédie libre.
Alonzo Church 14 juin 1903 - 11 août 1995 fut un mathématicien (logicien) des États-Unis d'Amérique à qui l'on doit certains des fondements de l'informatique théorique.
Il est connu principalement pour le développement du lambda-calcul et pour son article de 1936 dans lequel il démontre l'existence d'un problème indécidable. Ce résultat précède le fameux travail d'Alan Turing sur le problème de l'arrêt qui démontra aussi l'existence d'un problème insoluble par des moyens mécaniques. Supervisant la thèse doctorale de Turing, ils démontrèrent alors que le lambda-calcul de Church et la machine de Turing utilisée dans son étude du problème de l'arrêt avaient des capacités équivalentes, puis qu'un certain nombre de formalisations mathématiques de la notion de traitement par des processus mécaniques ont des aptitudes de traitement équivalentes. Cette constatation aboutit à la thèse de Church-Turing.
Parmi ses autres étudiants à Princeton : Stephen Kleene.
Ses travaux influencèrent notamment le langage de programmation LISP.
Voir aussi :