The Full Wiki

More info on William Alvin Howard

William Alvin Howard: Wikis


Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.


From Wikipedia, the free encyclopedia

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, where he was a student of Saunders Mac Lane.

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

External links


Got something to say? Make a comment.
Your name
Your email address