William Alvin Howard
Pour les articles homonymes, voir William Howard et Howard.
William Alvin Howard
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
William Alvin Howard (né en 1926) est un logicien américain.
Biographie[modifier | modifier le code]
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[modifier | modifier le code]
- (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[modifier | modifier le code]
- Ressources relatives à la recherche :
- (en) « William Alvin Howard », sur le site du Mathematics Genealogy Project
