Sergei N. Artemov
سرگئی نیکولیویچ آرٹیموف (سرگئی نیکولیویچ آرٹیموف) (پیدائش 25 دسمبر 1951) منطق اور اس کے اطلاق میں ایک روسی-امریکی محقق ہیں۔ وہ فی الحال نیویارک کی سٹی یونیورسٹی کے گریجویٹ سینٹر میں ممتاز پروفیسر کا خطاب رکھتے ہیں جہاں وہ منطق اور کمپیوٹیشن کے لیے اس کی تحقیقی لیبارٹری کے بانی اور سربراہ ہیں۔ ان کے تحقیقی مفادات میں کمپیوٹر سائنس میں پروف تھیوری اور منطق، بہترین کنٹرول اور ہائبرڈ سسٹم، خودکار کٹوتی اور تصدیق، علمیات، اور علمی گیم تھیوری شامل ہیں۔ وہ ثبوت اور جواز کے منطق کی ایجاد کے لیے مشہور ہیں۔ پروف تھیوری کے شعبے میں، آرٹیموف نے فرسٹ آرڈر پروویبلٹی منطق (1985) کے لیے ایک مکمل محوری نظام تلاش کرنے کی ناممکنیت کو قائم کیا اور ثبوتوں کی منطق کے مطالعے کا آغاز کیا۔ ان کی بڑی کامیابیوں میں ایک ایسے مسئلے کا حل شامل ہے جس پر گوڈل نے 1930 کی دہائی میں تبادلہ خیال کیا تھا: آرٹیموف نے موڈل منطق کے لیے ایک پروویبلٹی سیمنٹکس فراہم کیا جس نے بدیہی منطق (1995) کے لیے بروور-ہیٹنگ-کولموگوروف پروویبلٹی سیمنٹکس کی رسمی شکل کے طور پر بھی کام کیا۔ بعد میں انہوں نے جواز کا ایک عمومی منطقی نظریہ پیش کیا جو علمی منطق (2007-2008) کے لیے ایک نئی، ثبوت پر مبنی بنیاد فراہم کرتا ہے۔ جواز کا تصور افلاطون کے بعد سے علمی مطالعات کا ایک لازمی عنصر رہا ہے، لیکن آرٹیموف کے کام سے پہلے، علم کے منطقی نمونوں میں واضح طور پر غیر حاضر تھا۔ آرٹیموف نے اسٹینفورڈ یونیورسٹی اور کارنیل یونیورسٹی کے محققین کے ساتھ مل کر متحرک ٹپوولوجیکل منطق (1997) کا مطالعہ شروع کیا، جو اس کے بعد سے کنٹرول تھیوری میں ایپلی کیشنز کے ساتھ ایک فعال تحقیقی شعبہ بن گیا ہے۔ علمی گیم تھیوری میں، اس نے عقلیت (2009) کے لیے ایک نیا، علم پر مبنی نقطہ نظر پیش کیا ہے ؛ یہ فی الحال جاری کام ہے۔ سرگئی آرٹیموف 1951 میں یو ایس ایس آر، اب قازقستان میں نیکولائی اور رائسا آرٹیموف کے ہاں پیدا ہوئے، جو بالترتیب ایک سینئر انجینئر اور ایک تکنیکی کالج کے منیجر تھے۔ انہوں نے 1975 میں ماسکو یونیورسٹی سے آنرز کے ساتھ گریجویشن کیا اور 1980 میں ریاضی میں پی ایچ ڈی کی ڈگری حاصل کی۔ ماسکو یونیورسٹی میں ان کے سرپرست آندرے نیکولیویچ کولموگوروف تھے، جنہیں 20 ویں صدی کے عظیم ترین ریاضی دانوں میں شمار کیا جاتا ہے۔ تعلیمی کیریئر آرٹیموف ماسکو کے انسٹی ٹیوٹ آف کنٹرول سائنسز میں 1978-1980 سے محقق تھے اور 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 ویں -