Haskell Brooks Curry - LinkFang.de





Haskell Brooks Curry


Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker.

Leben

Als Sohn des Erziehers Samuel Silas Curry geboren, studierte Curry zunächst an der Harvard-Universität und promovierte 1930 in Göttingen bei David Hilbert. Er lehrte in Harvard, Princeton und, von 1929 bis 1966, an der Pennsylvania State University. 1966 wurde er Professor für Mathematik an der Universität von Amsterdam.

Werk

In seiner Göttinger Zeit las Curry die veröffentlichte Version von Moses Schönfinkels Vorlesung von 1920 zur 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 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.

1942 veröffentlichte er eine negationsfreie Version der Russellschen Antinomie, die heute nach ihm benannt wird und als Currys Paradoxon bekannt ist.

Curry lehrte und arbeitete vorwiegend im Bereich der 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 intuitionistischen Logik erkennen.

Curry ist der Namensgeber der Programmiersprache Haskell und des Currying-Verfahrens sowie Mitentdecker des Curry-Howard-Isomorphismus (mit William Alvin Howard).

Schriften

  • Mit Robert Feys Combinatory Logic, North Holland, 2 Bände, 1958, 1972
  • Foundations of mathematical logic, McGraw Hill 1963, Dover 1977
  • Theory of formal deducibility, Notre Dame 1950
  • Outlines of a formalist philosophy of mathematics, North Holland 1970

Verwandte Themen

Literatur

  • S. Gottwald, H.-J. Ilgauds, K.-H. Schlote (Hrsg.): Lexikon bedeutender Mathematiker, Verlag Harri Thun, Frankfurt a. M. 1990 ISBN 3-8171-1164-9

Weblinks


Kategorien: Hochschullehrer (Universität von Amsterdam) | Hochschullehrer (Penn State) | Hochschullehrer (Princeton University) | Gestorben 1982 | Geboren 1900 | Informatiker | US-Amerikaner | Mann

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Haskell Brooks Curry (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.