William Alvin Howard
American mathematician · United States · On the map · Academics · Lived 1926 to 2026 · aged 99
William Alvin Howard was a Canadian-born American mathematician and 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.
William Alvin Howard is read about 9.5 times a day, in 7 languages.
A typical day, 30 days to 10 October 2026
The middle day of the days counted, so one week of news cannot move it. The line under it is the last 120 days, one point a day.
Something wrong?Also in Deutsch
Media & music
Photos 1
Awards
About this person
He was also active in the theory of proof-theoretic ordinals.
Country
United States
Category
Academics
Type
Academic
Status
Deceased
Dates
Lived 1926 to 2026 · aged 99
