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 જન્મ 21મી સદીના જીવંત અમેરિકન ગણિતશાસ્ત્રીઓ