Naștere | 1926 |
---|---|
Naţionalitate | american |
Instruire | Universitatea din Chicago |
Activități | Matematician , profesor universitar |
Lucrat pentru | Universitatea din Illinois la Chicago |
---|---|
Camp | Teoria probei |
Directorii tezei | Saunders Mac Lane , André Weil |
Distincţie | Fellow of the American Mathematical Society |
William Alvin Howard (n. 1926 ) este un logician american .
El este cel mai bine cunoscut în teoria dovezilor și teoria calculabilității , pentru stabilirea unei corespondențe între logica intuiționistă și calculul lambda tipizat, rezultat cunoscut sub numele de corespondență Curry-Howard . De asemenea, a produs lucrări teoretice privind utilizarea ordinaliilor în probe. Și-a luat doctoratul la Universitatea din Chicago în 1965.
Howard ordinal , numit și ordinal Bachmann Howard (în) , se referă la el și Heinz Bachmann .
A fost ales în 2018, membru al Societății Americane de Matematică .