# Fame.am profile — machine-readable export
# Canonical URL: https://fame.am/person/william-alvin-howard
# Generated: 2026-08-14T10:58:05.468Z

schema: https://schema.org/Person
url: "https://fame.am/person/william-alvin-howard"
name: "William Alvin Howard"
slug: "william-alvin-howard"
description: "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."
tagline: "American mathematician"
image: "https://commons.wikimedia.org/wiki/Special:FilePath/William_Alvin_Howard_May_2004.jpg?width=1200"
gender: "male"
country:
  name: "United States"
  isoCode: "US"
category:
  name: "Academics"
  slug: "academics"
profileType:
  name: "Academic"
  slug: "academic"
  entityType: "https://www.wikidata.org/entity/Q39631"
birthDate: "1926-12-11"
deathDate: "2026-03-13"
livingStatus: "DECEASED"
scores:
  popularity:           45.06
  momentum:             7.242524916943522
  historical:           6.552017333333334
  currentAttention:     0
  sourceConfidence:     39.99999999999999
  profileCompleteness:  70
  trendDirection:       "FALLING"
ranks:
  global:   null
  country:  null
  category: null
sources:
  - url: "https://pt.wikipedia.org/wiki/William_Alvin_Howard"
    title: "William Alvin Howard"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "ويليام آلفين هوارد"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "ويليام آلفين هوارد"
    type:  "WIKIPEDIA"
  - url: "https://de.wikipedia.org/wiki/William_Alvin_Howard"
    title: "William Alvin Howard"
    type:  "WIKIPEDIA"
  - url: "https://en.wikipedia.org/wiki/William_Alvin_Howard"
    title: "William Alvin Howard"
    type:  "WIKIPEDIA"
  - url: "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"
    title: "ویلیام هوارد"
    type:  "WIKIPEDIA"
  - url: "https://fr.wikipedia.org/wiki/William_Alvin_Howard"
    title: "William Alvin Howard"
    type:  "WIKIPEDIA"
  - url: "https://www.wikidata.org/wiki/Q2577855"
    title: "Wikidata"
    type:  "WIKIDATA"

# bio (long form, separated for readability)
bio: |
  Imported from discovery source: wikidata-dump