Artyomov, Szergej Nyikolajevics (matematikus)

A stabil verziót 2022. június 2-án nézték meg . Ellenőrizetlen változtatások vannak a sablonokban vagy a .
Artyomov Szergej Nyikolajevics
Születési dátum 1951. december 25.( 1951-12-25 ) (70 évesen)
Születési hely
Ország
Munkavégzés helye Moszkvai Állami Egyetem , MIAN , IPU RAS
alma Mater Moszkvai Állami Egyetem
Akadémiai fokozat a fizikai és matematikai tudományok doktora
tudományos tanácsadója Andrej Nyikolajevics Kolmogorov , Dragalin, Albert [1] és Andrej Andrejevics Markov [1]
Weboldal sartemov.ws.gc.cuny.edu

Szergej Nyikolajevics Artyomov (született 1951 ) szovjet tudós, a fizikai és matematikai tudományok doktora, professzor.

Tudós a matematikai logika és alkalmazásai területén. Jelenleg a New York-i City University Graduate Centerének professzora , ahol a Logikai és Számítási Kutatólaboratórium alapítója és igazgatója. [2] [3] Számos mű szerzője. [négy]

Életrajz

1951. december 25-én született Uralszk városában, a kazah SZSZK-ban, Nyikolaj és Raisa Artyomov családjában.

1975-ben kitüntetéssel diplomázott a Moszkvai Állami Egyetem Mechanikai és Matematikai Karán. 1980-ban védte meg Ph.D. értekezését "Az axiomatikus elméletek kiterjesztése a konzisztencia típusú állításokkal és a megfelelő modális logikákkal" [6] , 1989-ben pedig doktori értekezését "A modális axiomatizálhatóságának és teljességének kérdései" címmel. bizonyíthatósági logikák" [7] . Fő tanára Andrej Nyikolajevics Kolmogorov volt .

1978 és 1980 között Artyomov az Irányítási Problémák Intézetének tudományos munkatársa volt . 1980-tól tudományos asszisztensként dolgozott a Steklov Matematikai Intézetben , ahol megvédte doktori disszertációját. 1984 óta tanít a Moszkvai Egyetem Matematika Tanszékén, 1993-tól professzor, valamint az Informatikai Logikai Problémák Laboratóriumának alapítója és vezetője (1994). 1995. október 25-től a Matematikai Logika és Algoritmuselmélet Tanszék professzora. [8] Tanította a „Bevezetés a matematikai logikába”, „Matematikai logika”, „Bizonyítások logikája” kurzusokat.

1996 és 2001 között Szergej Artyomov matematika és számítástechnika professzorként dolgozott a Cornell Egyetemen , 2001 óta pedig a New York-i Városi Egyetem Graduate Centerének kitüntetett professzora, számítástechnikára és matematikára specializálódott. Emellett vendég oktatói pozíciókat töltött be a Stanford Egyetemen , valamint Amszterdam, Bern, Siena egyetemein és más akadémiai központokban.

2015-ig S. N. Artyomov professzor irányításával a tudományok 27 kandidátusát képezték ki.

Jegyzetek

  1. ↑ 1 2 Matematikai genealógia  (angol) - 1997.
  2. ↑ Számítástechnika . www.gc.cuny.edu . Letöltve: 2022. április 25. Az eredetiből archiválva : 2022. január 30.
  3. ↑ KÖZLEMÉNYTÁBLA . The New York Times (2001. június 27.). Letöltve: 2021. február 15. Az eredetiből archiválva : 2022. április 25.
  4. ↑ ARTEMOV SZERGEJ NIKOLAJVICS
  5. ↑ A fizikai és matematikai tudományok kandidátusának disszertációja
  6. ↑ Fizikai és matematikai tudományok doktori értekezése
  7. ↑ Artemov Szergej Nyikolajevics . Letöltve: 2022. április 25. Az eredetiből archiválva : 2022. április 25.

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak
Bibliográfiai katalógusokban