dirtnapp / died in 2026 / is william alvin howard alive or dead?

William Alvin Howard

American mathematician

browse: mathematicians, university teachers

dead

born: 1926
died: 2026
age at death: 99
known for: mathematician, university teacher

tell everyone

who william alvin howard is

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.

from wikipedia, used under CC BY-SA.

where this comes from

wikidata records a date of death for William Alvin Howard in 2026, which is how we know. your browser re-checks this against wikidata on every visit, so it’s current even if the page itself was cached a while ago.

read wikipedia →wikidata record (Q2577855) →something wrong? →