Alonzo Church
De Wikipédia, l'encyclopédie libre
Alonzo Church (14 juin de 1903 - 11 août de 1995), mathématique et logique nord-américain responsable par créer la base du calcul théorique. Né dans la ville de Washington, se diplomó dans la Université de Princeton en 1924 et a obtenu sa doctorado en 1927, où a exercé comme professeur entre 1929 et 1967.
Son oeuvre sa plus connue est le développement du calcul lambda, et son travail de 1936 que montre l'existence de problèmes indecidibles. Ce travail a précédé le fameux travail de son élève Alan Turing sur le problème d'arrêt qu'a aussi démontré l'existence de problèmes irresolubles par des dispositifs mécaniciens. Après de réviser la thèse doctorale de Turing, ont démontré que le calcul lambda et la machine de Turing utilisée pour exprimer le problème d'arrêt avaient pareil pouvoir d'expression; ils ont postérieurement démontré qu'une variété de procès mécaniciens alternes pour réaliser calculs ils avaient pouvoir de compte équivalent. Comme résultat se postuló la Thèse de Church-Turing.
Entre les plus connus étudiants de doctorado de Church sont Stephen Kleene, J. Barkley Rosser, Leon Henkin, John George Kemeny, Michael Ou. Rabin, Dana Scott, Simon Kochen, Raymond Smullyan et autrui.
Le calcul lambda influenció la création du langage Lisp ainsi que les langages de programmation fonctionnelle.
Voyez-vous aussi
- Principe de Church-Turing-Deutsch
Tu raccordes externes
- Biographie de Church, en anglais
- H B Enderton, In memoriam: Alonzo ChurchDonne:Alonzo Churchai:אלונזו צ'רץ'
