Sergei N. Artemov
সের্গেই নিকোলায়েভিচ আর্টেমভ () (জন্ম ডিসেম্বর 25,1951) যুক্তি এবং এর প্রয়োগের ক্ষেত্রে একজন রাশিয়ান-আমেরিকান গবেষক। তিনি বর্তমানে নিউইয়র্কের সিটি ইউনিভার্সিটির গ্র্যাজুয়েট সেন্টারে বিশিষ্ট অধ্যাপকের খেতাব ধারণ করেছেন যেখানে তিনি যুক্তি ও গণনার জন্য এর গবেষণা পরীক্ষাগারের প্রতিষ্ঠাতা ও প্রধান। তাঁর গবেষণার আগ্রহের মধ্যে রয়েছে কম্পিউটার সায়েন্সে প্রুফ থিওরি এবং লজিক, অপ্টিম্যাল কন্ট্রোল এবং হাইব্রিড সিস্টেম, অটোমেটেড ডিডাকশন এবং ভেরিফিকেশন, এপিস্টেমোলজি এবং এপিস্টেমিক গেম থিওরি। তিনি প্রমাণ এবং ন্যায্যতার যুক্তি উদ্ভাবনের জন্য সবচেয়ে বেশি পরিচিত। গবেষণা প্রমাণ তত্ত্বের ক্ষেত্রে, আর্টেমভ ফার্স্ট-অর্ডার প্রোভেবিলিটি লজিকের (1985) জন্য একটি সম্পূর্ণ স্বতঃসিদ্ধ পদ্ধতি খুঁজে বের করার অসম্ভবতা প্রতিষ্ঠা করেছিলেন এবং প্রমাণের যুক্তি অধ্যয়নের পথপ্রদর্শক ছিলেন। তাঁর প্রধান কৃতিত্বের মধ্যে রয়েছে 1930-এর দশকে গোডেল দ্বারা আলোচিত একটি সমস্যার সমাধানঃ আর্টেমভ মোডাল লজিকের জন্য একটি প্রমাণযোগ্যতা শব্দার্থ প্রদান করেছিলেন যা স্বজ্ঞাত যুক্তির (1995) জন্য ব্রাউয়ার-হেইটিং-কোলমোগোরভ প্রমাণযোগ্যতা শব্দার্থবিজ্ঞানের আনুষ্ঠানিককরণ হিসাবেও কাজ করেছিল। পরে তিনি ন্যায়সঙ্গততার একটি সাধারণ যৌক্তিক তত্ত্ব উপস্থাপন করেন যা জ্ঞানতাত্ত্বিক যুক্তির (2007-2008) জন্য একটি নতুন, প্রমাণ-ভিত্তিক ভিত্তি প্রদান করে। ন্যায্যতার ধারণাটি প্লেটোর সময় থেকে মহামারী অধ্যয়নের একটি অপরিহার্য উপাদান ছিল, তবে আর্টেমভের কাজের আগে, জ্ঞানের যৌক্তিক মডেলগুলিতে সুস্পষ্টভাবে অনুপস্থিত ছিল। আর্টেমভ, স্ট্যানফোর্ড বিশ্ববিদ্যালয় এবং কর্নেল বিশ্ববিদ্যালয়ের গবেষকদের সাথে, গতিশীল টপোলজিকাল লজিক (1997) নিয়ে গবেষণা শুরু করেন, যা তখন থেকে নিয়ন্ত্রণ তত্ত্বের প্রয়োগের সাথে একটি সক্রিয় গবেষণা ক্ষেত্রে পরিণত হয়েছে। মহামারী গেম তত্ত্বে, তিনি যৌক্তিকতার জন্য একটি নতুন, জ্ঞান-ভিত্তিক পদ্ধতির প্রস্তাব দিয়েছেন (2009); এটি বর্তমানে একটি কাজ চলছে। সের্গেই আর্টেমভ 1951 সালে ইউএসএসআর, বর্তমান কাজাখস্তানে নিকোলাই এবং রাইসা আর্টেমভের ঘরে জন্মগ্রহণ করেন, যিনি যথাক্রমে একজন সিনিয়র ইঞ্জিনিয়ার এবং একটি প্রযুক্তিগত কলেজের ম্যানেজার ছিলেন। তিনি 1975 সালে মস্কো বিশ্ববিদ্যালয় থেকে সম্মানসহ স্নাতক হন এবং 1980 সালে গণিতে পিএইচডি অর্জন করেন। মস্কো বিশ্ববিদ্যালয়ে তাঁর পরামর্শদাতা ছিলেন আন্দ্রেই নিকোলায়েভিচ কোলমোগোরভ, যিনি 20 শতকের অন্যতম সেরা গণিতবিদ হিসাবে বিবেচিত হন। আর্টেমভ একাডেমিক কর্মজীবনে মস্কোর ইনস্টিটিউট অফ কন্ট্রোল সায়েন্সেসের গবেষক ছিলেন এবং 1980 সাল থেকে স্টেক্লভ ম্যাথমেটিকাল ইনস্টিটিউটের (মস্কো) গবেষক ছিলেন, যেখানে তিনি 1988 সালে তাঁর ডক্টর অফ সায়েন্সেস ডিগ্রি সম্পন্ন করেন। তিনি 1984 সাল থেকে মস্কো বিশ্ববিদ্যালয়ের গণিত বিভাগের একজন অনুষদ সদস্য, একজন পূর্ণ অধ্যাপক (1993) হওয়ার পাশাপাশি কম্পিউটার বিজ্ঞানের যৌক্তিক সমস্যার একটি পরীক্ষাগারের প্রতিষ্ঠাতা ও প্রধান (1994) হয়েছেন। আর্টেমভ এই ক্ষেত্রের বেশ কয়েকটি শীর্ষস্থানীয় আউটলেটের সম্পাদক ছিলেন, যার মধ্যে রয়েছে অ্যানালস অফ পিওর অ্যান্ড অ্যাপ্লায়েড লজিক এবং মনোগ্রাফ সিরিজ স্টাডিজ ইন লজিক অ্যান্ড ফাউন্ডেশন্স অফ ম্যাথমেটিক্স। আইডি1 থেকে তিনি কর্নেল বিশ্ববিদ্যালয়ের গণিত ও কম্পিউটার বিজ্ঞানের অধ্যাপক ছিলেন এবং 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 জীবিত মানুষ 21 তম শতাব্দীর আমেরিকান গণিতবিদ