William Alvin Howard

Pour les articles homonymes, voir William Howard et Howard.

Biographie
Naissance	1926
Nationalité	américaine
Formation	Université de Chicago
Activités	Mathématicien, professeur d'université

Autres informations
A travaillé pour	Université de l'Illinois à Chicago
Membre de	American Mathematical Society (2017)
Directeurs de thèse	Saunders Mac Lane, André Weil
Distinction	Membre honoraire de l'American Mathematical Society (2018)

modifier - modifier le code - modifier Wikidata

William Alvin Howard (né en 1926) est un logicien américain.

Biographie

Il est surtout connu en théorie de la démonstration et théorie de la calculabilité, pour avoir établi une correspondance entre la logique intuitionniste et le lambda-calcul typé, résultat connu sous le nom de correspondance de Curry-Howard. Il a aussi produit des travaux théoriques sur l'utilisation des ordinaux dans les démonstrations. Il a obtenu son doctorat de l'université de Chicago en 1965.

Les ordinaux de Howard, nommés aussi ordinaux de Bachmann-Howard (en), réfèrent à lui^[1] et à Heinz Bachmann^[2].

Il est élu en 2018, fellow de l'American Mathematical Society.

Références

↑ (en) W. A. Howard, « A system of abstract constructive ordinals », J. Symbolic Logic 37 (2) (1972) 355–374
↑ (de) H. Bachmann, Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen, Vierteljschr. Naturforsch. Ges. Zurich 95 (1950) 115–147

Liens externes

Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
(en) « William Alvin Howard », sur le site du Mathematics Genealogy Project