William Alvin Howard
Get William Alvin Howard essential facts below. View Videos or join the William Alvin Howard discussion. Add William Alvin Howard to your PopFlock.com topic list for future reference or share this resource on social media.
William Alvin Howard

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.

He was elected to the 2018 class of fellows of the American Mathematical Society.[2]


  1. ^ "Holdings: k-fold recursion and well-ordering". The University of Chicago Library Catalog. Retrieved .
  2. ^ 2018 Class of the Fellows of the AMS, American Mathematical Society, retrieved

External links

  This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.



Music Scenes