Haskell Curry

Haskell Curry Kuva Infoboxissa. Toiminto
Symbolisen logiikan presidenttiyhdistys
1938-1940
Curt John Ducasse ( sisään ) Cooper Harold Langford ( vuonna )
Elämäkerta
Syntymä 12. syyskuuta 1900
Millis ( tuumaa )
Kuolema 1. st Syyskuu 1982(81-vuotiaana)
State College
Nimi äidinkielellä Haskell Brooks Curry
Syntymänimi Haskell Brooks Curry
Kansalaisuus amerikkalainen
Koulutus Harvardin yliopisto (1916-1920)
Massachusettsin teknillinen instituutti (1920-1922)
Harvardin yliopisto (1922-1924)
Göttingenin yliopisto (1928-1930)
Toiminta Matemaatikko , filosofi , yliopiston professori , tietojenkäsittelytieteen tutkija
Isä Samuel Silas Curry ( sisään )
Äiti Anna Baright Curry ( sisään )
Muita tietoja
Työskenteli Princetonin yliopisto (1927-1928) , Pennsylvanian osavaltion yliopisto (1930-1966) , Amsterdamin yliopisto (1. st Syyskuu 1966 -1 st päivänä syyskuuta 1970)
Hallita Paul Bernays
Valvoja David Hilbert
Vaikuttanut Alfred North Whitehead
Ensisijaiset teokset
Curry-Howard kirjeenvaihto , Paradox curry , Parkitus

Haskell Brooks Curry (syntynyt12. syyskuuta 1900 ja kuollut 1. st Syyskuu 1982) Oli logistiikka ja matemaatikko USA . Hänen työnsä loi perustan toiminnalliselle ohjelmoinnille . Curry tunnetaan parhaiten kombinatoriaalisen logiikan työstään  : Vaikka kombinatorisen logiikan käsite perustui Moses Schönfinkelin yhteen artikkeliin , Curry kehitti suurimman osan siitä. Curry tunnetaan myös Curry-paradoksista ja Curry-Howard-kirjeenvaihdosta . Kunnianosoituksena kolmella ohjelmointikielellä on hänen nimensä - Haskell , Brook  (en) ja Curry  (en) - sekä curryfikaation toiminta .

Elämäkerta

Haskell Curry syntyi 12. syyskuuta 1900vuonna Millis , Massachusetts . Hänen vanhempansa, Samuel Silas Curry ja Anna Baright, pitivät puhekoulua Bostonissa . Hänen isänsä oli johtaja, kun taas hänen äitinsä oli johtaja.

Lukiossa Haskell ei osoittanut mitään erityistä kiinnostusta matematiikkaan ja halusi tuolloin tulla lääkäriksi. Lukion jälkeen hän palasi Harvardiin vuonna 1916 opiskelemaan lääketiedettä. Hän kuitenkin suorittaa valinnaisen matematiikkakurssin. Tämän kurssin mielestä mielenkiintoinen ja uskoen, että olisi hyödyllisempää palvella sotaa aloittanutta maata matematiikan kuin lääketieteen opiskeluun, hän muutti kurssiaan ja ilmoittautui Opiskelija-armeijan koulutusryhmään18. lokakuuta 1918. Hän jättää armeijan eteenpäin9. lokakuuta 1918ja jatkoi matematiikan opintojaan Harvardissa, jossa hän sai kandidaatin tutkinnon vuonna 1920.

Hän aloitti uransa sähkötekniikassa General Electricissä . Tänä aikana hän opiskelee sähkötekniikkaa Massachusettsin teknillisessä instituutissa (MIT) osa-aikaisesti. Kiinnostuneempi teoreettisista kuin soveltavista tiedeistä, hän vaihtoi kursseja vuonna 1922 fysiikan opiskeluun. Sitten hän palasi Harvardiin jatkaakseen opintojaan siellä, missä hän samanaikaisesti hankki tutkimusavustajan tehtävän. Hän valmistui Harvardista fysiikan maisteriksi vuonna 1924.

Hän aloitti matematiikan tohtoriopinnot Harvardissa vuonna 1924 George Birkhoffin valvonnassa . Hänen opinnäytetyön aihe on differentiaaliyhtälöiden teoria. Aloitettuaan lukea matemaattista logiikkaa käsitteleviä kirjoja hän tajuaa, että tämä aihe kiinnostaa häntä enemmän kuin aloitettu. Hän yrittää vaihtaa aihetta, mutta häntä kehotetaan olemaan tekemättä niin. Ensimmäisen lukukauden 1926/1927 lukuvuonna hän työskenteli osa-aikaisesti matematiikan opettajana Harvardissa. Se oli tänä aikana, että hän löysi Principia Mathematica on Alfred North Whitehead ja Bertrand Russell . Tämä kirja on yritys löytää matematiikka symbolisen logiikan avulla. Sitten hänellä oli ajatus käyttää yhdistelmälogiikkaa analysoidakseen kirjan ensimmäisessä osassa esitetyt korvaussäännöt. Hän pyytää uudelleen vaihtamaan aiheensa logiikkaan. Tällä kertaa vastaamme hänelle myönteisesti. MIT: n Norbert Wienerin vastaus oli kaunopuheinen: "Vältä logiikkaa, ellei sinulla ole jotain sanottavaa, mutta nyt sinulla on varmasti jotain sanottavaa!" "

