William Alvin Howard
#5,939
Most Influential Person Now
American mathematician
William Alvin Howard's AcademicInfluence.com Rankings
Download Badge
Mathematics
William Alvin Howard's Degrees
- PhD Mathematics Princeton University
- Bachelors Mathematics University of California, Berkeley
Similar Degrees You Can Earn
Why Is William Alvin Howard Influential?
(Suggest an Edit or Addition)According to Wikipedia, William Alvin Howard 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 his dissertation "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane.
Other Resources About William Alvin Howard
What Schools Are Affiliated With William Alvin Howard?
William Alvin Howard is affiliated with the following schools:
