www.fmath.info

Olulist mõju suund, et tema uuringud võttis oli kande Ühendriikidest I maailmasõja kevadel 1917. Curry tahtis teenida oma riiki ja otsustas, et tal oleks suurem tõenäosus, et näha meetmed, kui ta oli matemaatika koolituse asemel, kui ta jätkas eelnevalt arsti muidugi ta oli. Igatahes ta oli matemaatika loomulikult ta oli võtnud ja oli väga hästi käigus. Ta muutis oma peamised suhtes matemaatika ja seejärel värvatud in Student Army Training Corps 18. oktoobril 1918. Sõda, kuid lõppes peagi pärast seda (novembris) ja 9 detsember 1918 Curry lahkunud armee. Ta jätkas matemaatika kursuse Harvardi siiski, ning lõpetas aastal 1920 koos AB kraadi.

Curry nüüd otsustanud, et ta otsib karjääri elektrotehnika ja ta võttis töö ja General Electric Company, mis võimaldas tal õppida elektrotehnika osalise tööajaga Massachusetts Institute of Technology. Kuid ta peagi avastas, et ta oli teistsugune suhtumine teiste võttes kursustel, sest ta tahtis teada, miks tulemus oli õige kui kõigi teiste jaoks vaid Olulised et see oli õige. Mõistes, et ta sobib paremini puhta teaduse kui Applied Science, ta muutunud muidugi uurida füüsikas 1922. Ka Harvardi tundus parem koht õppimiseks puhast teadust nii ta tagasi seal, kellel on määratud poole postituse teadustöö assistent PW Bridgeman jaoks istungil 1922-23. Curry lõpetanud magistrikraadi füüsika Harvardi aastal 1924 kuid nüüd on ta aru, et teema teda ei olnud füüsika, kuid see oli matemaatika. Ta hakkas läbi teadusuuringuid doktorikraadi matemaatikas Harvardi.

Kogu selle aja jooksul muutuvate teemasid Curry oli muid asju hoida teda kinni. Tema isa oli surnud 1921 ja Curry sai haldur oma isa pärandist. Muidugi põhiosas mõisa School of Expression Boston ja kolm aastat pärast surma Curry ema aastal 1924, sai õigusliku ettevõtte 1927. Curry tegutses varahoidja väljendamise Firma alates ajast, see on moodustatud, kuid see müüdi 1928.

Kui üks kujutab ette, et alates 1924, kui Curry alustanud doktorikraadi matemaatikas Harvardi ta lõpuks leidnud teema talle, siis üks oleks ekslik. Ta oli antud teema teooria diferentsiaalvõrrandid George Birkhoff kuid ta hakkas raamatute lugemine on loogika, mis paistis talle palju huvitavat, et tema uurimisteemaks. Ta küsis eri õppejõud Harvardi ja Norbert Wiener MIT, kui nad arvasid, et ta võib muutuda alustada teadusuuringuid loogikat. Nad olid üsna üksmeelselt, nõustab teda vastu. Ta töötab poole kohaga õpetaja matemaatika poolt Harvardi esimesel poolaastal 1926-27 ja see oli umbes see aeg, et ta lugeda esimest maht Whitehead ja Russell 'i Principia Mathematica, mis avaldati 1910. See oli oluline, tema arengu, see oli pärast lugeda seda tööd, mida ta oli mõte kasutada combinators analüüsida keeruline eeskirjade asendamine, mis iseloomustavad esimene osa teksti. Ta again läheneda eri õppejõud Harvardi ja Norbert Wiener MIT küsitakse, kas nad arvasid, et ta võiks kirjutada oma doktoritöö teemal loogika. Nüüd ta sai väga erinevat vastukaja, mida ta on saanud varem. Wiener "vastus oli tüüpiline - vältida loogikat kui sul on midagi öelda, kuid nüüd on kindlasti midagi öelda!

