| Gennady Semyonovich Makanin | |
|---|---|
| Födelsedatum | 19 maj 1938 |
| Dödsdatum | 2017 |
| Vetenskaplig sfär | matte |
| Arbetsplats | Matematiska institutet. V. A. Steklov RAS |
| Alma mater | Moscow State University |
| vetenskaplig rådgivare | Andrey Andreevich Markov [1] och Sergey Adyan [1] |
| Känd som | författare till Makanin-algoritmen |
| Utmärkelser och priser | Pristagare av I. M. Vinogradov-priset (2010) |
Gennady Semyonovich Makanin (1938-2017) - Rysk matematiker, doktor i fysikaliska och matematiska vetenskaper , senior forskare.
Född den 19 maj 1938.
Tog examen från Moscow State University och forskarstudier. 1967 disputerade han på sin doktorsavhandling på ämnet "Om identitetsproblemet i ändligt presenterade grupper och semigrupper."
Arbetade på Matematiska Institutet. V. A. Steklov Academy of Sciences of the USSR (RAS) (sedan 2013 - som frilansare).
Sfär av vetenskapliga intressen — kombinatorisk teori om grupper, algoritmiska frågor om teorin om semigrupper. I sin doktorsavhandling (The problem of the solvability of equations in a free semigroup: dissertation ... Doctor of Physical and Mathematical Sciences: 01.01.06 / Makanin G.S. - Moscow, 1977. - 178 s.) föreslog en ny algoritm för att erkänna förekomsten av lösningar på ordboksekvationer (algoritmen Makanin) (GS Makanin, The problem of solvability of equations in a free semigroup, Mat. Sb., 1977).
1982 fick han en fullständig lösning på problemet med att erkänna lösbarheten av ekvationer i en fri grupp. Han bevisade att om en given ekvation med längden d har en lösning i en fri grupp, så överstiger inte längden av varje komponent i den minimala (i termer av komponentens maximala längd) talet Φ(d), där Φ(x) är någon rekursiv funktion. Kort därefter lyckades han på samma sätt bevisa avgörbarheten hos de existentiella (universella) och positiva teorierna för vilken fri grupp som helst (Chebyshevskii sbornik, vol. 13, nummer 1 (2012).
Medförfattare till Makanin-Razborov Diagrams for Hyperbolic Groups.
Pristagare av I. M. Vinogradov-priset (2010) - för serien "Problemet med att erkänna lösbarheten av ekvationer i fria grupper och semigrupper".
Kompositioner:
Fullständig lista över publikationer: http://www.mi-ras.ru/index.php?c=pubs&id=13873&showmode=years&showall=show&l=0