Päätettyään aiheensa differentiaaliyhtälöistä ja ennen kuin aloitti uuden logiikka-aiheen, hän työskenteli vuoden ajan Princetonissa matematiikan opettajana. Siellä hän löysi Moses Schönfinkelin artikkelin Über die Bausteine ​​der mathematischen Logik . Tämä artikkeli esittelee kombinatorisen logiikan ja kehittää samanlaisia ​​ideoita kuin hänelle Principia Mathematicaa lukemalla . Tästä aiheesta oli kuitenkin vain yksi artikkeli, ja kirjoittaja oli tuolloin psykiatrisessa sairaalassa. Tämän vuoksi opinnäytetyön aineistoa on tämän aiheen kehittämisessä, mutta opinnäytetyön ohjaaja tarvitaan. Oswald Veblen neuvoi Paavali Bernays n Göttingenin yliopistossa . Parantaakseen mahdollisuuksiaan saada apuraha Curry laajentaa ajatuksiaan yhdistelmälogiikasta artikkelissa nimeltä Analyysi loogisesta korvaamisesta . Tämä on hänen ensimmäinen artikkeli, ja se julkaistiin American Journal of Mathematics -lehdessä vuonna 1929.

Haskell meni naimisiin Mary Virginian kanssa 3. heinäkuuta 1928ja pari muutti Göttingeniin . Hän puolusti väitöskirjaansa vuotta myöhemmin24. heinäkuuta 1929. Hänen käsikirjoituksensa otsikko on Grundlagen der kombinatorischen Logik (Kombinatorisen logiikan perusteet), ja se julkaistiin American Journal of Mathematics -lehdessä vuonna 1930. Opinnäytetyön ohjaaja oli David Hilbert , mutta hänen työnsä eniten mukana ollut ohjaaja oli Paul Bernays.

Opinnäytetyönsä jälkeen Curry palasi Yhdysvaltoihin, missä hän otti tehtävän Pennsylvanian yliopistossa, missä hän pysyi eläkkeelle siirtymiseen vuonna 1966. Hän oli myös Chicagon yliopiston jäsen vuosina 1931-1932 ja Institute for Advanced Opiskele Princetonissa vuosina 1938 ja 1939.

Vuonna 1936 hän perusti Symbolisen logiikan yhdistyksen, jonka hän oli varapuheenjohtaja vuosina 1936-1937 ja sitten presidentti vuosina 1938-1940.

Toisen maailmansodan aikana Curry sitoutui työskentelemään soveltavassa matematiikassa. Hän työskenteli Frankfordin arsenalissa vuosina 1942–1944, sitten Johns Hopkinsin soveltavan fysiikan laboratoriossa vuoteenMaaliskuu 1945. Sitten hän työskenteli ENIAC- tietokoneen parissa ja palasi sitten Pennsylvanian yliopistoon.

Vuonna 1966 hänet nimitettiin logiikan, logiikan historian ja tieteenfilosofian professoriksi Amsterdamin yliopistoon . Hän pysyi siellä neljä vuotta ennen paluutaan Pennsylvanian yliopistoon, jossa kuoli1. st Syyskuu 1982.

Tieteelliset panokset

Sen teoria liittyy lambda-laskemaan, joka toimii myös perustana toiminnalliselle ohjelmoinnille . Työskennellyt tällä alalla koko uransa ajan hänestä tuli sen pääasiantuntija.

Curry opetti ja työskenteli myös matemaattisen logiikan parissa. Kohokohta oli hänen matemaattisen logiikan perusteet -kurssi vuonna 1963. Hänen suosikki matematiikan filosofiansa oli formalismi (vrt. Hänen 1951-kirjansa) mentorinsa Hilbertin mukaisesti, mutta hänen kirjoituksensa osoittavat tietyn filosofisen uteliaisuuden ja suuren avoimuuden intuitionistiselle logiikalle .

Olemme hänelle erityisesti velkaa Curry-Howardin kirjeenvaihdon .

Curry paradoksi on paradoksi itsensä viite (tai pyöreä).

Kunnianosoitus

Kolme ohjelmointikieltä on hänelle velkaa nimensä: Haskell , Brook  (en) ja Curry  (en) .

Katso myös

Aiheeseen liittyvät artikkelit

Viitteet

Ulkoiset linkit