Alonzo Church
Page d'aide sur l'homonymie Pour les articles homonymes, voir Alonzo et Church.
Alonzo Church
Naissance 14 juin 1903
Washington, D.C., (États-Unis)
Décès 11 août 1995 (à 92 ans)
Hudson (États-Unis)
Nationalité Drapeau des États-Unis Américain
Champs mathématiques, logique
Institution Princeton University, UCLA.
Diplômé de Princeton University
Renommé pour lambda-calcul, thèse de Church, Propriété de Church-Rosser


Alonzo Church (14 juin 1903 Washington, D.C., - 11 août 1995 Hudson) 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, pour la première démonstration de l'existence d'un problème indécidable et pour son rôle dans la création du Journal of Symbolic Logic. Les travaux de son équipe (Church, Kleenne et Rosser) précèdent le travail d'Alan Turing sur le problème de l'arrêt. C'est Church qui le premier a l'idée que l'on peut définir le concept de fonction calculable dans un sens très large, cette idée avait déjà entrevue par Herbrand, mais sa mort prématurée ne lui avait pas permis de la pousser plus loin. Church en a eu l'idée par le lambda-calcul. Church démontre en 1936 l'existence d'un problème insoluble par des moyens mécaniques. Kleene démontre que le lambda-calcul de Church, les fonctions générales récursives (modèle dit de Herbrand- Gödel) et les machines de Turing ont des capacités équivalentes. L'équivalence démontrée ensuite qu'un certain nombre de formalisations mathématiques de la notion de traitement par des processus mécaniques ont des aptitudes en tous points semblables confirme l'intuition de Church. Cette constatation aboutit à la thèse de Church (appelée aussi thèse de Church-Turing). Elle s'appelle « thèse » parce qu'il s'agit d'un résultat qui ne peut pas être prouvé, car il affirme l'équivalence entre un concept intuitif, à savoir les fonctions mécaniquement calculables, et un concept formel, à savoir, les diverses définitions des fonctions récursives. Elle s'appelle la « thèse de Church » puisque c'est lui qui en a eu le premier l'idée. Elle s'appelle la « thèse de Church-Turing » puisque les machines de Turing donnent une véritable idée de ce que « mécanique » veut dire.

Parmi ses étudiants à Princeton, il eut des logiciens devenus célèbres, à savoir 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[1].

Ses travaux influencèrent les langages de programmation fonctionnelle.

Bibliographie

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 a vu à Princeton l'émergence du concept de fonction récursive.
  • Wilfried Sieg Step By Recursive Step: Church's Analysis Of Effective Calculability (1997), The Bulletin of Symbolic Logic, vol 3, n°2. Discute l'émergence du concept de récursivité dans la pensée de Church.
  • un entretien avec Church sur sa période à Princeton (en anglais)

Voir aussi


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Alonzo Church de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Alonzo Church — (* 14. Juni 1903 in Washington D. C.; † 11. August 1995 in Hudson, Ohio) war ein US amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik. Er studierte an der Princeton University und schloss dort …   Deutsch Wikipedia

  • Alonzo Church — Saltar a navegación, búsqueda Alonzo Church (14 de junio de 1903 11 de agosto de 1995), matemático y lógico norteamericano responsable por crear la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de …   Wikipedia Español

  • Alonzo Church — (14 de junio de 1903 11 de agosto de 1995), matemático y lógico Norteamericano responsable por crear la bases de la computación teórica. Nacido en la ciudad de Washington, se diplomó en la Universidad de Princeton en 1924 y obtuvo su doctorado en …   Enciclopedia Universal

  • Alonzo Church — This article is about the mathematician and logician. For the president of the University of Georgia, see Alonzo S. Church. Alonzo Church Alonzo Church (1903–1995) …   Wikipedia

  • Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… …   Wikipedia

  • Alonzo S. Church — was the sixth president of the University of Georgia (UGA) in Athens. He served in that capacity from 1829 until his resignation in 1859.Church was born on April 9, 1793 in Brattleboro, Vermont and died on May 18, 1862 in Athens. He was a 1816… …   Wikipedia

  • CHURCH (A.) — CHURCH ALONZO (1903 ) Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né à Washington. Professeur de mathématiques à l’université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale «le… …   Encyclopédie Universelle

  • Church (surname) — Church is an English surname. Notable people with the surname include: Albert T. Church (born 1947), Vice Admiral in the United States Navy Alonzo Church (1903–1995), logician, famous for the Church Turing thesis and lambda calculus Captain… …   Wikipedia

  • Church — ist der Familienname folgender Personen: Albert T. Church, Vize Admiral der US Navy Alonzo Church (1903–1995), US amerikanischer Mathematiker Arthur Herbert Church (1834–1915), britischer Autor, Maler und Chemiker Benjamin Church, General der… …   Deutsch Wikipedia

  • Church — may refer to: Contents 1 Religion 2 People 3 Places 4 Popular music 5 Other uses …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”