William Alvin Howard
✓ Source-basedfallingAmerican mathematician
Fame45.1
Momentum7.2
Languages7
In century#134,937
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.
Also inDeutsch
Photos 1
Awards 1
Academics from United States 6
About this person
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. He was also active in the theory of proof-theoretic ordinals.
Country
United StatesCategory
Academics
Type
Academic
Status
deceased
Dates
Lived 1926 to 2026 · aged 99
Written about in
7 languages
Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.