See more William Alvin Howard articles on AOD.

Powered by
Share this page on
Article provided by Wikipedia

( => ( => ( => William Alvin Howard [pageid] => 1978177 ) =>

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".[1] He was a student of "Saunders Mac Lane.

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


  1. ^ "Holdings: k-fold recursion and well-ordering". The University of Chicago Library Catalog. Retrieved 2015-05-04. 

External links[edit]

) )