हास्केल करी

Haskell Brooks Curry
Haskell Brooks Curry
जन्म	September 12, 1900; Millis, Massachusetts, US
मर गया	September 1, 1982 (aged 81); State College, Pennsylvania, US
राष्ट्रीयता	American
अल्मा मेटर	Harvard University; University of Göttingen;
के लिए जाना जाता है	Combinatory logic; Curry–Howard correspondence; Curry's paradox; Formalism in the philosophy of mathematics
	Scientific career
खेत	Mathematics; Logic
संस्थानों	Pennsylvania State University; University of Amsterdam
Doctoral advisor	David Hilbert
को प्रभावित	Alfred North Whitehead; Bertrand Russell; Moses Schönfinkel

हास्केल ब्रूक्स करी (/ˈhæskəl/; 12 सितंबर, 1900 - 1 सितंबर, 1982) एक अमेरिकी गणितज्ञ और तर्क शास्त्री थे। संयोजन तर्क में करी को उनके काम के लिए जाना जाता है। जबकि कॉम्बिनेटरी लॉजिक की प्रारंभिक अवधारणा मोसेस स्कोनफिंकेल द्वारा एकल पेपर पर आधारित थी,^[1] करी ने बहुत विकास किया। करी को करी के विरोधाभास और करी-हावर्ड पत्राचार के लिए भी जाना जाता है। उनके नाम पर तीन प्रोग्रामिंग लैंग्वेज हैं, [[ हास्केल (प्रोग्रामिंग भाषा ) ]], ब्रुकजीपीयू और करी (प्रोग्रामिंग भाषा) , साथ ही करींग की अवधारणा, गणित और कंप्यूटर विज्ञान में कार्यों को बदलने के लिए इस्तेमाल की जाने वाली तकनीक।

जीवन

करी का जन्म 12 सितंबर, 1900 को मिलिस, मैसाचुसेट्स में शमूएल सिलास करी और अन्ना बैराइट करी के घर हुआ था, जो वक्तृत्व के लिए एक स्कूल चलाते थे। उन्होंने 1916 में चिकित्सा का अध्ययन करने के लिए हार्वर्ड विश्वविद्यालय में प्रवेश किया, लेकिन 1920 में स्नातक होने से पहले गणित में चले गए। मेसाचुसेट्स प्रौद्योगिक संस्थान में विद्युत अभियन्त्रण में दो साल के स्नातक कार्य के बाद, वे भौतिकी का अध्ययन करने के लिए हार्वर्ड लौट आए, 1924 में एमए किया। गणितीय तर्क इस अवधि के दौरान शुरू हुआ जब उन्हें गणितीय सिद्धांत से परिचित कराया गया, अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा प्रतीकात्मक तर्क में गणित को आधार बनाने का प्रयास। हार्वर्ड में रहकर, करी ने पीएच.डी. गणित में। जबकि उन्हें जॉर्ज डेविड बिरखॉफ द्वारा अंतर समीकरण ों पर काम करने के लिए निर्देशित किया गया था, उनकी रुचि तर्क में स्थानांतरित होती रही। 1927 में, प्रिंसटन विश्वविद्यालय में एक प्रशिक्षक के रूप में, उन्होंने कॉम्बिनेटरी लॉजिक में मूसा शॉनफिंकेल के काम की खोज की। स्कोनफिंकेल के काम ने करी के अपने शोध का बहुत अनुमान लगाया था, और इसके परिणामस्वरूप, वह गौटिंगेन विश्वविद्यालय चले गए जहां वह हेनरिक बेहमन और पॉल बर्नेज़ के साथ काम कर सकते थे, जो स्कोनफिंकल के काम से परिचित थे। करी की देखरेख डेविड हिल्बर्ट द्वारा की गई थी और बर्नेज़ के साथ मिलकर काम किया, एक पीएच.डी. प्राप्त किया। 1930 में संयोजन तर्क पर एक शोध प्रबंध के साथ।^[2] 1928 में, गोटिंगेन के लिए रवाना होने से पहले, करी ने मैरी वर्जीनिया व्हीटली से शादी की। दंपति जर्मनी में रहते थे, जबकि करी ने अपना शोध प्रबंध पूरा किया, फिर 1929 में, स्टेट कॉलेज, पेन्सिलवेनिया चले गए जहाँ करी ने पेंसिल्वेनिया स्टेट यूनिवर्सिटी में एक पद स्वीकार किया। उनके दो बच्चे हुए, ऐनी राइट करी (27 जुलाई, 1930) और रॉबर्ट व्हीटली करी (6 जुलाई, 1934)। करी अगले 37 वर्षों तक पेन स्टेट में रही। उन्होंने 1931-1932 में शिकागो विश्वविद्यालय में विज्ञान, इंजीनियरिंग, और चिकित्सा # कार्यक्रम इकाइयों की राष्ट्रीय अकादमियों के तहत एक वर्ष और 1938-1939 में प्रिंसटन में उन्नत अध्ययन संस्थान में एक वर्ष बिताया। 1942 में उन्होंने द्वितीय विश्व युद्ध के दौरान संयुक्त राज्य सरकार के लिए लागू गणित करने के लिए अनुपस्थिति की छुट्टी ले ली, विशेष रूप से फ्रैंकफोर्ड आर्सेनल में। युद्ध के तुरंत बाद उन्होंने 1945 और 1946 में ENIAC परियोजना पर काम किया। फुलब्राइट कार्यक्रम के तहत, उन्होंने लेउवेन, बेल्जियम में रॉबर्ट फेयस के साथ सहयोग किया। 1966 में पेन स्टेट से सेवानिवृत्त होने के बाद, करी ने एम्स्टर्डम विश्वविद्यालय में एक पद स्वीकार किया। 1970 में, कॉम्बिनेटरी लॉजिक पर अपने ग्रंथ के दूसरे खंड को समाप्त करने के बाद, करी एम्स्टर्डम विश्वविद्यालय से सेवानिवृत्त हुए और स्टेट कॉलेज, पेन्सिलवेनिया लौट आए।

