William Alvin Howard
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 :
- (en) « William Alvin Howard », sur le site du Mathematics Genealogy Project
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.