Curry nüüd on teinud oma lõpliku muutuse suund ja otsustas loobuda oma doktoriõppe kohta diferentsiaal ja kirjutada doktoritöö teemal loogika. Enne uuringuid uue teema ta otsustas õpetada aastaks ja tugeva soovituse Birkhoff, nimetati õpetaja matemaatika Princetoni seansivõtme 1927-28. Seal ta arutas oma teadusuuringute kavade Veblen ja samal ajal otsib paberi Mathematische Annalen aastal Princetoni raamatukogu, avastati 1924 raamatu M Schönfinkel über die Bausteine der mathematischen Loogik mida kasutatakse combinators sarnaselt tema enda ideid. Veblen tagatud Curry, et see oli positiivne, mitte negatiivne, avastamist ja pärast Alexander teatas talle, et Schönfinkel oli vaimuhaiglas ja seetõttu ei ole jätkuvalt oma rida teadusuuringuid, karri küsinud nõu selle kohta, kes oleks parim Ph.D. järelevalvajale. Veblen teatas talle, et Bernays kell Göttingen, Saksamaa, oleks parim. Selleks, et parandada oma võimalusi rahalist toetust, karri kirjutas üles oma mõtteid combinators avaldamiseks ning see sai tema esimese raamatu analüüsi loogilise asendamine, mis ilmus American Journal of Mathematics 1929.

Enne tasaarvestuse suhtes ette Göttingen, karri abielus Mary Virginia Wheatly kellega ta oli kohtunud koolis sõna, kui ta oli üliõpilane seal. Nad abiellusid 3 juuli 1928 ja sõitis koos Saksamaaga. Pärast peaaegu täpselt aasta (24. juuli 1929) oli ta uuris oma väitekirja pealkirjaga Grundlagen der kombinatorischen Loogik. Formaalselt oli ta kontrollib Hilbert, kuid tegelikult oli see Bernays kes esitas igapäevast tuge oma töös. Tema väitekiri avaldati American Journal of Mathematics 1930.

Tulles tagasi Ameerika Ühendriigid, karri nimetati State College, Pennsylvania (nüüd Pennsylvania State University) septembris 1929. Haskell ja Virginia hakkas nende pere sel ajal Anne Wright Curry sündinud 27. juulil 1930 ja Robert Weatley Curry sündinud 6. juulil 1934. Suur Depressioon algas aastal 1929, seega oli õnnelik, et Curry on saadud tema seisundit kui ta tegi. Kindlasti aastate Suure Depressiooniga oleks olnud need, kui matemaatilise loogik vaevalt on tõenäoline, et saada postiga. Kuigi ta jäi õppejõud Pennsylvania, kuni ta jäi pensionile aastal 1966, tegi ta aega veeta teiste institutsioonide, eelkõige Chicago ülikooli, kus ta oli Rahvuslik Teadusuuringute Nõukogu kaastöötaja ajal 1931-32 ja Institute for Advanced Study at Princetoni ajal 1938-39. Mõned on avaldatud esimeste aastate jooksul oma teadustöö hõlmab universaalse Kvantor in combinatory loogika (1931), Mõned täiendused teooria combinators (1932), Nähtav muutujate seisukohast combinatory loogika (1933), ja mõned omadused, võrdsuse ja Mõju on combinatory loogika (1934).

Association for Symbolic Logic asutati aastal 1936 koos karri on üks asutajatest. Ta oli asepresident ajal 1936-37 ja siis Assotsiatsiooni president in 1938-40. Tema pensionile presidendivalimiste aadress combinatory alused matemaatilise loogika avaldati ajakirjas Journal of Symbolic Logic 1942. Andnud väga selgelt ülevaadet põhialuste combinatory loogika, mis näitab tema tihedad sidemed-meetoditest välja töötatud kiriku Curry läks kirjeldada tema viimased tööd. Ta uuris lihtsustatud meetodid tulenevad paradoksid (nagu näiteks Richard ja Russell) süsteemide loogikat, mis on vastuolus, ja oli ka välja töötatud meetod, millega lisatakse combinatory loogika defineerimata mõisteid üldine, näiteks kvantitatiivne või ametlikku mõju, mis sellisel viisil, et järjepidevuse lause nagu, et kiriku ja Rosser võiks veel tuletada.

