Curry, Haskell
| Haskell Curry | |
|---|---|
| engelsk Haskell Brooks Curry | |
| Navn ved fødslen | engelsk Haskell Brooks Curry |
| Fødselsdato | 12. september 1900 [1] [2] [3] […] |
| Fødselssted |
|
| Dødsdato | 1. september 1982 [1] [2] [4] […] (81 år) |
| Et dødssted |
|
| Land | |
| Arbejdsplads | |
| Alma Mater |
|
| videnskabelig rådgiver | David Gilbert |
Haskell Brooks Curry ( 12. september 1900 - 1. september 1982 ) var en amerikansk matematiker og logiker .
Biografi
Han blev født i Millis ( Massachusetts ) og blev uddannet ved Harvard University . Han forsvarede sin afhandling i Göttingen under vejledning af Hilbert (1930). Han arbejdede det meste af sit liv på University of Pennsylvania .
Curry-paradokset og Curry-Howard-korrespondancen er forbundet med hans navn , to programmeringssprog, Haskell og Curry , er opkaldt efter ham , såvel som den " curry " funktionelle operation, der er meget brugt i programmeringssprog.
Bidrag til videnskaben
Programmet for hans forskning [5] bidrog til dannelsen af en konstruktiv tilgang til udviklingen af grundlaget for matematik . Betydeligt påvirket udviklingen af logik [6] , bidrog til dannelsen af retningen for strukturalisme og formalisme i metamatematikken [7] [8] . Udviklede grundlaget for kombinatorisk logik , som igen var stimulansen til dannelsen af flere programmeringsparadigmer , herunder applikativ og funktionel programmering .
Logiske værker
Begrebet "logik" fortolker han i tre betydninger:
- filosofisk logik, som studerer normer, det vil sige principperne for korrekt ræsonnement ;
- matematisk logik - logik tæt forbundet med filosofisk logik, der er opstået som et resultat af anvendelsen af matematiske metoder i studiet af filosofisk logik , er matematisk logik forblevet en gren af matematikken; hovedproblemet med matematisk logik er forklaringen af arten af matematisk stringens, studiet af matematikkens grundlag og udviklingen af en teknik, som matematikere kan bruge med tillid, under hensyntagen til den specifikke karakter af den logik, der ligger til grund for matematikken;
- logik som ethvert af de konkrete systemer, der er genstand for undersøgelse af matematisk eller filosofisk logik, såsom aristotelisk logik, modal logik, kantiansk logik osv.
Curry kalder sit system "konstruktiv neoformalisme" og accepterer ikke nogle af bestemmelserne i D. Hilberts klassiske formalisme . Så han giver en indrømmelse med hensyn til kravet om konsistens , som D. Hilbert betragtede som hovedegenskaben ved aksiomsystemet. "Hvorfor," spørger han, "sig, skal vi være sikre på sammenhængen i en teori ... før vi bruger denne teori? Sådanne krav stiller vi jo ikke til nogen anden videnskab. I fysik, for eksempel, er teorier altid hypotetiske ; vi accepterer en teori, så snart der kan laves nyttige forudsigelser på grundlag af den, og vi ændrer eller afviser den, så længe dette ikke kan lade sig gøre. Der er selvfølgelig en vis sandhed i dette. Hvis det konstateres, at systemet af aksiomer er inkonsistent, så er et sådant system uden værdi, men man kan begynde at kontrollere aksiomsystemet ikke ved at kontrollere dets konsistens, men fra at anvende systemet i praksis.
Curry er kendt for sit arbejde inden for kombinatorisk logik , som bruger et system af originale funktioner ("kombinatorer"), der ikke behøver forklaring og ikke analyseres. I forbindelse med udviklingen af kombinatorisk logik beskæftigede han sig med problemerne med kalkulering , deduktive teorier og anvendelsen af algebraiske love i logikken.
Hovedværker
- Curry HB Funktionalitet i kombinatorisk logik. — Proc. National Academy of Sciences i USA, Vol. 20, 1934. - s. 584-590.
- Curry HB, Feys R. Combinatory Logic. — Bd. I, North-Holland Co., Amsterdam, 1958.
- Curry HB Grundlaget for matematisk logik. - McGraw-Hill Book Co., Inc., NY, 1963.
- Curry HB, Hindley R., Seldin JP Combinatory Logic. — Bd. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.
Noter
- ↑ 1 2 3 4 5 6 7 8 MacTutor History of Mathematics Archive
- ↑ 1 2 Haskell Brooks Curry // Encyclopædia Britannica
- ↑ Haskell Brooks Curry // Brockhaus Encyclopedia (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ 1 2 3 Album Academicum - 2007.
- ↑ Seldin JP Currys program, i To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism redigeret af JP Seldin og JR Hindley ( Academic Press , London 1980), pp. 3-33. Forskningsprogram og filosofiske begreber af H. B. Curry, der fastlagde beregningsmodeller og deduktive ræsonnementer i form af objekter.
- ↑ Seldin JP The Logic of Church and Curry Arkiveret 16. august 2009 på Wayback Machine . Vises i Handbook of the History of Logic, bind 5, redigeret af Dov Gabbay og John Woods, der udgives af Elsevier.
- ↑ Hindley JR, Seldin JP (red.) Til HB Curry: Essays om kombinatorisk logik, lambdaregning og fromalisme. — Academic Press , 1980. Artiklen afspejler de grundlæggende problemer i teorien om beregning og matematikkens grundlag.
- ↑ Seldin JP Currys formalisme som strukturalisme. Arkiveret 16. august 2009 på Wayback Machine præsenteret til det 31. årsmøde i Canadian Society for History and Philosophy of Mathematics, Waterloo, Ontario, 4.-6. juni 2005.
Litteratur
- A. S. Kuzichev, Z. A. Kuzicheva. Curry // New Philosophical Encyclopedia : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||