Sergei N. Artemov
सर्गेई निकोलेविच आर्टेमोव (सर्गेई निकोलेविच आर्टेमोव) (जन्म 25 दिसंबर, 1951) तर्क और इसके अनुप्रयोगों में एक रूसी-अमेरिकी शोधकर्ता हैं। वे वर्तमान में न्यूयॉर्क शहर विश्वविद्यालय के स्नातक केंद्र में विशिष्ट प्रोफेसर का खिताब रखते हैं, जहाँ वे तर्क और गणना के लिए इसकी शोध प्रयोगशाला के संस्थापक और प्रमुख हैं। उनके शोध हितों में कंप्यूटर विज्ञान में प्रमाण सिद्धांत और तर्क, इष्टतम नियंत्रण और संकर प्रणालियाँ, स्वचालित कटौती और सत्यापन, ज्ञानमीमांसा और महामारी खेल सिद्धांत शामिल हैं। उन्हें प्रमाणों और औचित्य के तर्क के आविष्कार के लिए जाना जाता है। शोध प्रमाण सिद्धांत के क्षेत्र में, आर्टेमोव ने प्रथम क्रम प्रोवेबिलिटी लॉजिक (1985) के लिए एक पूर्ण स्वयंसिद्ध प्रणाली खोजने की असंभवता को स्थापित किया और प्रमाणों के तर्क के अध्ययन का बीड़ा उठाया। उनकी प्रमुख उपलब्धियों में एक समस्या का समाधान शामिल है जिस पर 1930 के दशक में गोडेल द्वारा चर्चा की गई थीः आर्टेमोव ने मोडल तर्क के लिए एक प्रोवेबिलिटी शब्दार्थ प्रदान किया जो अंतर्ज्ञानी तर्क (1995) के लिए ब्रोवर-हेटिंग-कोल्मोगोरोव प्रोवेबिलिटी शब्दार्थ के औपचारिकरण के रूप में भी कार्य करता है। बाद में उन्होंने औचित्य का एक सामान्य तार्किक सिद्धांत प्रस्तुत किया जो महामारी तर्क (2007-2008) के लिए एक नई, साक्ष्य-आधारित नींव प्रदान करता है। प्लेटो के बाद से औचित्य की धारणा महामारी के अध्ययन का एक आवश्यक तत्व रहा है, लेकिन आर्टेमोव के काम से पहले, ज्ञान के तार्किक मॉडल में स्पष्ट रूप से अनुपस्थित था। आर्टेमोव ने स्टैनफोर्ड विश्वविद्यालय और कॉर्नेल विश्वविद्यालय के शोधकर्ताओं के साथ मिलकर गतिशील स्थलवैज्ञानिक तर्क (1997) का अध्ययन शुरू किया, जो तब से नियंत्रण सिद्धांत में अनुप्रयोगों के साथ एक सक्रिय शोध क्षेत्र बन गया है। महामारी खेल सिद्धांत में, उन्होंने तर्कसंगतता (2009) के लिए एक नए, ज्ञान-आधारित दृष्टिकोण की पेशकश की है; यह वर्तमान में प्रगति पर है। जीवनी सर्गेई आर्टेमोव का जन्म 1951 में यू. एस. एस. आर., अब कजाकिस्तान के उराल्स्क में निकोलाई और रायसा आर्टेमोव के घर हुआ था, जो क्रमशः एक वरिष्ठ इंजीनियर और एक तकनीकी कॉलेज के प्रबंधक थे। उन्होंने 1975 में मास्को विश्वविद्यालय से ऑनर्स के साथ स्नातक की उपाधि प्राप्त की और 1980 में गणित में पीएचडी की उपाधि प्राप्त की। मास्को विश्वविद्यालय में उनके मार्गदर्शक आंद्रेई निकोलेविच कोल्मोगोरोव थे, जिन्हें 20वीं शताब्दी के महानतम गणितविदों में से एक माना जाता है। आर्टेमोव शैक्षणिक जीवन में मॉस्को में नियंत्रण विज्ञान संस्थान में एक शोधकर्ता थे और 1980 से स्टेक्लोव गणितीय संस्थान (मॉस्को) में एक शोधकर्ता रहे हैं, जहाँ उन्होंने 1988 में अपनी डॉक्टर ऑफ साइंसेज की डिग्री पूरी की। वह 1984 से मास्को विश्वविद्यालय के गणित विभाग में एक संकाय सदस्य भी रहे हैं, एक पूर्ण प्रोफेसर (1993) के साथ-साथ कंप्यूटर विज्ञान (1994) में तार्किक समस्याओं की एक प्रयोगशाला के संस्थापक और प्रमुख बन गए हैं। आर्टेमोव इस क्षेत्र के कई प्रमुख आउटलेट्स के संपादक रहे हैं, जिनमें एनल्स ऑफ प्योर एंड एप्लाइड लॉजिक और मोनोग्राफ श्रृंखला स्टडीज इन लॉजिक एंड फाउंडेशन ऑफ मैथमेटिक्स शामिल हैं। 1996-2001 से वे कॉर्नेल विश्वविद्यालय में गणित और कंप्यूटर विज्ञान के प्रोफेसर थे और 2001 से कंप्यूटर विज्ञान, गणित और दर्शन में संबद्धता के साथ न्यूयॉर्क शहर विश्वविद्यालय के स्नातक केंद्र में एक प्रतिष्ठित प्रोफेसर रहे हैं। उन्होंने स्टैनफोर्ड विश्वविद्यालय, एम्स्टर्डम, बर्न और सिएना विश्वविद्यालयों और अन्य शैक्षणिक केंद्रों में अतिथि संकाय पदों पर भी कार्य किया है। 2015 तक, प्रोफेसर आर्टेमोव ने 27 पीएच. डी. शोध प्रबंधों की देखरेख की है। उत्कृष्ट वैज्ञानिक के लिए पुरस्कार रूसी राष्ट्रपति फैलोशिप, 1994 स्पिनोज़ा व्याख्यान, यूरोपीय तर्क, भाषा और सूचना संघ, 1999 क्लिफोर्ड व्याख्यान, 2002 कंप्यूटर विज्ञान में विशिष्ट व्याख्यान, न्यूयॉर्क विज्ञान अकादमी, 2002 कर्ट गोएडेल सोसाइटी के लिए गाला व्याख्यान, फेस्टाल राथौस वियना, 2003 चयनित ग्रंथ सूची सार सारांश संदर्भ बाहरी लिंक सर्गेई एन. आर्टेमोव का व्यक्तिगत वेबपृष्ठः http://web.cs.gc.cuny.edu ~ गणित वंशावली परियोजना में सारतेमोव सर्गेई एन. आर्टेमोवः http://genealogy.math.ndsu.nodak.edu/id.php?id=83475 50 वें जन्मदिन का लेखः http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html 60 वें जन्मदिन का लेखः http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf?_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607bdb05653d6d0505e826e99713e 1951 जीवित लोग 20 वीं शताब्दी के अमेरिकी गणितशास्त्री 21 वें -