Nagu 1940-ndatel hakkas, karri jõudnud olukorda on üks juhtivaid matemaatilise logicians maailmas. Ta paluti Yleistajuiset aadressi matemaatikud selgitada põhimõistete formalismi ja uusi ettepanekuid. Paber Mõned aspektid probleemi matemaatiline rangus avaldatakse bülletäänis American Mathematical Society 1941 on teksti sellele aadressile. Ta esitas oma aadress: Kriitika mitteformaalse teooriad; mõiste ametlikku süsteemi (illustreeritud Dickson 's postuleerib rühma); mõiste calculus; arutelu metatheory; määratluse matemaatika ja vastuvõetavuse ametlik süsteem, arutelu kriitikat intuitionists ja formalistid. 1940-ndatel Curry ka uuendada oma koos School of Expression Boston, mis selleks ajaks oli ümber Curry College. Ta tuli hoolekogu kolleegiumi 1940 ja jäi juhatuse üle kümne aasta.

II maailmasõja ajal Curry endale teadustöö rakendusliku matemaatika. Ta avaldas Heaviside tegevuse matemaatiline 1943. Seal ta esitas väga lihtne algebraline lähenemist, kuid oli teadlik oma piirangutest kirjalikult:

... see eelis, muidugi, tähendab piirangu ulatust ravi, sest see on ainult mõistlik selliseid aspekte nagu tekivad tavaliste lineaarsete diferentsiaal pidevalt koefitsiente. Jaoks üldiselt juhtudel osaline diferentsiaal, osaline operaatorid jne, teooria lahutamatu muundab on kahtlemata vältimatu.

Ta töötas Frank Ford Arsenal alates mai 1942 kuni jaanuarini 1944, seejärel Applied Physics Laboratories Johns Hopkins Ülikooli kuni märts 1945. Seejärel läks Aberdeen Providing Ground, sõjaväerelvade katsetamine saidi Harford maakonna kirde Maryland. Seal ta sai tegelevad ENIAC arvuti kirjastamine uuring vastupidine interpolatsiooni ENIAC ja uuringu neljandat et interpolatsiooni ENIAC nii 1946. Ta naasis Pennsylvania ülikooli september 1946 ning püüdis veenda ülikooli asutused omandada arvuti, kuid ta ei suutnud.

Tema peamine tekst sisaldab Combinatory Logic (1958) (koos Robert Feys) ja sihtasutuste Matemaatilise loogika (1963). Curry alustas tööd Combinatory Logic aastal 1950, mil ta sai Fulbrighti toetuse, mis võimaldas tal töötada koos Robert Feys kell Louvain. Jätkasid nad koostööd käsitleva raamatu pärast Curry tagasi Ameerika Ühendriikidest ja valmis tekstiga 1956. EJ COGAN, vaadates raamat annab hea kirjelduse combinatory loogika:

Combinatory loogika on seotud teatud baasteadmisi aluse matemaatika, mida tavaliselt kasutatakse intuitiivse ja unanalysed viisil. Sellised mõisted hõlmavad asendamine, mis on tavaliselt kehtestatud kasutamise muutujad ja klassifikatsioon üksuste süsteem liikidega, mis on tavaliselt ette nähtud eeskirjad, mis on lisateenused, kuid osa, süsteem. Osa combinatory loogika, mis on seotud küsimusi põhjapanevat olemust, mis nagu asendamine kaasata muutujaid, nimetatakse teooria combinators.

Fondide Matemaatilise loogika Curry arendab teema algebraline alusel, kasutades Gentzen 's meetodeid. J Tucker kirjutab:

Selle ilmekaks mõju see lähenemine on, et piiratud positiivse tegevuse mõju, koos ja vaheldumisi on käsitleda esimesena, kuid eituse ja kvantitatiivne tuuakse hiljem eraldi peatükkides. Tähenduses iga olulise sidekoe ei ole sätestatud alguses, kuna see on klassikaline lähenemisviis, kuid on saadud järelduslik eeskirjad.

Aastal 1966 võttis ta seisukoha professor Logic, ajalugu Logic, ja Teadusfilosoofia Amsterdamis. Ta pidas seda seisukohta nelja aasta pärast ta naasis elada State College, Pennsylvania.

Autorid teha mõningaid toredaid kommentaare karri ja tema abikaasa:

Igaüks, kes teab Currys on teadlik kuidas sõbralik ja abivalmis nad alati on. Haskell on alati teinud rohkem kolleegide ja üliõpilaste peale tuleb tekitada olulisi ideid. Ta on alati valmis kuulama kõiki, kes tahtis temaga rääkida, et arutada oma ideid ning anda mis tahes soodustamist, et ta võiks. ... Tema büroo uks on alati avatud. Ja see on kindlasti olulise panuse entusiasmi, paljud neist meist töötavad combinatory loogika. Samuti tuntud kõikjal Currys elanud on külalislahkus nad on näidanud. Alati on paljude osapoolte ja muude, vähem ametlikke kokkutulekuid, ja me oletama, et Virginia's cooking on mänginud rolli kasvu huvi combinatory loogika.

Source:School of Mathematics and Statistics University of St Andrews, Scotland