Artyomov, Sergey Nikolaevich (matemático)
La versión estable se desprotegió el 2 de junio de 2022 . Hay cambios no verificados en plantillas o .| Artyomov Serguéi Nikoláyevich | |
|---|---|
| Fecha de nacimiento | 25 de diciembre de 1951 (70 años) |
| Lugar de nacimiento |
|
| País | |
| Lugar de trabajo | Universidad Estatal de Moscú , MIAN , IPU RAS |
| alma mater | Universidad estatal de Moscú |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas |
| consejero científico | Andrey Nikolaevich Kolmogorov , Dragalin, Albert [1] y Andrey Andreyevich Markov [1] |
| Sitio web | sartemov.ws.gc.cuny.edu |
Sergei Nikolaevich Artyomov (nacido en 1951 ) es un científico soviético, doctor en ciencias físicas y matemáticas, profesor.
Científico en el campo de la lógica matemática y sus aplicaciones. Actualmente es profesor en el Centro de Graduados de la Universidad de la Ciudad de Nueva York , donde es el fundador y director del Laboratorio de Investigación de Lógica y Computación. [2] [3] Autor de numerosas obras. [cuatro]
Biografía
Nacido el 25 de diciembre de 1951 en la ciudad de Uralsk, RSS de Kazajstán, en la familia de Nikolai y Raisa Artyomov.
En 1975 se graduó con honores en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú. En 1980 defendió su tesis doctoral sobre "Extensiones de teorías axiomáticas mediante afirmaciones del tipo de consistencia y las lógicas modales correspondientes" [6] , en 1989 - su tesis doctoral sobre "Cuestiones de axiomatizabilidad y completitud de modal lógicas de demostrabilidad" [7] . Su principal maestro fue Andrey Nikolaevich Kolmogorov .
De 1978 a 1980, Artyomov fue investigador en el Instituto de Problemas de Control . Desde 1980, trabajó como asistente de investigación en el Instituto Matemático Steklov , donde defendió su tesis doctoral. Ha enseñado en el Departamento de Matemáticas de la Universidad de Moscú desde 1984, convirtiéndose en profesor en 1993, así como en el fundador y director del Laboratorio de Problemas Lógicos de Informática (1994). Profesor del Departamento de Lógica Matemática y Teoría de Algoritmos desde el 25 de octubre de 1995. [8] Impartió los cursos "Introducción a la Lógica Matemática", "Lógica Matemática", "Lógica de las Pruebas".
De 1996 a 2001, Sergei Artyomov se desempeñó como profesor de matemáticas e informática en la Universidad de Cornell , y desde 2001 ha sido Profesor Distinguido en el Centro de Graduados de la Universidad de la Ciudad de Nueva York, especializándose en informática y matemáticas. También ha ocupado cargos como profesor visitante en la Universidad de Stanford y en las universidades de Ámsterdam, Berna, Siena y otros centros académicos.
A partir de 2015, bajo la dirección del profesor S. N. Artyomov, se han formado 27 candidatos de ciencias.
Notas
- ↑ 1 2 Genealogía matemática (inglés) - 1997.
- ↑ Informática . www.gc.cuny.edu . Consultado el 25 de abril de 2022. Archivado desde el original el 30 de enero de 2022.
- ↑ TABLERO DE ANUNCIOS . The New York Times (27 de junio de 2001). Consultado el 15 de febrero de 2021. Archivado desde el original el 25 de abril de 2022.
- ↑ ARTEMOV SERGEY NIKOLAEVICH
- ↑ Disertación del candidato de ciencias físicas y matemáticas
- ↑ Disertación de Doctor en Ciencias Físicas y Matemáticas
- ↑ Artemov Sergey Nikolaevich . Consultado el 25 de abril de 2022. Archivado desde el original el 25 de abril de 2022.
Enlaces
 sitios temáticos | |
|---|---|
| En catálogos bibliográficos |