William Alvin Howard
William Alvin Howard (né en 1926) est un logicien américain.
William Alvin Howard
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse | |
| Distinction |
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. Zürich 95 (1950) 115–147
Liens externes
- Ressources relatives Ă la recherche :
- (en) « William Alvin Howard », sur le site du Mathematics Genealogy Project
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.