Sergei N. Artemov - Sergei N. Artemov

Sergei Nikolaevich Artemov (Rusça: protectей Николаевич Артемов)
Doğum (1951-12-25) 25 Aralık 1951 (yaş 68)
gidilen okulDoktora 1980 Moskova Üniversitesi,
D.Sc. 1988 Steklov Matematik Enstitüsü
Bilimsel kariyer
AlanlarBilgisayar Bilimi
Matematik
Felsefe
KurumlarNew York City Üniversitesi, Lisansüstü Merkezi
Cornell Üniversitesi
Moskova Üniversitesi
Steklov Matematik Enstitüsü
Doktora danışmanıAndrei Nikolayevich Kolmogorov

Sergei Nikolaevich Artemov (Rusça (25 Aralık 1951 doğumlu), İspanyol-Amerikan araştırmacı mantık ve uygulamaları. Halen Seçkin Profesör unvanına sahiptir.[1] -de Lisansüstü Merkezi of New York Şehir Üniversitesi[2] burada mantık ve hesaplama araştırma laboratuvarının kurucusu ve başkanıdır.[3][4] Araştırma ilgi alanları arasında kanıt teorisi ve bilgisayar biliminde mantık, optimal kontrol ve hibrit sistemler, otomatik kesinti ve doğrulama, epistemoloji ve epistemik oyun teorisi. En çok kanıt mantığı ve gerekçelendirme icadı ile tanınır.

Araştırma

İspat teorisi alanında Artemov, tam bir aksiyom sistemi bulmanın imkansızlığını ortaya koydu. birinci derece kanıtlanabilirlik mantığı (1985) ve ispat mantığı çalışmalarına öncülük etmiştir. Başlıca başarıları arasında Gödel tarafından 1930'larda tartışılan bir sorunun çözümü yer alıyor: Artemov, modal mantık için, aynı zamanda bir biçimselleştirme işlevi gören bir kanıtlanabilirlik semantiği sağladı. Brouwer – Heyting – Kolmogorov kanıtlanabilirlik semantiği sezgisel mantık (1995). Daha sonra, yeni, kanıta dayalı bir temel oluşturan genel bir mantıksal gerekçelendirme teorisi sundu. epistemik mantık (2007–2008). Gerekçelendirme kavramı, epistemik çalışmaların temel bir unsuru olmuştur. Platon ancak Artemov'un çalışmasından önce mantıksal bilgi modellerinde bariz bir şekilde yoktu. Artemov, araştırmacılar ile birlikte Stanford ve Cornell, o zamandan beri kontrol teorisindeki uygulamalarla aktif bir araştırma alanı haline gelen dinamik topolojik mantık (1997) çalışmalarını başlattı. Epistemik oyun teorisinde, rasyonaliteye yeni, bilgiye dayalı bir yaklaşım sundu (2009); bu şu anda devam eden bir çalışmadır.

Biyografi

Sergei Artemov doğdu Uralsk, SSCB şimdi Kazakistan, 1951'de sırasıyla kıdemli mühendis ve teknik kolej müdürü olan Nikolai ve Raisa Artemov'a. O mezun oldu Moskova Üniversitesi 1975'te onurla, Doktora Matematik Doktorası, 1980'de. Moskova Üniversitesi'ndeki danışmanı Andrei Nikolaevich Kolmogorov,[5] 20. yüzyılın en büyük matematikçilerinden biri olarak kabul edildi.[kaynak belirtilmeli ]

Akademik kariyer

Artemov, 1978-1980 yılları arasında Moskova'daki Kontrol Bilimleri Enstitüsü'nde araştırmacıydı ve 1980'den beri Steklov Matematik Enstitüsü (Moskova) 1988'de burada Bilimler Doktoru derece. Ayrıca, 1984'ten beri Moskova Üniversitesi matematik bölümünde öğretim üyesidir, tam profesör (1993) ve bilgisayar bilimlerinde mantıksal problemler laboratuvarının kurucusu ve başkanıdır (1994). Artemov, Annals of Pure and Applied Logic ve Studies in Logic and Foundations of Mathematics dahil olmak üzere bu alandaki birçok önde gelen kuruluşun editörüdür. 1996-2001 yılları arasında Cornell Üniversitesi'nde matematik ve bilgisayar bilimi profesörüydü ve 2001'den beri New York Şehir Üniversitesi Lisansüstü Merkezi'nde bilgisayar bilimi, matematik ve felsefe bağlantıları olan bir Seçkin Profesördür.[6][7] Ayrıca Stanford Üniversitesi, Üniversiteler'de misafir fakülte pozisyonlarında bulundu. Amsterdam, Bern, ve Siena ve diğer akademik merkezler.

2015 itibariyle, Profesör Artemov 27 Doktora'yı yönetti. tezler.

Ödüller

Rusya Başkanlık Üstün Bilim İnsanı Bursu, 1994
Spinoza Dersi, Avrupa Mantık, Dil ve Bilgi Derneği, 1999[8]
Clifford Dersleri, 2002 [9]
Bilgisayar Bilimlerinde Seçkin Ders, New York Bilimler Akademisi, 2002
Kurt Goedel Derneği için gala konferansı, Festsaal Rathaus Viyana, 2003[10]

Seçilmiş kaynakça

1. S. Artemov ve M. Fitting. "Gerekçe Mantığı." Stanford Encyclopedia of Philosophy (Sonbahar 2011 Baskısı), Edward N. Zalta (ed.), URL = <http://plato.stanford.edu/archives/fall2011/entries/logic-justification/ >

2. S. Artemov. "Gerekçenin Mantığı." Sembolik Mantığın Gözden Geçirilmesi. v. 1, No. 4, s. 477–513, 2008. (Özet: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art08RSL )

3. S. Artemov. "Epistemoloji: 5 Soru." Vincent F. Hendricks ve Duncan Pritchard, editörler. Otomatik Basın / VIP 2008, s. 11–19, 2008. (ISBN  8792130070)

4. S. Artemov. "Haklı ortak bilgi." Teorik Bilgisayar Bilimleri, cilt 357, s. 4–22, 2006. (Özet: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art06TCS )

5. S. Artemov ve E. Nogina. "Epistemik mantığa gerekçelendirme getirme." Mantık ve Hesaplama Dergisi. Oxford University Press, cilt 15, No. 6, s. 1059–1073, 2005. (Özet: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#ArtNog05JLC )

6. S. Artemov. "Açık kanıtlanabilirlik ve yapıcı anlambilim." The Bulletin of Symbolic Logic, cilt 7, No. 1, ss. 1–36, 2001. (Özet: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art01BSL, tam makale ayrıca bir ps Bu bağlantıdaki dosya.)

7. S. Artemov, J. Davoren ve A. Nerode. "Hibrit Sistemler için modal mantık ve topolojik anlambilim." Teknik Rapor MSI 97-05, Cornell Üniversitesi, 1997. (Tam metin bir ps dosya http://www.cs.cornell.edu/Info/People/artemov/publ.html )

8. S. Artemov. "İşlemsel modal mantık." Teknik Rapor MSI 95-29, Cornell Üniversitesi, 1995. (Tam metin bir ps dosya http://www.cs.cornell.edu/Info/People/artemov/publ.html )

9. S. Artemov. "Kanıtların Mantığı." Annals of Pure and Applied Logic, cilt 67, No. 2, s. 29–59, 1994.

10. S. Artemov. "Gerçeğin aritmetik olmaması, kanıtlanabilirliğin mantığını ifade eder." Sovyet Matematik Doklady, cilt 32, No. 2, s. 403–405, 1985.

Referanslar

Dış bağlantılar