Haskell Curry - Haskell Curry
Haskell Brooks Curry | |
---|---|
![]() | |
narozený | |
Zemřel | 1. září 1982 | (ve věku 81)
Národnost | americký |
Alma mater | |
Známý jako | Kombinovaná logika Curry – Howardova korespondence Curryho paradox Formalismus ve filozofii matematiky |
Vědecká kariéra | |
Pole | Matematika Logika |
Instituce | Pennsylvania State University University of Amsterdam |
Doktorský poradce | David Hilbert |
Vlivy | Alfred North Whitehead Bertrand Russell Mojžíš Schönfinkel |
Haskell Brooks Curry (/ˈh…sk.l/; 12. září 1900 - 1. září 1982) byl americký matematik a logik. Curry je nejlépe známý pro svou práci v kombinační logika. Zatímco původní koncept kombinatorické logiky byl založen na jediném příspěvku od Mojžíš Schönfinkel,[1] Curry se hodně podílel na vývoji. Curry je také známý pro Curryho paradox a Curry – Howardova korespondence. Tam jsou tři programovací jazyky pojmenoval podle něj, Haskell, Potok a Kari, stejně jako koncept kari, technika používaná k transformaci funkcí v matematice a informatice.
Život
Curry se narodil 12. září 1900 v Millis, Massachusetts, do Samuel Silas Curry a Anna Baright Curry, který provozoval školu pro přednes. On vstoupil Harvardská Univerzita v roce 1916 studoval medicínu, ale před maturitou v roce 1920 přešel na matematiku. Po dvou letech postgraduální práce v elektrotechnice na MIT, se vrátil na Harvard studovat fyziku a získal titul MA v roce 1924. Curryho zájem o matematickou logiku začal během tohoto období, kdy byl seznámen s Principia Mathematica, pokus o Alfred North Whitehead a Bertrand Russell uzemnit matematiku v symbolické logice. Curry, která zůstala na Harvardu, pokračovala v doktorském studiu v matematice. Zatímco ho režíroval George David Birkhoff aby pracoval na diferenciálních rovnicích, jeho zájmy se nadále posunuly k logice. V roce 1927, zatímco jako instruktor na Princetonské univerzitě, objevil práci Mojžíš Schönfinkel v kombinační logice. Schönfinkelova práce předpokládala velkou část Curryho vlastního výzkumu, a v důsledku toho se přestěhoval do Univerzita v Göttingenu kde mohl pracovat Heinrich Behmann a Paul Bernays, kteří byli obeznámeni s prací Schönfinkel. Na Curryho dohlížel David Hilbert a úzce spolupracoval s Bernaysem a získal titul Ph.D. v roce 1930 disertační prací o kombinatorické logice.[2]
V roce 1928, před odjezdem do Göttingenu, se Curry provdala za Mary Virginia Wheatleyovou. Pár žil v Německu, zatímco Curry dokončil disertační práci, poté se v roce 1929 přestěhoval do State College, Pensylvánie kde Curry přijal pozici v Pennsylvania State College. Měli dvě děti, Anne Wright Curry (27. července 1930) a Robert Wheatley Curry (6. července 1934). Curry zůstal v Penn State po dalších 37 let. Strávil jeden rok v University of Chicago v letech 1931–1932 pod a Národní výzkumné společenství a jeden rok v letech 1938–1939 na Institut pro pokročilé studium v Princetonu. V roce 1942 si vzal volno, aby během roku aplikoval matematiku pro vládu Spojených států druhá světová válka, zejména na Frankford Arsenal. Bezprostředně po válce pracoval na ENIAC projekt, v letech 1945 a 1946. Podle a Fulbrightovo společenství, spolupracoval s Robert Feys v Louvain, Belgie. Poté, co odešel z Penn State v roce 1966, Curry přijal místo v University of Amsterdam. V roce 1970, po dokončení druhého dílu pojednání o kombinatorické logice, odešel Curry z Amsterdamské univerzity a vrátil se na State College v Pensylvánii.
Haskell Curry zemřel 1. září 1982 na State College v Pensylvánii.
Práce
Curryho prací se soustředily pokusy ukázat, že kombinatorická logika by mohla poskytnout základ pro matematiku. Ke konci roku 1933 se dozvěděl o Paradox Kleene – Rosser z korespondence s John Rosser. Paradox, který vyvinuli Rosser a Stephen Kleene, prokázal nekonzistenci řady souvisejících formálních systémů, včetně jednoho navrženého Alonzo Church (systém, který měl lambda kalkul jako konzistentní subsystém) a Curryho vlastní systém.[2] Curry se však na rozdíl od Churche, Kleene a Rossera nevzdal základního přístupu a řekl, že nechce „utéct před paradoxy“.[3]
Curry pracoval v oblasti Combinatory Logic po celou svou kariéru a stal se v podstatě zakladatelem a největším jménem v oboru. Kombinovaná logika je základem pro jeden styl Funkcionální programování Jazyk. Síla a rozsah kombinační logiky jsou docela podobné výkonu a rozsahu lambda kalkul církve a druhý formalizmus měl v posledních desetiletích tendenci převládat.
V roce 1947 Curry také popsal jeden z prvních programovacích jazyků na vysoké úrovni a poskytl první popis postupu pro převod obecného aritmetického výrazu do kódu pro počítač s jednou adresou.[4]
Učil na Harvardu, Princeton, a od roku 1929 do roku 1966 v Pennsylvania State University. V roce 1942 publikoval Curryho paradox. V roce 1966 se stal profesorem logiky a jejích dějin a filozofie exaktních věd na VŠE University of Amsterdam nástupce Evert Willem Beth.[5]
Curry také psal a učil matematická logika obecněji; jeho učení v této oblasti vyvrcholilo jeho 1963 Základy matematické logiky. Jeho preferovaná filozofie matematiky byla formalismus (srov. jeho kniha z roku 1951), následoval svého mentora Hilberta, ale jeho spisy prozrazují podstatnou filozofickou zvědavost a velmi otevřenou mysl o intuicionistická logika.
Hlavní publikace
- „Grundlagen der Kombinatorischen Logik“ [Základy kombinatorické logiky]. American Journal of Mathematics (v němčině). Johns Hopkins University Press. 52 (3): 509–536. 1930. doi:10.2307/2370619. JSTOR 2370619.
- Teorie formální odvoditelnosti. University of Notre Dame Press. 1950.[6]
- Teorie formální odvoditelnosti (2. vyd.). University of Notre Dame Press. 1957.
- Obrysy formalistické filozofie matematiky. Amsterdam: Elsevier Science. 1951. ISBN 0444533680. Citováno 23. července 2012.
- Leçons de logique algébrique (francouzsky). Paříž: Gauthier-Villars. 1952.[7]
- Curry, Haskell; Feys, Robert (1958). Kombinovaná logika. Já. Amsterdam: North-Holland Publishing Company.
- Základy matematické logiky. Mcgraw Hill. 1963.
- Základy matematické logiky (Nezkrácené a opravené vydání Dover.). New York: Dover Publications. 1977. ISBN 0-486-63462-0. Citováno 23. července 2012.
- Kombinovaná logika. II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.
Reference
- ^ 1924. „Über die Bausteine der mathematischen Logik“, Mathematische Annalen 92, str. 305–316. Přeložil Stefan Bauer-Mengelberg jako „Na stavebních kamenech matematické logiky“ v Jean van Heijenoort, 1967. Kniha pramenů v matematické logice, 1879–1931. Harvard Univ. Tisk: 355–66.
- ^ A b Seldin, Jonathan. "Logika kari a církve". Citovat deník vyžaduje
| deník =
(Pomoc) - ^ Barendregt, H.P. Lambda kalkul: jeho syntax a sémantika. Elsevier. p. 4.
- ^ Knuth, Donald E .; Pardo, Luis Trabb (1976). "Časný vývoj programovacích jazyků". Stanford University, Oddělení informatiky, s. 22
- ^ Album Academicum, Amsterdamská univerzita
- ^ Nelson, D. (1952). "Posouzení: Teorie formální odvoditelnosti, autor: H. B. Curry ". Býk. Amer. Matematika. Soc. 58 (3): 415–417. doi:10.1090 / s0002-9904-1952-09596-3.
- ^ Marcus, R. Barcan (1952). "Posouzení: Leçons de logique algébrique, autor: H. B. Curry ". Býk. Amer. Matematika. Soc. 58 (2): 673–674. doi:10.1090 / s0002-9904-1952-09657-9.
Další čtení
- Seldin, J.P., a Hindley, J.R., eds., 1980. H.B. Curry: Eseje o kombinatorické logice, lambda kalkulu a formalismu. Akademický tisk. Zahrnuje životopisnou esej.
externí odkazy
- Seldin, Jonathan P. „Haskell Brooks Curry (1900-1982)“. Internetová encyklopedie filozofie.
- O'Connor, John J.; Robertson, Edmund F., „Haskell Curry“, MacTutor Historie archivu matematiky, University of St Andrews.
- Curry archivy poskytuje obrázky několika stovek rukopisných stránek od roku 1920 do roku 1931.
- CLg. bibliografie 587 stran