हास्केल करी की मृत्यु 1 सितंबर, 1982 को स्टेट कॉलेज, पेंसिल्वेनिया में हुई थी।

काम

करी के काम का फोकस यह दिखाने का प्रयास था कि जुझारू तर्क गणित के लिए एक आधार प्रदान कर सकता है। 1933 के अंत में, उन्होंने जे. बार्कले रोसेर के साथ पत्राचार से क्लेन-रोजर विरोधाभास के बारे में सीखा। रॉसर और स्टीफन कोल क्लेन द्वारा विकसित विरोधाभास ने कई संबंधित औपचारिक प्रणालियों की असंगतता को साबित कर दिया था, जिसमें अलोंजो चर्च द्वारा प्रस्तावित एक प्रणाली (एक प्रणाली जिसमें लैम्ब्डा कैलकुलस एक सुसंगत उपप्रणाली के रूप में था) और करी की अपनी प्रणाली शामिल थी।^[2] हालांकि, चर्च, क्लेन और रोसेर के विपरीत, करी ने यह कहते हुए मूलभूत दृष्टिकोण को नहीं छोड़ा कि वह विरोधाभासों से भागना नहीं चाहते थे।^[3] अपने पूरे करियर के लिए कॉम्बिनेटरी लॉजिक के क्षेत्र में काम करके, करी अनिवार्य रूप से संस्थापक और क्षेत्र में सबसे बड़ा नाम बन गया। कॉम्बिनेटरी लॉजिक कार्यात्मक प्रोग्रामिंग भाषा की एक शैली की नींव है। कॉम्बिनेटर लॉजिक की शक्ति और दायरा चर्च के लैम्ब्डा कैलकुलस के समान है, और बाद की औपचारिकता हाल के दशकों में प्रबल हो गई है।

1947 में करी ने पहली उच्च-स्तरीय प्रोग्रामिंग भाषाओं में से एक का वर्णन किया और एक सामान्य अंकगणितीय अभिव्यक्ति को एक-पते वाले कंप्यूटर के लिए एक कोड में बदलने की प्रक्रिया का पहला विवरण प्रदान किया।^[4] उन्होंने हार्वर्ड, प्रिंसटन यूनिवर्सिटी और 1929 से 1966 तक पेंसिल्वेनिया स्टेट यूनिवर्सिटी में पढ़ाया। 1942 में, उन्होंने करी का विरोधाभास प्रकाशित किया। 1966 में वे एवर्ट विलेम बेथ के उत्तराधिकारी, एम्स्टर्डम विश्वविद्यालय में तर्क और उसके इतिहास और सटीक विज्ञान के दर्शन के प्रोफेसर बने।^[5] करी ने गणितीय तर्क को अधिक सामान्य रूप से लिखा और पढ़ाया भी; इस क्षेत्र में उनके शिक्षण का समापन 1963 में उनके गणितीय तर्क की नींव में हुआ। उनके गुरु हिल्बर्ट का अनुसरण करते हुए गणित का उनका पसंदीदा दर्शन फॉर्मलिज्म (गणित का दर्शन) (cf. उनकी 1951 की पुस्तक) था, लेकिन उनके लेखन में पर्याप्त दार्शनिक जिज्ञासा और अंतर्ज्ञानवादी तर्क के बारे में एक बहुत ही खुला दिमाग है।

प्रमुख प्रकाशन

