| Gennady Semyonovich Makanin | |
|---|---|
| Fødselsdato | 19. maj 1938 |
| Dødsdato | 2017 |
| Videnskabelig sfære | matematik |
| Arbejdsplads | Matematisk Institut. V. A. Steklov RAS |
| Alma Mater | Moskva statsuniversitet |
| videnskabelig rådgiver | Andrey Andreevich Markov [1] og Sergey Adyan [1] |
| Kendt som | forfatter til Makanin-algoritmen |
| Priser og præmier | Vinder af I. M. Vinogradov-prisen (2010) |
Gennady Semyonovich Makanin (1938-2017) - russisk matematiker, doktor i fysiske og matematiske videnskaber , seniorforsker.
Født den 19. maj 1938.
Uddannet fra Moscow State University og postgraduate studier. I 1967 forsvarede han sin ph.d.-afhandling om emnet "Om identitetsproblemet i endeligt præsenterede grupper og semigrupper."
Arbejdede på Matematisk Institut. V. A. Steklov Academy of Sciences of the USSR (RAS) (siden 2013 - som freelancer).
Sfære af videnskabelige interesser — kombinatorisk teori om grupper, algoritmiske spørgsmål om teorien om semigrupper. I sin doktorafhandling (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.) foreslog en ny algoritme til at anerkende tilstedeværelsen af løsninger til ordbogsligninger (algoritmen Makanin) (GS Makanin, The problem of solvability of equations in a free semigroup, Mat. Sb., 1977).
I 1982 opnåede han en komplet løsning på problemet med at erkende ligningers løselighed i en fri gruppe. Han beviste, at hvis en given ligning med længden d har en løsning i en fri gruppe, så overstiger længden af hver komponent af den minimale (med hensyn til den maksimale længde af komponenten) løsning ikke tallet Φ(d), hvor Φ(x) er en eller anden rekursiv funktion. Kort efter lykkedes det ham på samme måde at bevise afgøreligheden af enhver fri gruppes eksistentielle (universelle) og positive teorier (Chebyshevskii sbornik, bind 13, udgave 1 (2012).
Medforfatter til Makanin-Razborov Diagrams for Hyperbolic Groups.
Vinder af I. M. Vinogradov-prisen (2010) - for serien af artikler "Problemet med at anerkende løseligheden af ligninger i frie grupper og semigrupper".
Sammensætninger:
Fuld liste over publikationer: http://www.mi-ras.ru/index.php?c=pubs&id=13873&showmode=years&showall=show&l=0