Sergei Nikolaevich Artemov ( en ruso : Сергей Николаевич Артемов ) (nacido el 25 de diciembre de 1951) es un investigador ruso-estadounidense en lógica y sus aplicaciones. Actualmente ostenta el título de Profesor Distinguido [1] en el Centro de Graduados de la City University de Nueva York [2], donde es el fundador y director de su laboratorio de investigación de lógica y computación. [3] [4] Sus intereses de investigación incluyen la teoría de pruebas y la lógica en informática , el control óptimo y los sistemas híbridos , la deducción y verificación automatizadas , la epistemología y la teoría de juegos epistémicos. Es más conocido por su invención de la lógica de pruebas y justificaciones.
En el área de la teoría de la prueba, Artemov estableció la imposibilidad de encontrar un sistema axiomático completo para la lógica de demostrabilidad de primer orden (1985) y ha sido pionero en los estudios de la lógica de las pruebas. Sus principales logros incluyen la solución de un problema que fue discutido por Gödel en la década de 1930: Artemov proporcionó una semántica de demostrabilidad para la lógica modal que también sirvió como formalización de la semántica de demostrabilidad de Brouwer-Heyting-Kolmogorov para la lógica intuicionista (1995). Más tarde ofreció una teoría lógica general de la justificación que proporciona una nueva base basada en la evidencia para la lógica epistémica (2007-2008). La noción de justificación ha sido un elemento esencial de los estudios epistémicos desde Platón , pero, antes del trabajo de Artemov, estaba notoriamente ausente en los modelos lógicos del conocimiento. Artemov, junto con investigadores de la Universidad de Stanford y la Universidad de Cornell , inició estudios de lógica topológica dinámica (1997), que desde entonces se ha convertido en un área de investigación activa con aplicaciones en la teoría del control. En la teoría de juegos epistémica, ha propuesto un nuevo enfoque basado en el conocimiento para la racionalidad (2009); este es actualmente un trabajo en progreso.
Sergei Artemov nació en Uralsk , URSS , hoy Kazajstán , en 1951, hijo de Nikolai y Raisa Artemov, respectivamente ingeniero superior y directora de una escuela técnica. Se graduó con honores en la Universidad de Moscú en 1975 y obtuvo su doctorado en Matemáticas en 1980. Su mentor en la Universidad de Moscú fue Andrei Nikolaevich Kolmogorov , [5] considerado uno de los matemáticos más importantes del siglo XX. [ cita requerida ]
Artemov fue investigador en el Instituto de Ciencias de Control de Moscú entre 1978 y 1980 y desde 1980 ha sido investigador en el Instituto de Matemáticas Steklov (Moscú), donde, en 1988, completó su doctorado en Ciencias . También ha sido miembro de la facultad en el departamento de matemáticas de la Universidad de Moscú desde 1984, convirtiéndose en profesor titular (1993), así como fundador y director de un laboratorio de problemas lógicos en informática (1994). Artemov ha sido editor de varias publicaciones importantes en este área, incluyendo Annals of Pure and Applied Logic y la serie de monografías Studies in Logic and Foundations of Mathematics. De 1996 a 2001 fue profesor de matemáticas y ciencias de la computación 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 con afiliaciones en informática, matemáticas y filosofía. [1] [2] También ha ocupado puestos de profesor visitante en la Universidad de Stanford , las Universidades de Ámsterdam , Berna y Siena , y otros centros académicos.
Hasta 2015, el profesor Artemov dirigió 27 tesis doctorales.