Artyomov, Serghei Nikolaevici (matematician)

Versiunea stabilă a fost verificată pe 2 iunie 2022 . Există modificări neverificate în șabloane sau .
Artyomov Serghei Nikolaevici
Data nașterii 25 decembrie 1951( 25.12.1951 ) (70 de ani)
Locul nașterii
Țară
Loc de munca Universitatea de Stat din Moscova , MIAN , IPU RAS
Alma Mater Universitatea de Stat din Moscova
Grad academic Doctor în Științe Fizice și Matematice
consilier științific Andrey Nikolaevich Kolmogorov , Dragalin, Albert [1] și Andrey Andreyevich Markov [1]
Site-ul web sartemov.ws.gc.cuny.edu

Serghei Nikolaevici Artyomov (născut în 1951 ) este un om de știință sovietic, doctor în științe fizice și matematice, profesor.

Om de știință în domeniul logicii matematice și al aplicațiilor sale. În prezent, este profesor la Graduate Center de la Universitatea City din New York , unde este fondatorul și directorul Laboratorului de Cercetare în Logică și Calcul. [2] [3] Autor al multor lucrări. [patru]

Biografie

Născut la 25 decembrie 1951 în orașul Uralsk, RSS Kazah, în familia lui Nikolai și Raisa Artyomov.

În 1975 a absolvit cu onoare Facultatea de Mecanică și Matematică a Universității de Stat din Moscova. În 1980 și-a susținut teza de doctorat cu tema „Extensii ale teoriilor axiomatice prin aserțiuni de tip consistență și logicii modale corespunzătoare” [6] , în 1989 - teza de doctorat cu tema „Întrebări de axiomatizare și completitudine a modalului”. logici de demonstrabilitate” [7] . Profesorul său principal a fost Andrey Nikolaevich Kolmogorov .

Din 1978 până în 1980, Artyomov a fost cercetător la Institutul pentru Probleme de Control . Din 1980, a lucrat ca asistent de cercetare la Institutul de Matematică Steklov , unde și-a susținut teza de doctorat. A predat la Departamentul de Matematică al Universității din Moscova din 1984, devenind profesor în 1993, precum și fondator și șef al Laboratorului de Probleme Logice de Informatică (1994). Profesor la Departamentul de Logica Matematică și Teoria Algoritmilor din 25 octombrie 1995. [8] A predat cursurile „Introducere în logica matematică”, „Logica matematică”, „Logica demonstrațiilor”.

Din 1996 până în 2001, Serghei Artyomov a fost profesor de matematică și informatică la Universitatea Cornell , iar din 2001 este profesor distins la Graduate Center al Universității City din New York, specializat în informatică și matematică. De asemenea, a ocupat funcții de facultate în vizită la Universitatea Stanford și la universitățile din Amsterdam, Berna, Siena și alte centre academice.

Începând cu 2015, sub îndrumarea profesorului S. N. Artyomov, au fost pregătiți 27 de candidați la științe.

Note

  1. ↑ 1 2 Genealogie matematică  (engleză) - 1997.
  2. ↑ Informatică . www.gc.cuny.edu . Preluat la 25 aprilie 2022. Arhivat din original la 30 ianuarie 2022.
  3. ↑ BULETIN . The New York Times (27 iunie 2001). Preluat la 15 februarie 2021. Arhivat din original la 25 aprilie 2022.
  4. ↑ ARTEMOV SERGEY NIKOLAEVICH
  5. ↑ Disertație a candidatului la științe fizice și matematice
  6. ↑ Teza de doctor în științe fizice și matematice
  7. ↑ Artemov Serghei Nikolaevici . Preluat la 25 aprilie 2022. Arhivat din original la 25 aprilie 2022.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
În cataloagele bibliografice