https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=William_Alvin_HowardWilliam Alvin Howard - Versionsgeschichte2026-06-08T12:27:01ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=William_Alvin_Howard&diff=1806301&oldid=previmported>Alexscho: linkfix2025-12-29T18:29:38Z<p>linkfix</p>
<p><b>Neue Seite</b></p><div>[[Datei:William Alvin Howard May 2004.jpg|mini|William Alvin Howard]]<br />
'''William Alvin Howard''' (* [[1926]]) ist ein US-amerikanischer mathematischer Logiker.<br />
<br />
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 ist Fellow der [[American Mathematical Society]].<br />
<br />
Howard zeigte mit [[Haskell Curry]] (in Arbeiten, die bis auf die 1930er Jahre zurückgehen) eine Analogie ([[Curry-Howard-Isomorphismus]]) zwischen [[Intuitionismus|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 (Mathematiker)|Heinz Bachmann]]) ein, die in der Beweistheorie definiert werden.<br />
<br />
== Schriften ==<br />
* ''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.&nbsp;a. 1980, ISBN 0-12-349050-2, S. 479–490, (Manuskript aus dem Jahr 1969, Curry-Howard-Korrespondenz).<br />
* ''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)<br />
<br />
== Weblinks ==<br />
* {{MathGenealogyProject|id=6461}}<br />
<br />
{{DEFAULTSORT:Howard, William Alvin}}<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Hochschullehrer (Pennsylvania State University)]]<br />
[[Kategorie:Hochschullehrer (University of Illinois at Chicago)]]<br />
[[Kategorie:Fellow der American Mathematical Society]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1926]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Howard, William Alvin<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=US-amerikanischer Logiker<br />
|GEBURTSDATUM=1926<br />
|GEBURTSORT=<br />
|STERBEDATUM=<br />
|STERBEORT=<br />
}}</div>imported>Alexscho