Matemático ruso (1939-2014)
Grigori Mints (7 de junio de 1939 - 29 de mayo de 2014) fue un filósofo y matemático ruso que trabajó en lógica matemática . Nació en Leningrado , en la Unión Soviética (hoy San Petersburgo , Rusia), y recibió su doctorado. en 1965 de la Universidad Estatal de Leningrado con Nikolai Aleksandrovich Shanin con una tesis titulada "Sobre variantes de predicados y operadores para la construcción de teorías de matemáticas constructivas". En 1990 recibió su D.Sc. de la Universidad Estatal de Leningrado con una tesis titulada "Transformaciones de prueba y síntesis de programas". [1] Fue profesor de la Universidad de Stanford . [2] Desde 1991, Grigori "Grisha" Mints era profesor de filosofía y, por cortesía, de matemáticas y de informática en la Universidad de Stanford. Antes de unirse a Stanford, Mints ocupó puestos de investigación en el Instituto de Matemáticas Steklov , la Universidad de Leningrado y la Academia de Ciencias de Estonia .
Considerado uno de los lógicos más distinguidos del mundo, Mints era un apasionado de las aplicaciones de la lógica a la filosofía. Su experiencia estaba en la teoría de la prueba : el análisis de la estructura del razonamiento matemático. Mints fue elegido miembro de la Academia de Ciencias de Estonia en 2008 y de la Academia Estadounidense de Artes y Ciencias en 2010.
Mints fue un miembro muy activo del comité directivo de la serie de talleres WoLLIC sobre lógica y lenguaje, después de haber sido miembro de la comunidad en varias capacidades, como orador invitado, miembro del PC, presidente del PC, presidente del Comité Organizador, editor invitado de actas y números especiales, y miembro del comité directivo.
Publicaciones Seleccionadas
- Mints, G. (2013) Sustitución de Epsilon para lógica de predicados de primer y segundo orden. "Ann. Lógica pura de aplicación" 164 (6): 733-739.
- Mints, G., Olkhovikov, GV, Urquhart, A. (2013) Fallo de la interpolación en la lógica intuicionista de dominio constante. "J. Registro de símbolos". 78(3): 937-950.
- Mints, G. (2013) Método ADC de búsqueda de pruebas para la deducción natural proposicional intuicionista. Aparecer en un "Festsschrift for A. Avron".
- Mints, G. (2012) Eliminación de corte efectiva para un fragmento de cálculo mu modal. "Estudio Lógica" 100(1-2): 279-287.
- Mints, G. (2010) Formulaciones sin cortes para una lógica cuantificada del aquí y del allá. "Ann. Lógica pura de aplicación" 162(3): 237-242.
- Mints, G. (2008) Eliminación de cortes para una formulación simple de cálculo épsilon. "Ann. Lógica pura de aplicación" 152 (1-3): 148-160.
- Mints, G. (2006) Notas sobre la negación constructiva. en R. Kahle y P. Schroeder-Heister (eds.), "Proof-Theoretic Semantics", número especial de "Synthese", 2006, 148, número 3, págs.
- Mints, G. (2006) Eliminación de cortes para una formulación simple de PAepsilon. "Notas eléctricas Teor. Comput. Sci". 143: 159-169.
- Mints, G. (2006) S4 es topológicamente completo para (0, 1): una prueba breve. "Diario Lógico del IGPL" 14(1): 63-71.
- Mints, G. (2006) Eliminación de cortes para S4C: un estudio de caso. "Studia Lógica" 82(1): 121-132.
- Mints, G. & Zhang, T. (2005) Lógica proposicional de transformaciones continuas en el espacio de Cantor. "Arch. Matemáticas. Registro". 44(6): 783-799.
- Kremer, Ph. & Mints, G. (2005) Lógica topológica dinámica. "Ann. Lógica pura de aplicación" 131 (1-3): 133-158.
- Mints, G. y Zhang, T. (2005) Una prueba de integridad topológica para S4 en (0, 1). "Ann. Lógica pura de aplicación" 133 (1-3): 231-245.
- Tatsuta, M. & Mints, G. (2005) Una prueba simple de normalización fuerte de segundo orden con conversiones permutativas. "Ann. Lógica pura de aplicación" 136 (1-2): 134-155
- Mints, G. & Muskens, R. (eds.) (2003) "Juegos, lógica y conjuntos constructivos". Publicado por el Centro para el Estudio del Lenguaje y la Información - Apuntes de conferencias (Libro 161), 2003. ISBN 978-1575864501
- Mints, G. (2001) "Una breve introducción a la lógica intuicionista" (Serie Universitaria de Matemáticas). Publicado por Kluwer Academic Publisher, 2001.
- Mints, G. (1992) "Una breve introducción a la lógica modal". Publicado por el Centro para el Estudio del Lenguaje y la Información - Apuntes de conferencias (Libro 30), 1992. ISBN 978-0937073759
- Artículos seleccionados sobre teoría de la prueba (Holanda del Norte), agosto de 1992, ISBN 978-0444896193 , serie Estudios sobre teoría de la prueba)
- Mints, G. & Martin-Löf, P. (eds.) (1990) "COLOG-88: International Conference on Computer Logic", Tallin, URSS, 12 al 16 de diciembre de 1988, Actas - Lecture Notes in Computer Science (Vol. 417), 1990. ISBN 978-3540523352 .
Referencias
- ^ Grigori Mints en el Proyecto de genealogía de matemáticas
- ^ Wakefield, Tanu (12 de junio de 2014). "El profesor de filosofía de Stanford Grigori Mints, un lógico de renombre mundial, murió a los 74 años". Noticias.stanford.edu . Consultado el 9 de agosto de 2014 .
enlaces externos