Tripti Joshi (Editor)

William Alvin Howard

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name
  
William Howard


Similar People
  
Haskell Curry, David Hilbert, Paul Bernays, Moses Schonfinkel, Alfred North Whitehead

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.

The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.

References

William Alvin Howard Wikipedia


Similar Topics