मार्टिन डेविस (गणितज्ञ)
Martin Davis | |
---|---|
जन्म | Martin David Davis March 8, 1928 New York City, U.S. |
मर गया | January 1, 2023 Berkeley, California, U.S. | (aged 94)
अल्मा मेटर | City College of New York (AB) Princeton University (PhD) |
के लिए जाना जाता है | |
Spouse | Virginia Whiteford Palmer
(m. 1951) |
पुरस्कार | Chauvenet Prize (1975) |
Scientific career | |
संस्थानों | |
Thesis | On the Theory of Recursive Unsolvability (1950) |
Doctoral advisor | Alonzo Church |
डॉक्टरेट के छात्र |
मार्टिन डेविड डेविस (8 मार्च, 1928 - 1 जनवरी, 2023) एक अमेरिकी गणितज्ञ और कंप्यूटर वैज्ञानिक थे, जिन्होंने संगणनीयता सिद्धांत और गणितीय तर्क के क्षेत्र में महत्वपूर्ण योगदान दिया। उन्हें हिल्बर्ट की दसवीं समस्या पर अपने काम के लिए जाना जाता है, जो डायोफैंटाइन सेट # मटियासेविच के प्रमेय की ओर ले जाता है। उन्होंने पोस्ट-ट्यूरिंग मॉडल को भी उन्नत किया और डेविस-पुटनम-लॉगमैन-लवलैंड एल्गोरिथम | डेविस-पुटनम-लॉगमैन-लवलैंड (डीपीएलएल) एल्गोरिदम का सह-विकास किया, जो बूलियन संतुष्टि समस्या के लिए मूलभूत है।
डेविस लेरॉय पी. स्टील पुरस्कार, चौवेनेट पुरस्कार (रूबेन हर्श के साथ) और लेस्टर आर. फोर्ड पुरस्कार के विजेता थे। इसके अलावा, वह कला और विज्ञान की अमेरिकी अकादमी के फेलो और अमेरिकी गणितीय सोसायटी के फेलो थे।
प्रारंभिक जीवन और शिक्षा
डेविस के माता-पिता लॉड्ज़, पोलैंड से संयुक्त राज्य अमेरिका के यहूदी आप्रवासी थे, और न्यूयॉर्क शहर में दोबारा मिलने के बाद उन्होंने शादी कर ली। डेविस का जन्म 8 मार्च, 1928 को न्यूयॉर्क शहर में हुआ था। वह ब्रोंक्स में पले-बढ़े, जहाँ उनके माता-पिता ने उन्हें पूर्ण शिक्षा प्राप्त करने के लिए प्रोत्साहित किया।[1][2] उन्होंने 1948 में न्यूयॉर्क के सिटी कॉलेज से गणित में स्नातक की डिग्री और 1950 में प्रिंसटन विश्वविद्यालय से पीएचडी की उपाधि प्राप्त की।[3] उनके डॉक्टरेट शोध प्रबंध, ऑन द थ्योरी ऑफ रिकर्सिव अनसॉल्वेबिलिटी, का पर्यवेक्षण अमेरिकी गणितज्ञ और कंप्यूटर वैज्ञानिक अलोंजो चर्च द्वारा किया गया था।[1][2][4]
अकादमिक करियर
1950 के दशक की शुरुआत में इलिनोइस विश्वविद्यालय अर्बाना-शैंपेन | इलिनोइस विश्वविद्यालय उरबाना-शैंपेन में एक शोध निर्देशन के दौरान, वह कंट्रोल सिस्टम्स लैब में शामिल हो गए और ओआरडीवीएसी के शुरुआती प्रोग्रामरों में से एक बन गए।[1]न्यूयॉर्क विश्वविद्यालय में शामिल होने से पहले उन्होंने बाद में बेल लैब्स और रैंड कॉर्पोरेशन में काम किया।[5]NYU में अपने समय के दौरान, उन्होंने विश्वविद्यालय के कंप्यूटर विज्ञान विभाग की स्थापना में मदद की। वह 1996 में NYU से सेवानिवृत्त हुए।[3][5]वह बाद में कैलिफोर्निया विश्वविद्यालय, बर्कले में विजिटिंग फैकल्टी के सदस्य थे।[6]
हिल्बर्ट की दसवीं समस्या
डेविस ने पहली बार अपने पीएचडी शोध प्रबंध के दौरान हिल्बर्ट की दसवीं समस्या पर काम किया, अलोंजो चर्च के साथ काम किया। प्रमेय, जैसा कि जर्मन गणितज्ञ डेविड हिल्बर्ट द्वारा प्रस्तुत किया गया है, एक प्रश्न पूछता है: एक डायोफैंटिन समीकरण दिया गया है, क्या कोई एल्गोरिदम है जो यह तय कर सकता है कि समीकरण हल करने योग्य है या नहीं?[5]डेविस के शोध प्रबंध ने एक अनुमान को सामने रखा कि समस्या अघुलनशील थी। 1950 और 1960 के दशक में, डेविस ने अमेरिकी गणितज्ञ हिलेरी पटनम और जूलिया रॉबिन्सन के साथ मिलकर इस अनुमान को हल करने की दिशा में प्रगति की। अनुमान का प्रमाण अंततः 1970 में रूसी गणितज्ञ यूरी मटियासेविच के काम के साथ पूरा हुआ। इसका परिणाम डायोफैंटाइन सेट#मटियासेविच प्रमेय के रूप में हुआ, जिसका नाम डेविस, पुटनाम, रॉबिन्सन और मटियासेविच के नाम पर रखा गया।[5]समस्या का वर्णन करते हुए, डेविस ने पहले उल्लेख किया था कि जब वह एक स्नातक था और बाद में उत्तरोत्तर उसका आजीवन जुनून बन गया था, तो उसने समस्या को बेहद मोहक पाया।[7]
अन्य योगदान
डेविस ने 1961 में डेविस-पुट्नम-लॉगमैन-लवलैंड एल्गोरिद्म|डेविस-पुटनम-लॉगमैन-लवलैंड (डीपीएलएल) एल्गोरिद्म शुरू करने के लिए पुतनाम, जॉर्ज लॉगमैन और डोनाल्ड डब्ल्यू लवलैंड के साथ सहयोग किया, जो एक पूर्णता (तर्क), बैक ट्रैकिंग -आधारित खोज थी। संयोजन सामान्य रूप में प्रस्तावित तर्क की बूलियन संतुष्टि समस्या के लिए एल्गोरिदम, यानी बूलियन संतुष्टि समस्या | सीएनएफ-एसएटी समस्या को हल करने के लिए।[8] एल्गोरिथम पहले के डेविस-पुटनम एल्गोरिथम का परिशोधन था, जो 1960 में डेविस और पुटनाम द्वारा विकसित एक संकल्प (तर्क)-आधारित प्रक्रिया थी।[9][10] एल्गोरिथम तेजी से बूलियन संतुष्टि समस्या | बूलियन संतुष्टि सॉल्वर की वास्तुकला में मूलभूत है।[7]
कम्प्यूटेबिलिटी सिद्धांत पर अपने काम के अलावा, डेविस ने कम्प्यूटेशनल जटिलता और गणितीय तर्क के क्षेत्र में भी महत्वपूर्ण योगदान दिया।[5][11][12] डेविस अपने पोस्ट-ट्यूरिंग मशीनों के मॉडल के लिए भी जाने जाते थे।[3]
1974 में, डेविस ने हिल्बर्ट की दसवीं समस्या पर अपने काम से संबंधित व्याख्यात्मक लेखन के लिए लेस्टर आर. फोर्ड पुरस्कार जीता,[2][13] और 1975 में उन्होंने लेरॉय पी. स्टील पुरस्कार और चौवेनेट पुरस्कार (रूबेन हर्श के साथ) जीता।[14] वह 1982 में अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज के साथी बन गए,[2]और 2013 में, उन्हें अमेरिकन मैथमेटिकल सोसाइटी के उद्घाटन फेलो में से एक के रूप में चुना गया था।[15] डेविस की 1958 की पुस्तक कम्प्यूटेबिलिटी एंड अनसॉल्वेबिलिटी को सैद्धांतिक कंप्यूटर विज्ञान में एक क्लासिक माना जाता है, जबकि उनकी 2000 की पुस्तक द यूनिवर्सल कंप्यूटर गॉटफ्रीड विल्हेम लीबनिज और एलन ट्यूरिंग के कार्यों सहित कंप्यूटिंग के विकास और इतिहास का पता लगाती है।[5]उनकी पुस्तक द अनडिसिडेबल, जिसका पहला संस्करण 1965 में प्रकाशित हुआ था, अघुलनशील समस्याओं और संगणनीय कार्यों का एक संग्रह था।[7]
व्यक्तिगत जीवन और मृत्यु
डेविस की शादी एक कपड़ा कलाकार वर्जीनिया व्हाइटफोर्ड पामर से हुई थी। युगल उरबाना-शैंपेन क्षेत्र में अपने समय के दौरान मिले और बाद में 1951 में शादी कर ली।[16]: 8 उनके दो बच्चे थे।[3]दंपति अपनी सेवानिवृत्ति के बाद बर्कले, कैलिफोर्निया में रहते थे।[5] डेविस का 1 जनवरी, 2023 को 94 वर्ष की आयु में निधन हो गया।[17] कई घंटे बाद उसी दिन उनकी पत्नी की मृत्यु हो गई।[18]
चयनित प्रकाशन
पुस्तकें
- Davis, Martin (1958). संगणनीयता और अघुलनशीलता. New York: Dover. ISBN 0-486-61471-9. 1982 डोवर पुनर्मुद्रण
- Davis, Martin (1977). लागू गैरमानक विश्लेषण. New York: Wiley. ISBN 9780471198970. 2014 डोवर पुनर्मुद्रण
- Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). संगणनीयता, जटिलता और भाषाएँ: सैद्धांतिक कंप्यूटर विज्ञान के मूल सिद्धांत (2nd ed.). Boston: Academic Press, Harcourt, Brace. ISBN 9780122063824.
- Davis, Martin (2000). द यूनिवर्सल कंप्यूटर: लीबनिज से ट्यूरिंग तक की सड़क. Norton. ISBN 0393047857. के रूप में पुनर्मुद्रित तर्क के इंजन: गणितज्ञ और कंप्यूटर की उत्पत्ति. New York: Norton. 2000. ISBN 9780393322293.
- Davis, Martin (2004). अनिर्णीत: अनिर्णीत प्रस्तावों, अघुलनशील समस्याओं और संगणनीय कार्यों पर बुनियादी कागजात. New York: Dover Publications. ISBN 0-486-43228-9. OCLC 53840050.
सामग्री
- डेविस, मार्टिन (1973), हिल्बर्ट की दसवीं समस्या अनसुलझी है, अमेरिकन मैथमैटिकल मंथली, 80(3), 233–269। doi:10.1080/00029890.1973.11993265.
- डेविस, मार्टिन (1995), क्या गणितीय अंतर्दृष्टि एल्गोरिथम है? , व्यवहार और मस्तिष्क विज्ञान, '13'(4), 659–60।
- डेविस, मार्टिन (2020), कंप्यूटर साइंस के सत्तर साल, इन: एंड्रियास ब्लास|ब्लास ए., सेगिल्स्की पी., नाचुम डर्सोविट्ज़|डर्शोविट्ज़ एन., ड्रॉस्ते एम., फ़िंकबीनर बी. (एड्स.) फ़ील्ड्स ऑफ़ लॉजिक एंड कम्प्यूटेशन III, 105–117। कम्प्यूटर विज्ञान, वॉल। की व्याख्या नोट्स। 12180. स्प्रिंगर: चाम, स्विट्जरलैंड। doi:10.1007/978-3-030-48006-6_8.
यह भी देखें
- अमानक विश्लेषण की आलोचना
- रुकने की समस्या
- गैर-मानक विश्लेषण का प्रभाव
संदर्भ
- ↑ 1.0 1.1 1.2 Jackson, Allyn (September 2007), "Interview with Martin Davis" (PDF), Notices of the American Mathematical Society, Providence, Rhode Island: American Mathematical Society (published May 2008), vol. 55, no. 5, pp. 560–571, ISSN 0002-9920, OCLC 1480366.
- ↑ 2.0 2.1 2.2 2.3 O'Connor, John J.; Robertson, Edmund F., "मार्टिन डेविस (गणितज्ञ)", MacTutor History of Mathematics archive, University of St Andrews
- ↑ 3.0 3.1 3.2 3.3 "Martin Davis – Biography". Maths History. Retrieved January 8, 2023.
- ↑ मार्टिन डेविस at the Mathematics Genealogy Project
- ↑ 5.0 5.1 5.2 5.3 5.4 5.5 5.6 "मार्टिन डेविस के साथ साक्षात्कार" (PDF). American Mathematical Society – Notices of the AMS. May 1, 2008. pp. 560–571. Retrieved January 7, 2023.
- ↑ "Martin Davis | Department of Mathematics at University of California Berkeley". math.berkeley.edu. Retrieved January 8, 2023.
- ↑ 7.0 7.1 7.2 कम्प्यूटेबिलिटी, कम्प्यूटेशनल लॉजिक और मैथमेटिकल फाउंडेशन पर मार्टिन डेविस. Outstanding Contributions to Logic. Vol. 10. 2016. doi:10.1007/978-3-319-41842-1. ISBN 978-3-319-41841-4.
- ↑ "Computer Science – University of Texas CS395T, Spring 2011" (PDF).
- ↑ "Davis–Putnam algorithm". hellenicaworld.com. Retrieved January 8, 2023.
- ↑ "DPLL algorithm – Learning Logic for Computer Science". logic4free.informatik.uni-kiel.de. Retrieved January 8, 2023.
- ↑ कम्प्यूटेबिलिटी, कम्प्यूटेशनल लॉजिक और मैथमेटिकल फाउंडेशन पर मार्टिन डेविस. Outstanding Contributions to Logic. Vol. 10. 2016. doi:10.1007/978-3-319-41842-1. ISBN 978-3-319-41841-4.
- ↑ "हमारे बुकशेल्फ़ पर नए और उल्लेखनीय शीर्षक" (PDF). American Mathematical Society - Notices of the AMS. December 1, 2017. p. 1327. Retrieved January 7, 2023.
- ↑ Davis, Martin (1973). "हिल्बर्ट की दसवीं समस्या अघुलनशील है". Amer. Math. Monthly. 80 (3): 233–269. doi:10.2307/2318447. JSTOR 2318447.
- ↑ Davis, Martin; Hersh, Reuben (1973). "हिल्बर्ट की 10वीं समस्या". Scientific American. Springer Science and Business Media LLC. 229 (5): 84–91. Bibcode:1973SciAm.229e..84D. doi:10.1038/scientificamerican1173-84. ISSN 0036-8733.
- ↑ List of Fellows of the American Mathematical Society. Retrieved March 17, 2014.
- ↑ Omodeo, E. G., & Policriti, A., eds., Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Berlin/Heidelberg: Springer, 2016), p. 8.
- ↑ "मार्टिन डेविड डेविस". Harris Funeral Home. Retrieved January 4, 2023.
- ↑ "मार्टिन और वर्जीनिया डेविस को याद करते हुए". Retrieved January 8, 2023.
बाहरी संबंध
- No URL found. Please specify a URL here or add one to Wikidata.
- Celebrating Emil Post & His "Intractable Problem" of Tag: 100 Years Later on YouTube, including contributions by Martin Davis (from 1 hour 39 minutes in the recording)
- Martin Davis: Universality is Ubiquitous (Princeton Academics) on YouTube
- Templates that generate short descriptions
- Use American English from January 2023
- Use mdy dates from January 2023
- Official website missing URL
- Collapse templates
- Navigational boxes
- Navigational boxes without horizontal lists
- Sidebars with styles needing conversion
- Templates generating microformats
- Templates that are not mobile friendly
- Wikipedia metatemplates
- 1928 जन्म
- 2023 मौतें
- 20 वीं सदी के अमेरिकी यहूदी
- 20वीं सदी के अमेरिकी गणितज्ञ
- 21 वीं सदी के अमेरिकी यहूदी
- 21वीं सदी के अमेरिकी गणितज्ञ
- अमेरिकी तर्कशास्त्री
- पोलिश-यहूदी वंश के अमेरिकी लोग
- कुरेंट इंस्टीट्यूट ऑफ मैथमैटिकल साइंसेज फैकल्टी
- अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज के फैलो
- अमेरिकन मैथमेटिकल सोसायटी के अध्येता
- इंस्टीट्यूट फॉर एडवांस्ड स्टडी विजिटिंग स्कॉलर्स
- न्यूयॉर्क विश्वविद्यालय के संकाय
- संख्या सिद्धांतकार
- प्रिंसटन विश्वविद्यालय के पूर्व छात्र
- ब्रोंक्स के वैज्ञानिक
- Machine Translated Page
- Created On 31/05/2023