Artyomov, Sergey Nikolaevich (matematik)

Stabilní verze byla zkontrolována 2. června 2022 . Existují neověřené změny v šablonách nebo .
Arťomov Sergej Nikolajevič
Datum narození 25. prosince 1951( 1951-12-25 ) (70 let)
Místo narození
Země
Místo výkonu práce Moskevská státní univerzita , MIAN , IPU RAS
Alma mater Moskevská státní univerzita
Akademický titul Doktor fyzikálních a matematických věd
vědecký poradce Andrey Nikolaevich Kolmogorov , Dragalin, Albert [1] a Andrey Andreyevich Markov [1]
webová stránka sartemov.ws.gc.cuny.edu

Sergej Nikolajevič Arťomov (narozen 1951 ) je sovětský vědec, doktor fyzikálních a matematických věd, profesor.

Vědec v oboru matematické logiky a jejích aplikací. V současné době je profesorem na Graduate Center na City University of New York , kde je zakladatelem a ředitelem Logic and Computation Research Laboratory. [2] [3] Autor mnoha děl. [čtyři]

Životopis

Narozen 25. prosince 1951 ve městě Uralsk, Kazašská SSR, v rodině Nikolaje a Raisy Arťomovových.

V roce 1975 promoval s vyznamenáním na Fakultě mechaniky a matematiky Moskevské státní univerzity. V roce 1980 obhájil doktorskou práci na téma "Rozšíření axiomatických teorií o tvrzení konzistenčního typu a odpovídající modální logiky" [6] , v roce 1989 doktorskou práci na téma "Otázky axiomatizability a úplnosti modálních logiky dokazatelnosti“ [7] . Jeho hlavním učitelem byl Andrej Nikolajevič Kolmogorov .

Od roku 1978 do roku 1980 byl Arťomov vědeckým pracovníkem Institutu pro problémy kontroly . Od roku 1980 působil jako odborný asistent na Matematickém ústavu Steklov , kde obhájil doktorskou disertační práci. Od roku 1984 vyučuje na katedře matematiky Moskevské univerzity, profesorem se stal v roce 1993 a také zakladatelem a vedoucím Laboratoře logických problémů informatiky (1994). Profesor na katedře matematické logiky a teorie algoritmů od 25. října 1995. [8] Vyučoval předměty "Úvod do matematické logiky", "Matematická logika", "Logika důkazů".

Od roku 1996 do roku 2001 působil Sergej Arťomov jako profesor matematiky a informatiky na Cornell University a od roku 2001 je významným profesorem na Graduate Center City University of New York se specializací na informatiku a matematiku. Působil také jako hostující profesorské pozice na Stanfordské univerzitě a na univerzitách v Amsterdamu, Bernu, Sieně a dalších akademických centrech.

K roku 2015 bylo pod vedením profesora S. N. Artyomova vyškoleno 27 kandidátů věd.

Poznámky

  1. ↑ 1 2 Matematická genealogie  (anglicky) - 1997.
  2. ↑ Informatika . www.gc.cuny.edu . Získáno 25. dubna 2022. Archivováno z originálu dne 30. ledna 2022.
  3. ↑ BULLETIN BOARD . The New York Times (27. června 2001). Získáno 15. února 2021. Archivováno z originálu dne 25. dubna 2022.
  4. ↑ ARTEMOV Sergey NIKOLAEVICH
  5. ↑ Disertační práce kandidáta fyzikálních a matematických věd
  6. ↑ Disertační práce doktora fyzikálních a matematických věd
  7. ↑ Artěmov Sergej Nikolajevič . Získáno 25. dubna 2022. Archivováno z originálu dne 25. dubna 2022.

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
V bibliografických katalozích