William Alvin Howard (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, where he was a student of Saunders Mac Lane.
The Howard ordinal or Bachmann-Howard ordinal ...
more
Read article at Wikipedia
Date of birth:
- 1926 (age 83 years)
- Scroll to:
- Author
- Influence Node
- Person
- More...