# William Alvin Howard

> 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.

*American mathematician*

**Canonical URL:** https://fame.am/person/william-alvin-howard

## Identity
- **Profile type:** Academic ([Wikidata](https://www.wikidata.org/entity/Q39631))
- **Category:** Academics
- **Country:** United States
- **Born:** 1926-12-11
- **Died:** 2026-03-13
- **Status:** deceased
- **Gender:** male

## Bio

Imported from discovery source: wikidata-dump

## Fame
- **Popularity score:** 45.1 / 100
- **Momentum:** 7.2 / 100  (trend: FALLING)
- **Historical depth:** 6.6 / 100
- **Now attention:** 0.0 / 100
- **Source confidence:** 40.0 / 100
- **Profile completeness:** 70.0 / 100

## Sources
- [William Alvin Howard](https://pt.wikipedia.org/wiki/William_Alvin_Howard)
- [ويليام آلفين هوارد](https://ar.wikipedia.org/wiki/%D9%88%D9%8A%D9%84%D9%8A%D8%A7%D9%85_%D8%A2%D9%84%D9%81%D9%8A%D9%86_%D9%87%D9%88%D8%A7%D8%B1%D8%AF)
- [ويليام آلفين هوارد](https://arz.wikipedia.org/wiki/%D9%88%D9%8A%D9%84%D9%8A%D8%A7%D9%85_%D8%A2%D9%84%D9%81%D9%8A%D9%86_%D9%87%D9%88%D8%A7%D8%B1%D8%AF)
- [William Alvin Howard](https://de.wikipedia.org/wiki/William_Alvin_Howard)
- [William Alvin Howard](https://en.wikipedia.org/wiki/William_Alvin_Howard)
- [ویلیام هوارد](https://fa.wikipedia.org/wiki/%D9%88%DB%8C%D9%84%DB%8C%D8%A7%D9%85_%D9%87%D9%88%D8%A7%D8%B1%D8%AF)
- [William Alvin Howard](https://fr.wikipedia.org/wiki/William_Alvin_Howard)
- [Wikidata](https://www.wikidata.org/wiki/Q2577855)

---
Generated by Fame.am · https://fame.am/person/william-alvin-howard