|
Haskell Brooks CurryHaskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US-amerikanischer Logiker und Mathematiker. LebenAls 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. WerkIn 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
Verwandte ThemenLiteratur
Weblinks
|
||||||||||||||