Sergei Nikolaevich Artemov ( ruso : Сергей Николаевич Артемов) (nacido el 25 de diciembre de 1951) es un investigador ruso-estadounidense en lógica y sus aplicaciones. Actualmente tiene el título de Profesor Distinguido [1] en el Graduate Center de la City University of New 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 teoría y lógica de la prueba en ciencias de la computación , control óptimo y sistemas híbridos , deducción y verificación automatizadas ,epistemología y teoría de juegos epistémica. Es más conocido por su invención de lógicas de pruebas y justificaciones.
Sergei Nikolaevich Artemov (ruso: Сергей Николаевич Артемов) | |
---|---|
Nació | |
alma mater | Ph.D 1980 Universidad de Moscú , D.Sc. 1988 Instituto de Matemáticas Steklov |
Carrera científica | |
Campos | Ciencias de la Computación Filosofía de las Matemáticas |
Instituciones | City University of New York, Graduate Center Universidad de Cornell Universidad de Moscú Steklov Mathematical Institute |
Asesor de doctorado | Andrei Nikolayevich Kolmogorov |
Investigar
En el área de la teoría de la prueba, Artemov estableció la imposibilidad de encontrar un sistema de axiomas completo para la lógica de probabilidad 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 una 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 de la obra de Artemov estaba notoriamente ausente en los modelos lógicos de conocimiento. Artemov, junto con investigadores de Stanford y 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 de control. En teoría de juegos epistémicos, ha ofrecido un nuevo enfoque de la racionalidad basado en el conocimiento (2009); esto es actualmente un trabajo en progreso.
Biografía
Sergei Artemov nació en Uralsk , URSS , ahora Kazajstán , en 1951 de Nikolai y Raisa Artemov, respectivamente un ingeniero superior y el director de una escuela técnica. Se graduó con honores de la Universidad de Moscú en 1975, y luego obtuvo su doctorado. en Matemáticas en 1980. Su mentor en la Universidad de Moscú fue Andrei Nikolaevich Kolmogorov , [5] considerado uno de los más grandes matemáticos del siglo XX. [ cita requerida ]
Carrera académica
Artemov fue investigador en el Instituto de Ciencias de Control en Moscú de 1978 a 1980 y desde 1980 ha sido investigador en el Instituto de Matemáticas Steklov (Moscú) donde, en 1988, completó su título de Doctor 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 ciencias de la computación (1994). Artemov ha sido editor de varios medios líderes en esta área, incluidos 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 e informática en la Universidad de Cornell y desde 2001 ha sido profesor distinguido en el Graduate Center de la City University de Nueva York con afiliaciones en informática, matemáticas y filosofía. [1] [2] También ha ocupado puestos de profesores visitantes en la Universidad de Stanford, las Universidades de Amsterdam , Berna y Siena , y otros centros académicos.
A partir de 2015, el profesor Artemov ha supervisado 27 Ph.D. disertaciones.
Premios
Beca presidencial rusa para científico destacado, 1994
Conferencia Spinoza, Asociación Europea de Lógica, Lenguaje e Información , 1999 [6]
Conferencias Clifford, 2002 [7]
Conferencia Distinguida en Ciencias de la Computación, Academia de Ciencias de Nueva York, 2002
Conferencia de gala para Kurt Sociedad Goedel, Festsaal Rathaus Viena, 2003 [8]
Bibliografía seleccionada
1. S. Artemov y M. Fitting. "Lógica de la justificación". The Stanford Encyclopedia of Philosophy (edición de otoño de 2011), Edward N. Zalta (ed.), URL = < http://plato.stanford.edu/archives/fall2011/entries/logic-justification/ >
2. S. Artemov. "La lógica de la justificación". La revisión de la lógica simbólica. v. 1, núm. 4, págs. 477–513, 2008. (Resumen: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art08RSL )
3. S. Artemov. "Epistemología: 5 preguntas". Vincent F. Hendricks y Duncan Pritchard, eds. Automatic Press / VIP 2008, págs. 11-19, 2008. ( ISBN 8792130070 )
4. S. Artemov. "Conocimiento común justificado". Informática teórica , v. 357, págs. 4–22, 2006. (Resumen: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art06TCS )
5. S. Artemov y E. Nogina. "Introduciendo la justificación en la lógica epistémica". Revista de Lógica y Computación. Oxford University Press, v. 15, núm. 6, págs. 1059–1073, 2005. (Resumen: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#ArtNog05JLC )
6. S. Artemov. "Probabilidad explícita y semántica constructiva". The Bulletin of Symbolic Logic, v. 7, No.1, pp. 1-36, 2001. (Resumen: http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art01BSL , artículo completo también disponible como un archivo ps en este enlace).
7. S. Artemov, J. Davoren y A. Nerode. "Lógica modal y semántica topológica para sistemas híbridos". Technical Report MSI 97-05, Cornell University, 1997. (Texto completo disponible como archivo ps en http://www.cs.cornell.edu/Info/People/artemov/publ.html )
8. S. Artemov. "Lógica modal operativa". Technical Report MSI 95-29, Cornell University, 1995. (Texto completo disponible como archivo ps en http://www.cs.cornell.edu/Info/People/artemov/publ.html )
9. S. Artemov. "Lógica de las pruebas". Annals of Pure and Applied Logic, v. 67, núm. 2, págs. 29–59, 1994.
10. S. Artemov. "No aritmética de la verdad predicada lógica de demostrabilidad". Matemáticas soviéticas Doklady, v. 32, núm. 2, págs. 403–405, 1985.
Referencias
- ^ a b [1] [ enlace muerto ]
- ^ a b [2] [ enlace muerto ]
- ^ "Ciencias de la Computación" . www.gc.cuny.edu .
- ^ "BOLETÍN" . The New York Times . 2001-06-27 . Consultado el 15 de febrero de 2021 .
- ^ "Sergei Artemov - El proyecto de genealogía de las matemáticas" . Genealogy.math.ndsu.nodak.edu . Consultado el 15 de febrero de 2021 .
- ^ "Noticias | Departamento de Matemáticas Artes y Ciencias de Cornell" (PDF) . math.cornell.edu .
- ^ "Anuncio de conferencias de Clifford" . dauns.math.tulane.edu .
- ^ "CSL / KGC'03 - Sergei Artemov: Regreso al futuro: lógica explícita para la informática" . www.logic.at .
enlaces externos
- Página web personal de Sergei N. Artemov: http://web.cs.gc.cuny.edu/~sartemov
- Sergei N. Artemov en el Proyecto de genealogía matemática: http://genealogy.math.ndsu.nodak.edu/id.php?id=83475
- Artículo del 50 aniversario: http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html
- Artículo del 60 cumpleaños: http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf?_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607d6d26e0565513