William Alvin Howard American Mathematician
William Alvin Howard dating history
Who
are they
dating right now?
According to our records, William Alvin Howard is possibly single.
Relationships
We have no records of past relationships for William Alvin Howard.
About
William Alvin Howard is a member of the following lists: 1926 births, University of Chicago alumni and 20th-century mathematicians.
Contribute
Who is William Alvin Howard dating? William Alvin Howard partner, spouse list. Help us build our profile of William Alvin Howard!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
| First Name |
William
|
| Middle Name |
Alvin
|
| Last Name |
Howard
|
| Birthday |
30th November, 1925
|
| Nationality |
American
|
| Occupation |
Mathematician
|
William Alvin Howard (born 1926) is a proof theorist best known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry–Howard correspondence. He has also been active in the theory of proof-theoretic ordinals. He earned his Ph.D. at the University of Chicago in 1956 for a dissertation entitled "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane.
More about William Alvin Howard
Less about William Alvin Howard
