Haskell Curry

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Haskell Brooks Curry (ur. 12 września 1900, zm. 1 września 1982) - amerykański matematyk. Najbardziej znany jest ze swoich prac nad logiką kombinatoryczną. Curry jest też znany z paradoksu Curry'ego i izomorfizmu Curry'ego-Howarda.

Na jego cześć zostały nazwane dwa języki programowania, Haskell i Curry.

Życiorys[edytuj | edytuj kod]

Curry urodził się 12 września 1900 r. w Millis, był synem Samuela Silasa Curry i Anny Baright Curry.

Wstąpił na Uniwersytet Harvarda w 1916 by studiować medycynę, zmienił jednak kierunek na matematykę przed zakończeniem studiów w 1920 roku. Po dwóch latach pracy dyplomowej na elektrotechnice na MIT wrócił na Harvard by studiować fizykę, osiągając stopień MA w 1924.

Jego zainteresowanie logiką matematyczną rozpoczęło się w wyniku kontaktu z Principia Mathematica, próbą sprowadzenia matematyki do symbolicznej logiki, przeprowadzoną przez Alfreda Northa Whiteheada i Bertranda Russella. Pozostając na Harvardzie, Curry ubiegał się o stopień Ph.D. z matematyki. Podczas jego pracy nad równaniami różniczkowymi pod kierunkiem George'a Birkhoffa, jego zainteresowania podążały w kierunku logiki.

W 1927, jako wykładowca na Princeton University, odkrył pracę Mosesa Schönfinkela na temat logiki kombinatorycznej. Praca Schönfinkela była inspiracją wielu własnych badań Curry'ego. W efekcie Curry przeniósł się na uniwersytet w Getyndze, gdzie mógł pracować z Heinrichem Behmannem i Paulem Bernaysem, którzy byli zaznajomieni z pracą Schönfinkela. Opiekunem Currego był David Hilbert. Curry pracował razem z Bernaysem, wskutek czego otrzymał stopień Ph.D. w 1930 za rozprawę na temat logiki kombinatorycznej.

W 1928, przed wyjazdem do Getyngi, Curry ożenił się Mary Virginią Wheatley. Para mieszkała w Niemczech w czasie, gdy Curry pisał swoją rozprawę doktorską, by następnie w 1929 przenieść się do State College w Pensylwanii, gdzie Curry zaakceptował propozycję pracy w Penn State College. Mieli dwójkę dzieci, Anne Wright Curry (ur. 27 lipca 1930) i Roberta Wheatleya Curry (ur. 6 lipca 1934). Curry pozostał na Penn State przez następne 37 lat. Spędził rok na University of Chicago w 1931-32 jako członek United States National Research Council i rok w 1938-39 na Institute for Advanced Study w Princeton.

W 1942 zajmował się matematyką stosowaną dla rządu USA podczas II wojny światowej. Zaraz po wojnie pracował nad projektem ENIAC, w latach 1945 i 1946. W Fulbright Program pracował z Robertem Feysem w Louvain w Belgii.

Po przejściu na emeryturę z Penn State w 1966, Curry przyjął pracę na University of Amsterdam. W 1970, po zakończeniu drugiego tomu swojej rozprawy na temat logiki kombinatorycznej odszedł z University of Amsterdam i wrócił do State College w Pennsylwanii, gdzie 1 września 1982 roku zmarł.

Zobacz też[edytuj | edytuj kod]