Education
University of Chicago.
- Photos
- Works
- Photos
- Works
William Howard
Edit Profilemathematician university professor
Career
He has also been active in the theory of proof-theoretic ordinals. He earned his Doctor of Philosophy at the University of Chicago in 1956 for a dissertation entitled "k-fold recursion and well-ordering". He was a student of Saunders Mac Lane.
The Howard ordinal (also known as the Bachmann–Howard ordinal) was named after him.
