Curry, Haskell
| Haskell Curry | |
|---|---|
| Englanti Haskell Brooks Curry | |
| Nimi syntyessään | Englanti Haskell Brooks Curry |
| Syntymäaika | 12. syyskuuta 1900 [1] [2] [3] […] |
| Syntymäpaikka |
|
| Kuolinpäivämäärä | 1. syyskuuta 1982 [1] [2] [4] […] (81-vuotias) |
| Kuoleman paikka |
|
| Maa | |
| Työpaikka | |
| Alma mater |
|
| tieteellinen neuvonantaja | David Gilbert |
Haskell Brooks Curry ( 12. syyskuuta 1900 - 1. syyskuuta 1982 ) oli yhdysvaltalainen matemaatikko ja loogikko .
Elämäkerta
Hän syntyi Millisissa ( Massachusettsissa ) ja sai koulutuksen Harvardin yliopistossa . Hän väitteli Göttingenissä Hilbertin (1930) johdolla . Hän työskenteli suurimman osan elämästään Pennsylvanian yliopistossa .
Curry-paradoksi ja Curry–Howard-kirjeenvaihto liittyvät hänen nimeensä , hänen mukaansa on nimetty kaksi ohjelmointikieltä, Haskell ja Curry , sekä ohjelmointikielissä laajalti käytetty " curry " -toiminnallinen operaatio .
Avustus tieteeseen
Hänen tutkimusohjelmansa [5] vaikutti rakentavan lähestymistavan muodostumiseen matematiikan perusteiden kehittämiseen . Vaikutti merkittävästi logiikan kehitykseen [6] , vaikutti strukturalismin ja formalismin suunnan muodostumiseen metamatematiikassa [ 7] [8] . Kehittänyt perustan kombinatoriselle logiikalle , joka puolestaan oli kannustin useiden ohjelmointiparadigmien muodostumiselle , mukaan lukien soveltava ja toiminnallinen ohjelmointi .
Loogiset teokset
Hän tulkitsee "logiikan" käsitettä kolmessa mielessä:
- filosofinen logiikka, joka tutkii normeja eli oikean päättelyn periaatteita ;
- matemaattinen logiikka - filosofiseen logiikkaan läheisesti liittyvä logiikka, joka on syntynyt matemaattisten menetelmien soveltamisen seurauksena filosofisen logiikan tutkimuksessa , matemaattinen logiikka on pysynyt matematiikan haarana; matemaattisen logiikan pääongelma on matemaattisen kurinalaisuuden luonteen selittäminen, matematiikan perusteiden tutkiminen ja sellaisen tekniikan kehittäminen, jota matemaatikot voivat käyttää luottavaisesti ottaen huomioon matematiikan taustalla olevan logiikan erityisluonne;
- logiikka kuin mikä tahansa konkreettinen järjestelmä, joka on matemaattisen tai filosofisen logiikan tutkimuksen kohteena, kuten aristotelilainen logiikka, modaalinen logiikka, kantilainen logiikka jne.
Kutsuessaan järjestelmäänsä "konstruktiiviseksi uusformalismiksi", Curry ei hyväksy joitakin D. Hilbertin klassisen formalismin säännöksiä . Joten hän tekee myönnytyksensä johdonmukaisuuden vaatimuksesta , jota D. Hilbert piti aksioomijärjestelmän pääominaisuutena. "Miksi", hän kysyy, "sanoa, täytyykö meidän olla varmoja teorian johdonmukaisuudesta... ennen kuin käytämme tätä teoriaa? Loppujen lopuksi emme aseta tällaisia vaatimuksia millekään muulle tieteelle. Esimerkiksi fysiikassa teoriat ovat aina hypoteettisia ; Hyväksymme teorian heti, kun sen perusteella voidaan tehdä hyödyllisiä ennusteita, ja muokkaamme tai hylkäämme sen niin kauan kuin tätä ei voida tehdä. Jotain totuutta tässä on tietysti. Jos todetaan, että aksioomajärjestelmä on epäjohdonmukainen, niin tällaisella järjestelmällä ei ole arvoa, mutta aksioomijärjestelmän tarkistamista voidaan aloittaa ei sen johdonmukaisuuden tarkistamisesta, vaan järjestelmän soveltamisesta käytännössä.
Curry tunnetaan työstään kombinatorisen logiikan alalla , joka käyttää alkuperäisten funktioiden järjestelmää ("kombinaattoreita"), jotka eivät tarvitse selitystä ja joita ei analysoida. Kombinatorisen logiikan kehittämisen yhteydessä hän käsitteli laskennan ongelmia , deduktiivisia teorioita ja algebrallisten lakien soveltamista logiikassa.
Pääteokset
- Curry HB Toiminnallisuus kombinatorisessa logiikassa. — Pros. National Academy of Sciences of USA, Voi. 20, 1934. - s. 584-590.
- Curry HB, Feys R. Yhdistelmälogiikka. — Voi. I, North-Holland Co., Amsterdam, 1958.
- Curry HB Matemaattisen logiikan perusteet. - McGraw-Hill Book Co., Inc., NY, 1963.
- Curry HB, Hindley R., Seldin JP Combinatory Logic. — Voi. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.
Muistiinpanot
- ↑ 1 2 3 4 5 6 7 8 MacTutor Matematiikan historia -arkisto
- ↑ 1 2 Haskell Brooks Curry // Encyclopædia Britannica
- ↑ Haskell Brooks Curry // Brockhaus Encyclopedia (saksa) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ 1 2 3 Albumi Academicum - 2007.
- ↑ Seldin JP Curryn ohjelma, julkaisussa To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, toimittajina JP Seldin ja JR Hindley ( Academic Press , Lontoo 1980), s. 3-33. H. B. Curryn tutkimusohjelma ja filosofiset käsitteet, joka laati laskennallisia malleja ja deduktiivisia päättelykeinoja esineiden suhteen.
- ↑ Seldin JP The Logic of Church and Curry Arkistoitu 16. elokuuta 2009 Wayback Machineen . Ilmestyy Handbook of the History of Logic, osa 5, toimittajina Dov Gabbay ja John Woods, kustantaja Elsevier.
- ↑ Hindley JR, Seldin JP (Toim.) HB Currylle: Esseitä kombinatorisesta logiikasta, lambdalaskennasta ja fromalismista. – Academic Press , 1980. Työ heijastelee laskentateorian perusongelmia ja matematiikan perusteita.
- ↑ Seldin JP Curryn formalismi strukturalismina. Arkistoitu 16. elokuuta 2009 Wayback Machinessa , joka esiteltiin Kanadan matematiikan historian ja filosofian seuran 31. vuosikokouksessa Waterloossa, Ontariossa, 4.-6. kesäkuuta 2005.
Kirjallisuus
- A.S. Kuzichev, Z.A. Kuzicheva. Curry // New Philosophical Encyclopedia : 4 osassa / esi. tieteellinen toim. V. S. Stepinin neuvo . — 2. painos, korjattu. ja ylimääräistä - M . : Ajatus , 2010. - 2816 s.
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||