William Alvin Howard, né le à Vancouver et mort le à Chicago, 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 simplement 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 , réfèrent à lui W. A. Howard, « A system of abstract constructive ordinals », J. Symbolic Logic 37 (2) (1972) 355–374 et à Heinz Bachmann H. Bachmann, Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen, Vierteljschr. Naturforsch. Ges. Zurich 95 (1950) 115–147.
Il est élu en 2018, fellow de l'American Mathematical Society.
Références
Liens externes
Catégorie:Logicien américain Catégorie:Personnalité en théorie de la démonstration Catégorie:Mathématicien américain du XXe siècle Catégorie:Docteur de l'université de Chicago Catégorie:Naissance en décembre 1926 Catégorie:Naissance à Vancouver Catégorie:Décès en mars 2026 Catégorie:Décès à Chicago Catégorie:Décès à 99 ans