Alonzo Church
mathématicien américain / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Alonzo Church?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Alonzo Church ( Washington - Hudson) est un mathématicien (logicien) américain à qui l'on doit certains des fondements de l'informatique théorique.
Faits en bref Naissance, Décès ...
Alonzo Church
Naissance |
Washington (États-Unis) |
---|---|
Décès |
(à 92 ans) Hudson (États-Unis) |
Nationalité | Américain |
Domaines | mathématiques, logique |
---|---|
Institutions | Université de Princeton, UCLA. |
Diplôme | Université de Princeton |
Directeur de thèse | Oswald Veblen |
Étudiants en thèse |
C. Anthony Anderson Peter B. Andrews (en) George Alfred Barnard (en) Martin Davis Leon Henkin (en) David Kaplan John George Kemeny Stephen Kleene Gary R. Mar (en) Michael O. Rabin Hartley Rogers, Jr (en) J. Barkley Rosser Dana Scott Raymond Smullyan Alan Turing |
Renommé pour | lambda-calcul, thèse de Church, propriété de Church-Rosser |
Fermer