Biografia Curry, Haskell Brooks
Haskell Brooks Curry (1900-1982) – amerykański matematyk i logik.
Syn pedagoga Samuela S. Curry’ego. Skończył studia na Uniwersytecie Harvarda, a doktoryzował się w Göttingen w 1930 pod nadzorem Davida Hilberta.
Podczas swojego pobytu w Göttingen Curry zapoznał się z opublikowaną wersją wykładu Mosesa Schönfinkela z 1920 wprowadzającego tematykę
logiki kombinatorycznej. Zdarzenie to miało być znamienne dla dalszego kierunku jego kariery naukowej. Począwszy od napisania pracy doktorskiej na ten temat, właściwie całą swą karierę poświęcił na badania tego obszaru stając się założycielem tego działu logiki. Logika kombinatoryczna jest podstawą filozofii programowania funkcyjnego. Zakres zastosowania logiki kombinatorycznej jest bardzo podobny do tego, jaki prezentuje sobą rachunek lambda wprowadzony przez Alonzo Churcha, który to przeważa w użyciu na przeciągu ostatni dekad.
Curry uczył na Harvardzie, Princeton oraz w latach 1929-1966 na Uniwerytecie w Pennsylvanii. W 1942 opublikował paradoks Curry’ego. W 1966 został profesorem Uniwersytetu w Amsterdamie. Curry pisał i nauczał również o logice matematycznej – jego wykłady zostały zwieńczone pracą Foundations of Mathematical Logic z 1963. Wyznawał formalizm jako główną filozofię matematyczną, zgodnie z naukami Hilberta, ale jego publikacje zdradzają pewną ciekawość filozoficzną i umysł otwarty na przesłania logiki intuicyjnej.
