William Alvin Howard

Il est surtout connu en théorie de la démonstration et théorie de la calculabilité, pour avoir établi une correspondance entre la logique intuitionniste et le lambda-calcul simplement typé, résultat connu sous le nom de correspondance de Curry-Howard. Il a aussi produit des travaux théoriques sur l'utilisation des ordinaux dans les démonstrations. Il a obtenu son doctorat de l'université de Chicago en 1965.

Les ordinaux de Howard, nommés aussi ordinaux de Bachmann-Howard (en), réfèrent à lui^[1] et à Heinz Bachmann^[2].

Il est élu en 2018, fellow de l'American Mathematical Society.

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
• (en) « William Alvin Howard », sur le site du Mathematics Genealogy Project

• Portail des mathématiques