https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Haskell_Brooks_CurryHaskell Brooks Curry - Versionsgeschichte2026-06-03T21:42:06ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Haskell_Brooks_Curry&diff=65810&oldid=previmported>John Red: Einzelnachweis ergänzt2025-03-23T20:14:02Z<p>Einzelnachweis ergänzt</p>
<p><b>Neue Seite</b></p><div>'''Haskell Brooks Curry''' (* [[12. September]] [[1900]] in [[Millis (Massachusetts)|Millis]], [[Massachusetts]], [[USA]]; † [[1. September]] [[1982]] in [[State College (Pennsylvania)|State College]], [[Pennsylvania]], USA) war ein US-amerikanischer [[Logik]]er und [[Mathematiker]].<br />
<br />
== Leben ==<br />
Als Sohn des Erziehers Samuel Silas Curry geboren, studierte Curry zunächst an der [[Harvard-Universität]] und promovierte 1930 in [[Georg-August-Universität Göttingen|Göttingen]] bei [[David Hilbert]].<ref>{{MathGenealogyProject|7398|Kommentar=abgerufen am 23. März 2025.}}</ref> Er lehrte in Harvard, [[Universität Princeton|Princeton]] und, von 1929 bis 1966, an der [[Pennsylvania State University]]. 1966 wurde er Professor für Mathematik an der [[Universität von Amsterdam]].<br />
<br />
== Werk ==<br />
In seiner Göttinger Zeit las Curry die veröffentlichte Version von [[Moses Schönfinkel]]s Vorlesung von 1920 zur [[Kombinatorische Logik|kombinatorischen Logik]]. Dies stellte sich als ein schicksalhaftes Ereignis in seiner Laufbahn heraus, er schrieb seine Doktorarbeit über kombinatorische Logik und entwickelte daraus nach und nach eine ausgedehnte Theorie. Heute gilt er als der wesentliche Ausgestalter dieser Theorie. Kombinatorische Logik bildet eine der Grundlagen für [[Funktionale Programmierung|funktionale Programmiersprachen]]. Möglichkeiten und Wirkungsweise der kombinatorischen Logik ähneln sehr dem [[Lambda-Kalkül]] von [[Alonzo Church]], der sich in den letzten Jahrzehnten eher durchgesetzt hat.<br />
<br />
1942 veröffentlichte er eine negationsfreie Version der [[Russellsche Antinomie|Russellschen Antinomie]], die heute nach ihm benannt wird und als [[Currys Paradoxon]] bekannt ist.<br />
<br />
Curry lehrte und arbeitete vorwiegend im Bereich der [[Mathematische Logik|mathematischen Logik]], 1963 erschien sein Buch ''Foundations of Mathematical Logic''. Er befasste sich viel mit philosophischen Problemen der Mathematik und vertrat dabei einen ausgeprägten formalistischen Standpunkt, geprägt durch seinen Doktorvater Hilbert, ließ aber auch eine Offenheit zur [[Intuitionistische Logik|intuitionistischen Logik]] erkennen.<br />
<br />
Curry ist der Namensgeber der Programmiersprache [[Haskell (Programmiersprache)|Haskell]] und des [[Currying]]-Verfahrens sowie Mitentdecker des [[Curry-Howard-Isomorphismus]] (mit [[William Alvin Howard]]).<br />
<br />
== Schriften ==<br />
* Mit Robert Feys ''Combinatory Logic'', North Holland, 2 Bände, 1958, 1972<br />
* ''Foundations of mathematical logic'', McGraw Hill 1963, Dover 1977<br />
* ''Theory of formal deducibility'', Notre Dame 1950<br />
* ''Outlines of a formalist philosophy of mathematics'', North Holland 1970<br />
<br />
== Verwandte Themen ==<br />
* [[Kombinatorische Logik]] und [[Currying]]<br />
* [[Funktionale Programmierung]]<br />
* [[Haskell (Programmiersprache)|Haskell]]<br />
* Der [[Lambda-Kalkül]]<br />
<br />
== Literatur ==<br />
* S. Gottwald, H.-J. Ilgauds, K.-H. Schlote (Hrsg.): ''Lexikon bedeutender Mathematiker.'' Verlag Harri Thun, Frankfurt am Main 1990, ISBN 3-8171-1164-9.<br />
<br />
== Weblinks ==<br />
* {{DNB-Portal|12283643X}}<br />
* {{IEP|https://iep.utm.edu/curry/|Haskell Brooks Curry (1900–1982)|Jonathan P. Seldin}}<br />
* {{MacTutor|id=Curry}}<br />
* [https://zbmath.org/authors/curry.haskell-brooks Haskell Brooks Curry] in der Datenbank [[zbMATH]]<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=12283643X|LCCN=n84801349|VIAF=34535556}}<br />
<br />
{{SORTIERUNG:Curry, Haskell Brooks}}<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Informatiker]]<br />
[[Kategorie:Hochschullehrer (Pennsylvania State University)]]<br />
[[Kategorie:Hochschullehrer (Universität von Amsterdam)]]<br />
[[Kategorie:Hochschullehrer (Princeton University)]]<br />
[[Kategorie:US-Amerikaner]]<br />
[[Kategorie:Geboren 1900]]<br />
[[Kategorie:Gestorben 1982]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Curry, Haskell Brooks<br />
|ALTERNATIVNAMEN=<br />
|KURZBESCHREIBUNG=US-amerikanischer Logiker<br />
|GEBURTSDATUM=12. September 1900<br />
|GEBURTSORT=[[Millis (Massachusetts)|Millis]], [[Massachusetts]], [[USA]]<br />
|STERBEDATUM=1. September 1982<br />
|STERBEORT=[[State College (Pennsylvania)|State College]], [[Pennsylvania]], USA<br />
}}</div>imported>John Red