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) américain à qui l'on doit certains des fondements de l'informatique théorique.
Il est connu principalement pour le développement du lambda-calcul, son application à la notion de fonction récursive et pour son article de 1936 dans lequel il démontre l'existence d'un problème indécidable. Ces résultats précèdent le 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 en collaboration avec Kleene que le lambda-calcul de Church et la machine de Turing 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 étudiants à Princeton il eut C. Anthony Anderson, Peter Andrews, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael O. Rabin, Hartley Rogers, Jr, J. Barkley Rosser, Dana Scott, Raymond Smullyan et Alan Turing. See [1].
Ses travaux influencèrent notamment le langage de programmation LISP et les langages de programmation fonctionnelle.
[modifier] Sources et références
- Stephen Kleene Origins of Recursive Function Theory in Annals of the History of Computing, Vol. 3 No. 1, Janvier 1981. Cet article raconte la période qui à vu à Princeton l'émergence du concept de fonction récursive.
