mini|William Alvin Howard William Alvin Howard (* 11. Dezember 1926 in Vancouver; † 13. März 2026 in Chicago) war ein US-amerikanischer mathematischer Logiker.
Werdegang Howard promovierte 1956 an der University of Chicago bei Saunders MacLane und André Weil (k-fold recursion and well-ordering). Er war in den 1960er Jahren Professor an der Pennsylvania State University und danach an der University of Illinois at Chicago. Er war Fellow der American Mathematical Society.
Howard zeigte mit Haskell Curry (in Arbeiten, die bis auf die 1930er Jahre zurückgehen) eine Analogie (Curry-Howard-Isomorphismus) zwischen intuitionistischer Logik und Lambda-Kalkül. Er führte auch die nach ihm benannten Howard-Ordinalzahlen (oder Bachmann-Howard-Ordinalzahlen nach ihm und Heinz Bachmann) ein, die in der Beweistheorie definiert werden.
Schriften The formulae-as-types notion of construction. In: Jonathan P. Seldin, James R. Hindley (Hrsg.): To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London u. a. 1980, ISBN 0-12-349050-2, S. 479–490, (Manuskript aus dem Jahr 1969, Curry-Howard-Korrespondenz). A system of abstract constructive ordinals. In: Journal of Symbolic Logic. Band 37, Nr. 2, 1972, S. 355–374, , (Bachmann-Howard-Ordinalzahlen)
Weblinks
Einzelnachweise
Kategorie:Mathematischer Logiker (20. Jahrhundert) Kategorie:Hochschullehrer (Pennsylvania State University) Kategorie:Hochschullehrer (University of Illinois Chicago) Kategorie:Fellow der American Mathematical Society Kategorie:US-Amerikaner Kategorie:Geboren 1926 Kategorie:Gestorben 2026 Kategorie:Mann