William Alvin Howard
Un article de Wikipédia, l'encyclopédie libre.
William Alvin Howard est un logicien en théorie de la démonstration essentiellement connu pour sa démonstration de la correspondance entre la logique intuitionniste et le lambda calcul typé, résultat connu sous le nom de Correspondance de Curry-Howard. Il a aussi produit des travaux "in the theory of proof-theoretic ordinals". Il a obtenu son doctorat de l'université de Chicago en 1965.
Les ordinaux de Howard, nommés aussi nombres ordinaux de Bachmann-Howard, réfèrent à lui.
