Makanin, Gennady Semionovich

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 19 de agosto de 2020; las comprobaciones requieren 3 ediciones .
Gennady Semionovich Makanin
Fecha de nacimiento 19 de mayo de 1938( 1938-05-19 )
Fecha de muerte 2017( 2017 )
Esfera científica matemáticas
Lugar de trabajo Instituto Matemático. V. A. Steklov RAS
alma mater Universidad estatal de Moscú
consejero científico Andrey Andreevich Markov [1] y Sergey Adyan [1]
Conocido como autor del algoritmo de Makanin
Premios y premios Laureado del Premio I. M. Vinogradov (2010)

Gennady Semyonovich Makanin (1938-2017) - Matemático ruso, doctor en ciencias físicas y matemáticas , investigador principal.

Nacido el 19 de mayo de 1938.

Graduado de la Universidad Estatal de Moscú y estudios de posgrado. En 1967 defendió su tesis doctoral sobre el tema "Sobre el problema de la identidad en grupos y semigrupos finitamente presentados".

Trabajó en el Instituto de Matemáticas. V. A. Steklov Academia de Ciencias de la URSS (RAS) (desde 2013 - como autónomo).

Esfera de intereses científicos: teoría combinatoria de grupos, preguntas algorítmicas de la teoría de semigrupos. En su disertación doctoral (El problema de la resolución de ecuaciones en un semigrupo libre: disertación ... Doctor en Ciencias Físicas y Matemáticas: 01.01.06 / Makanin G.S. - Moscú, 1977. - 178 p.) propuso un nuevo algoritmo para reconocer la presencia de soluciones a ecuaciones de diccionario (algoritmo Makanin) (GS Makanin, El problema de la resolución de ecuaciones en un semigrupo libre, Mat. Sb., 1977).

En 1982 obtuvo una solución completa al problema de reconocer la solución de ecuaciones en un grupo libre. Demostró que si una ecuación dada con longitud d tiene una solución en un grupo libre, entonces la longitud de cada componente de la solución mínima (en términos de la longitud máxima del componente) no excede el número Φ(d), donde Φ(x) es una función recursiva. Poco tiempo después, logró de la misma manera probar la decidibilidad de las teorías existenciales (universales) y positivas de cualquier grupo libre (Chebyshevskii sbornik, vol. 13, número 1 (2012).

Coautor de Diagramas de Makanin-Razborov para grupos hiperbólicos.

Laureado del Premio I. M. Vinogradov (2010) — por la serie de artículos “El problema de reconocer la capacidad de resolución de ecuaciones en grupos libres y semigrupos”.

Composiciones:

Lista completa de publicaciones: http://www.mi-ras.ru/index.php?c=pubs&id=13873&showmode=years&showall=show&l=0

Fuentes

  1. 1 2 Genealogía matemática  (inglés) - 1997.