William Alvin Howard

William Alvin Howard

William Alvin Howard (* 1926) ist ein US-amerikanischer mathematischer Logiker.

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

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, Manuskript aus dem Jahr 1969, in Jonathan Seldin, Roger Hindley (Herausgeber): To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, Academic Press 1980, S.479 (Curry-Howard-Korrespondenz)
  • A system of abstract constructive ordinals, Journal of Symbolic Logic, Bd. 37 1972, S.355–374 (Bachmann-Howard-Ordinalzahlen)

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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… …   Wikipédia en Français

  • William Alvin Howard — (1926 ) is a proof theorist most well known for his work demonstrating formal similarity between intuitionistic logic and the simply typed lambda calculus that has come to be known as the Curry Howard correspondence. He has also been active in… …   Wikipedia

  • William A. Howard — may refer to: * William Alanson Howard, U.S. Representative from Michigan, 1855 1859, and Governor of Dakota Territory 1878 1880 * William Alvin Howard, proof theorist after whom the Curry Howard correspondence is named …   Wikipedia

  • William Howard — may refer toPeopleUnited Kingdom* William Howard, 1st Baron Howard of Effingham (c. 1510–1573), British nobleman * Lord William Howard (1563 1640), nicknamed Belted Will or Bauld Willie , third son of the 4th Duke of Norfolk * William Howard,… …   Wikipedia

  • Howard (Name) — Howard ist ein Familienname, der vor allem im englischsprachigen Raum verbreitet ist. Er tritt auch als Vorname auf. Bekannte Namensträger Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U …   Deutsch Wikipedia

  • William Howard — ist der Name folgender Personen: William Howard (Richter) (13./14. Jahrhundert), Oberrichter der Common Pleas William Howard, 1. Lord Howard of Effingham ( 1510–1573), englischer Lord High Admiral und Lordsiegelbewahrer William Alanson Howard… …   Deutsch Wikipedia

  • William Howard —  Cette page d’homonymie répertorie différentes personnes partageant un même nom. William Howard peut se référer à plusieurs personnes dont : William Howard (v. 1510 1573), 1er baron Howard d Effingham, commandant naval anglais ;… …   Wikipédia en Français

  • Howard (surname) — Family name name = Howard imagesize= caption= pronunciation = HOW erd meaning = region = origin = related names =Howerd, Heward and Huard footnotes = Howard is a common English language surname. Its origins are unclear. One theory is that it… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”