Mentas, Grigory Efroimovich

Mentas Grigory Efroimovich
Fecha de nacimiento 7 de junio de 1939( 07/06/1939 )
Lugar de nacimiento
Fecha de muerte 29 de mayo de 2014( 2014-05-29 ) (74 años)
Un lugar de muerte
País
Lugar de trabajo
alma mater
Titulo academico Doctor en Ciencias Físicas y Matemáticas
consejero científico Shanin, Nikolái Alexandrovich [1]
Sitio web grishamints.net

Grigory Efroimovich (Efimovich) Mints ( 7 de junio de 1939 , Leningrado - 29 de mayo de 2014 , Palo Alto , California ) - Científico soviético y estadounidense en el campo de las matemáticas aplicadas y la lógica . Miembro extranjero de la Academia de Ciencias de Estonia (2008).

Biografía

Graduado de la Universidad Estatal de Leningrado (1961). Defendió su tesis doctoral en 1965 bajo la dirección de N. A. Shanin [2] .

Empleado de la sucursal de Leningrado del Instituto Matemático Steklov (LOMI).

Desde 1980, vive y trabaja en Tallin, como investigador en el Instituto de Cibernética de la Academia de Ciencias de la RSS de Estonia [3] .

Doctor en Ciencias Físicas y Matemáticas, el tema de la disertación es "Transformaciones de prueba y síntesis de programas" (1988) [4] .

Desde 1991 es profesor de Filosofía en la Universidad de Stanford .

Autor de obras sobre lógica y filosofía de las matemáticas.

Notas

  1. Genealogía matemática  (inglés) - 1997.
  2. Catálogo RNB . Consultado el 21 de julio de 2020. Archivado desde el original el 22 de julio de 2020.
  3. Sobre el trabajo sobre el software del sistema en los países bálticos soviéticos (1960-1990) . Consultado el 21 de julio de 2020. Archivado desde el original el 21 de julio de 2020.
  4. Catálogo RSL . Consultado el 21 de julio de 2020. Archivado desde el original el 22 de julio de 2020.

Enlaces