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 (ahora San Petersburgo , Rusia), y recibió su doctorado en 1965 de la Universidad Estatal de Leningrado bajo la dirección de 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 doctorado 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 fue 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 destacados del mundo, Mints era un apasionado de las aplicaciones de la lógica a la filosofía. Su especialidad era la teoría de la demostración , es decir, 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 las Artes y las 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úmero especial, y miembro del comité directivo.
Publicaciones seleccionadas
- Mints, G. (2013) Sustitución de épsilon para lógica de predicados de primer y segundo orden. "Ann. Pure Appl. Logic" 164(6): 733-739.
- Mints, G., Olkhovikov, GV, Urquhart, A. (2013) Falla de interpolación en lógica intuicionista de dominio constante. "J. Symb. Log." 78(3): 937-950.
- Mints, G. (2013) Método ADC de búsqueda de pruebas para la deducción natural proposicional intuicionista. Para aparecer en un "Festsschrift for A. Avron".
- Mints, G. (2012) Eliminación de corte efectiva para un fragmento de cálculo mu modal. "Studia Logica" 100(1-2): 279-287.
- Mints, G. (2010) Formulaciones sin cortes para una lógica cuantificada del aquí y del allá. "Ann. Pure Appl. Logic" 162(3): 237-242.
- Mints, G. (2008) Eliminación de cortes para una formulación simple de cálculo épsilon. "Ann. Pure Appl. Logic" 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. 701–717.
- Mints, G. (2006) Eliminación de cortes para una formulación simple de PAepsilon. "Electr. Notes Theor. Comput. Sci." 143: 159-169.
- Mints, G. (2006) S4 es topológicamente completo para (0, 1): una prueba corta. "Logic Journal of the IGPL" 14(1): 63-71.
- Mints, G. (2006) Eliminación de cortes para S4C: un estudio de caso. "Studia Logica" 82(1): 121-132.
- Mints, G. y Zhang, T. (2005) Lógica proposicional de transformaciones continuas en el espacio de Cantor. "Arch. Math. Log." 44(6): 783-799.
- Kremer, Ph. y Mints, G. (2005) Lógica topológica dinámica. "Ann. Pure Appl. Logic" 131(1-3): 133-158.
- Mints, G. y Zhang, T. (2005) Una prueba de completitud topológica para S4 en (0, 1). "Ann. Pure Appl. Logic" 133(1-3): 231-245.
- Tatsuta, M. y Mints, G. (2005) Una prueba simple de normalización fuerte de segundo orden con conversiones permutativas. "Ann. Pure Appl. Logic" 136(1-2): 134-155
- Mints, G. y 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 clase (libro 161), 2003. ISBN 978-1575864501
- Mints, G. (2001) "Una breve introducción a la lógica intuicionista" (University Series in Mathematics). 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 clase (libro 30), 1992. ISBN 978-0937073759
- Selected Papers in Proof Theory (Holanda del Norte), agosto de 1992, ISBN 978-0444896193 , serie Estudios sobre teoría de la prueba)
- Mints, G. y Martin-Löf, P. (eds.) (1990) "COLOG-88: Conferencia internacional sobre lógica informática", Tallin, URSS, 12-16 de diciembre de 1988, Actas - Apuntes de conferencias sobre informática (Vol. 417), 1990. ISBN 978-3540523352
Referencias
- ^ Grigori Mints en el Proyecto de Genealogía Matemática
- ^ Wakefield, Tanu (12 de junio de 2014). "El profesor de filosofía de Stanford Grigori Mints, un lógico de renombre mundial, ha muerto a los 74 años". News.stanford.edu . Consultado el 9 de agosto de 2014 .
Enlaces externos
