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:
“I shall carry to the Catacombs of Age,
Photographically lined
On the tablet of my mind,”
—Sir William Schwenck Gilbert (1836–1911)
“Scarlett O’Hara: Oh, oh, Rhett. For the first time I’m finding out what it is to be sorry for something I’ve done.
Rhett Butler: Dry your eyes. If you had it all to do over again, you’d do no differently. You’re like the thief who isn’t the least bit sorry he stole, but he’s terribly, terribly sorry he’s going to jail.”
—Sidney Howard (1891–1939)