William Alvin Howard

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

William Alvin Howard (né en 1926) est un logicien américain.

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

Notes et références[modifier | modifier le code]

  1. (en) W. A. Howard, A system of abstract constructive ordinals, J. Symbolic Logic 37 (2) (1972) 355–374
  2. (de) H. Bachmann, Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen, Vierteljschr. Naturforsch. Ges. Zürich 95 (1950) 115–147

Lien externe[modifier | modifier le code]