William Alvin Howard
mathématicien américain
Pour les articles homonymes, voir William Howard et Howard.
William Alvin Howard, né le à Vancouver et mort le à Chicago[1], est un logicien américain.
William Alvin Howard
| Naissance | |
|---|---|
| Décès | |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
Biographie
modifierIl 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 ordinaux de Bachmann-Howard (en), réfèrent à lui[2] et à Heinz Bachmann[3].
Il est élu en 2018, fellow de l'American Mathematical Society.
Références
modifier- ↑ (en-US) « William Howard Obituary - Chicago, IL », sur Chicago Tribune, (consulté le )
- ↑ (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- Ressources relatives à la recherche :
