Haskell Brooks Curry

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.

Inhaltsverzeichnis

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 zu kombinatorischer 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

Weblinks

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

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • Haskell Brooks Curry — Haskell Curry Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et décédé le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé… …   Wikipédia en Français

  • Curry, Haskell Brooks — ▪ American mathematician born , September 12, 1900, Millis, Massachusetts, U.S. died September 1, 1982, State College, Pennsylvania       American mathematician and educator whose research in logic led to his theory of formal systems (formal… …   Universalium

  • Haskell 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. Inhaltsverzeichnis 1 Leben 2 Werk …   Deutsch Wikipedia

  • Haskell Curry — Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) fue un matemático y lógico estadounidense.[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en… …   Wikipedia Español

  • Curry (Begriffsklärung) — Curry ist der Name einer Gewürzmischung und eines indischen Gerichts, siehe Curry Teilweise davon abgeleitet wurden die Namen von Currybaum Currykraut Currywurst Curry bezeichnet in der Geografie den Berg Mount Curry (551 m) auf Zavodovski Island …   Deutsch Wikipedia

  • Haskell (Programmiersprache) — Haskell Basisdaten Paradigmen: funktional, nicht strikt, modular, deklarativ Erscheinungsjahr …   Deutsch Wikipedia

  • Haskell — Auteur le comité Haskell Développeurs la communauté Haskell …   Wikipédia en Français

  • Haskell — ist der Familienname folgender Personen: Charles Haskell (1860–1933), US amerikanischer Politiker Colleen Haskell, US amerikanische Jung Schauspielerin Dudley C. Haskell (1843–1883), US amerikanischer Politiker Floyd K. Haskell (1916–1998), US… …   Deutsch Wikipedia

  • Curry — ist die Bezeichnung für verschiedene eintopfartige Gerichte, siehe Curry (Gericht) der Name einer Gewürzmischung, siehe Currypulver die Bezeichnung für verschiedene thailändische scharfe Würzpasten, siehe Currypaste Teilweise davon abgeleitet… …   Deutsch Wikipedia

  • Haskell Curry — Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) es un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad de Harvard y recibió un doctorado de Göttingen con Hilbert en 1930.… …   Enciclopedia Universal

Share the article and excerpts

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