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.
Famous quotes containing the words william and/or howard:
“No bubble is so iridescent or floats longer than that blown by the successful teacher.”
—Sir William Osler (1849–1919)
“I wish to reiterate all the reasons which [my predecessor] has presented in favor of the policy of maintaining a strong navy as the best conservator of our peace with other nations and the best means of securing respect for the assertion of our rights of the defense of our interests, and the exercise of our influence in international matters.”
—William Howard Taft (1857–1930)