William Alvin Howard

Datei:William Alvin Howard May 2004.jpg

William Alvin Howard

William Alvin Howard (* 11. Dezember 1926 in Vancouver; † 13. März 2026 in Chicago<ref>Share this obituary: William Alvin Howard. In: Chicago Tribune. 31. Mai 2026, archiviert vom Vorlage:IconExternal am 1. Juni 2026; abgerufen am 1. Juni 2026 (). </ref>) 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, doi:10.2307/2272979, (Bachmann-Howard-Ordinalzahlen)

Weblinks

• William Alvin Howard im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet

Einzelnachweise

<references />