Biografia Curry, Haskell Brooks: Różnice pomiędzy wersjami
m Biografia Curry moved to Biografia Curry, Haskell Brooks |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 3: | Linia 3: | ||
'''Haskell Brooks Curry (1900-1982)''' – amerykański matematyk i logik. | '''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 | Syn pedagoga Samuela S. Curry’ego. Skończył studia na Uniwersytecie Harvarda, a doktoryzował się w Getyndze w 1930 r. 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. | Podczas swojego pobytu w Göttingen Curry zapoznał się z opublikowaną wersją wykładu Mosesa Schönfinkela z 1920 r. wprowadzającego tematykę [[grafika:Curry-Pennsylvania.gif|thumb|200px|right|W latach 1929-1966 Curry uczył na Uniwerytecie w Pennsylvanii]]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. | Curry uczył na Harvardzie, Princeton oraz w latach 1929-1966 na Uniwerytecie w Pennsylvanii. W 1942 r. opublikował paradoks Curry’ego. W 1966 r. 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 r.. 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. | ||
---- | |||
''Opracowanie: zespół wsparcia multimedialnego'' | |||
Aktualna wersja na dzień 11:19, 18 gru 2006
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 Getyndze w 1930 r. pod nadzorem Davida Hilberta.
Podczas swojego pobytu w Göttingen Curry zapoznał się z opublikowaną wersją wykładu Mosesa Schönfinkela z 1920 r. 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 r. opublikował paradoks Curry’ego. W 1966 r. 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 r.. 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.
Opracowanie: zespół wsparcia multimedialnego
