Sergei N. Artemov
செர்ஜி நிக்கலாய்விச் ஆர்டெமோவ் (Sergey Nikolaevich 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://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 ஆம் நூற்றாண்டின் அமெரிக்க கணிதவியலாளர்கள்