Curry, Haskell
| Haskell Curry | |
|---|---|
| engelsk Haskell Brooks Curry | |
| Namn vid födseln | engelsk Haskell Brooks Curry |
| Födelsedatum | 12 september 1900 [1] [2] [3] […] |
| Födelseort |
|
| Dödsdatum | 1 september 1982 [1] [2] [4] […] (81 år) |
| En plats för döden |
|
| Land | |
| Arbetsplats | |
| Alma mater |
|
| vetenskaplig rådgivare | David Gilbert |
Haskell Brooks Curry ( 12 september 1900 - 1 september 1982 ) var en amerikansk matematiker och logiker .
Biografi
Född i Millis ( Massachusetts ), han utbildades vid Harvard University . Han disputerade i Göttingen under ledning av Hilbert (1930). Han arbetade större delen av sitt liv vid University of Pennsylvania .
Curry-paradoxen och Curry-Howard-korrespondensen förknippas med hans namn , två programmeringsspråk, Haskell och Curry , är uppkallade efter honom , såväl som den funktionella " curry " -funktionen som ofta används i programmeringsspråk.
Bidrag till vetenskapen
Programmet för hans forskning [5] bidrog till bildandet av en konstruktiv strategi för utvecklingen av grunderna för matematik . Påverkat avsevärt utvecklingen av logik [6] , bidrog till bildandet av riktningen för strukturalism och formalism i metamatematiken [7] [8] . Utvecklade grunderna för kombinatorisk logik , som i sin tur var stimulansen för bildandet av flera programmeringsparadigm , inklusive applikativ och funktionell programmering .
Logiska fungerar
Begreppet "logik" tolkar han i tre betydelser:
- filosofisk logik, som studerar normer, det vill säga principerna för korrekt resonemang ;
- matematisk logik - logik nära besläktad med filosofisk logik, efter att ha uppstått som ett resultat av tillämpningen av matematiska metoder i studiet av filosofisk logik , har matematisk logik förblivit en gren av matematiken; huvudproblemet med matematisk logik är förklaringen av matematisk rigors natur, studiet av matematikens grunder och utvecklingen av en teknik som matematiker kan använda med tillförsikt, med hänsyn till den specifika karaktären hos den logik som ligger bakom matematiken;
- logik som något av de konkreta system som är föremål för studier av matematisk eller filosofisk logik, såsom aristotelisk logik, modal logik, kantiansk logik, etc.
Curry kallar sitt system "konstruktiv neoformalism" och accepterar inte några av bestämmelserna i D. Hilberts klassiska formalism . Så han gör en eftergift angående kravet på konsistens , vilket D. Hilbert ansåg vara den huvudsakliga egenskapen hos axiomsystemet. "Varför," frågar han, "säg, måste vi vara säkra på att en teori är konsekvent ... innan vi använder den här teorin? Vi ställer ju inte sådana krav på någon annan vetenskap. Inom fysiken, till exempel, är teorier alltid hypotetiska ; vi accepterar en teori så snart användbara förutsägelser kan göras på grundval av den, och vi modifierar eller förkastar den så länge detta inte kan göras. Det ligger en viss sanning i detta, naturligtvis. Om det konstateras att axiomsystemet är inkonsekvent, så är ett sådant system utan värde, men man kan börja kontrollera axiomsystemet inte från att kontrollera dess konsistens, utan från att tillämpa systemet i praktiken.
Curry är känd för sitt arbete inom fältet av kombinatorisk logik , som använder ett system av ursprungliga funktioner ("kombinatorer") som inte behöver förklaring och inte analyseras. I samband med utvecklingen av kombinatorisk logik, behandlade han problemen med kalkyl , deduktiva teorier och tillämpningen av algebraiska lagar i logiken.
Huvudverk
- Curry HB Funktionalitet i kombinatorisk logik. — Proc. National Academy of Sciences i USA, vol. 20, 1934. - sid. 584-590.
- Curry HB, Feys R. Combinatory Logic. — Vol. I, North-Holland Co., Amsterdam, 1958.
- Curry HB Grunderna för matematisk logik. — McGraw-Hill Book Co., Inc., NY, 1963.
- Curry HB, Hindley R., Seldin JP Combinatory Logic. — Vol. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.
Anteckningar
- ↑ 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 (tyskt) / 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 redigerad av JP Seldin och JR Hindley ( Academic Press , London 1980), s. 3-33. Forskningsprogram och filosofiska begrepp av H. B. Curry, som lade ner beräkningsmodeller och deduktiva resonemang i termer av objekt.
- ↑ Seldin JP The Logic of Church and Curry Arkiverad 16 augusti 2009 på Wayback Machine . Ska visas i Handbook of the History of Logic, volym 5, redigerad av Dov Gabbay och John Woods, som ska publiceras av Elsevier.
- ↑ Hindley JR, Seldin JP (Eds.) Till HB Curry: Essäer om kombinatorisk logik, lambdakalkyl och fromalism. — Academic Press , 1980. Uppsatsen återspeglar de grundläggande problemen med beräkningsteorin och grunderna för matematik.
- ↑ Seldin JP Currys formalism som strukturalism. Arkiverad 16 augusti 2009 på Wayback Machine presenterad för det trettioförsta årliga mötet 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 volymer / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M . : Tanke , 2010. - 2816 sid.
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| ||||