"संयोजन तर्क की मूल बातें" [Foundations of combinatorial logic]. American Journal of Mathematics (in Deutsch). The Johns Hopkins University Press. 52 (3): 509–536. 1930. doi:10.2307/2370619. JSTOR 2370619.
औपचारिक कटौती का सिद्धांत. University of Notre Dame Press. 1950.^[6]
- औपचारिक कटौती का सिद्धांत (2nd ed.). University of Notre Dame Press. 1957.
गणित के एक औपचारिकवादी दर्शन की रूपरेखा. Amsterdam: Elsevier Science. 1951. ISBN 0444533680. Retrieved 23 July 2012.
बीजगणितीय तर्क पाठ (in français). Paris: Gauthier-Villars. 1952.^[7]
Curry, Haskell; Feys, Robert (1958). संयोजन तर्क. Vol. I. Amsterdam: North-Holland Publishing Company.
गणितीय तर्क की नींव. Mcgraw Hill. 1963.
- गणितीय तर्क की नींव (Unabridged and corrected Dover ed.). New York: Dover Publications. 1977. ISBN 0-486-63462-0. Retrieved 23 July 2012.
संयोजन तर्क. Vol. II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.

संदर्भ

↑ 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.
↑ ^2.0 ^2.1 Seldin, Jonathan. "द लॉजिक ऑफ़ करी एंड चर्च". {{cite journal}}: Cite journal requires |journal= (help)
↑ Barendregt, H.P. लैम्ब्डा कैलकुलस: इसका सिंटैक्स और शब्दार्थ. Elsevier. p. 4.
↑ Knuth, Donald E.; Pardo, Luis Trabb (1976). "Early development of programming languages". Stanford University, Computer Science Department, p. 22
↑ Album Academicum, University of Amsterdam
↑ Nelson, D. (1952). "समीक्षा: एच.बी. करी द्वारा औपचारिक कटौती का सिद्धांत". Bull. Amer. Math. Soc. 58 (3): 415–417. doi:10.1090/s0002-9904-1952-09596-3.
↑ Marcus, R. Barcan (1952). "समीक्षा करें: बीजगणितीय तर्क में पाठ, एच.बी. करी द्वारा". Bull. Amer. Math. Soc. 58 (2): 673–674. doi:10.1090/s0002-9904-1952-09657-9.

आगे की पढाई

Seldin, J.P., and Hindley, J.R., eds., 1980. To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism. Academic Press. Includes biographical essay.

इस पेज में लापता आंतरिक लिंक की सूची

विदेश महाविद्यालय
वाग्मिता
लोवेन
औपचारिक प्रणाली
औपचारिकता (गणित का दर्शन)

बाहरी कड़ियाँ

Seldin, Jonathan P. "Haskell Brooks Curry (1900-1982)". Internet Encyclopedia of Philosophy.
O'Connor, John J.; Robertson, Edmund F., "हास्केल करी", MacTutor History of Mathematics archive, University of St Andrews
Curry archives provides images of several hundred manuscript pages from 1920 to 1931.
CLg. bibliography 587 pp

श्रेणी: 1900 जन्म श्रेणी:1982 मौतें श्रेणी: 20वीं सदी के अमेरिकी गणितज्ञ श्रेणी: अमेरिकी तार्किक श्रेणी: हार्वर्ड विश्वविद्यालय के पूर्व छात्र श्रेणी: गणित के दार्शनिक श्रेणी: हार्वर्ड विश्वविद्यालय संकाय श्रेणी:पेंसिल्वेनिया राज्य विश्वविद्यालय संकाय श्रेणी: प्रिंसटन विश्वविद्यालय संकाय श्रेणी: एम्स्टर्डम विश्वविद्यालय संकाय श्रेणी: मिलिस, मैसाचुसेट्स के लोग

[1] 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.

[Seldin_2006-2] 2.0 ^2.1 Seldin, Jonathan. "द लॉजिक ऑफ़ करी एंड चर्च". {{cite journal}}: Cite journal requires |journal= (help)

[3] Barendregt, H.P. लैम्ब्डा कैलकुलस: इसका सिंटैक्स और शब्दार्थ. Elsevier. p. 4.

[4] Knuth, Donald E.; Pardo, Luis Trabb (1976). "Early development of programming languages". Stanford University, Computer Science Department, p. 22

[5] Album Academicum, University of Amsterdam

[6] Nelson, D. (1952). "समीक्षा: एच.बी. करी द्वारा औपचारिक कटौती का सिद्धांत". Bull. Amer. Math. Soc. 58 (3): 415–417. doi:10.1090/s0002-9904-1952-09596-3.

[7] Marcus, R. Barcan (1952). "समीक्षा करें: बीजगणितीय तर्क में पाठ, एच.बी. करी द्वारा". Bull. Amer. Math. Soc. 58 (2): 673–674. doi:10.1090/s0002-9904-1952-09657-9.

[1]

[2]

[3]

[4]

[5]

[6]

[7]