| Gennadi Semjonovitš Makanin | |
|---|---|
| Syntymäaika | 19. toukokuuta 1938 |
| Kuolinpäivämäärä | 2017 |
| Tieteellinen ala | matematiikka |
| Työpaikka | Matemaattinen instituutti. V. A. Steklov RAS |
| Alma mater | Moskovan valtionyliopisto |
| tieteellinen neuvonantaja | Andrey Andreevich Markov [1] ja Sergei Adjan [1] |
| Tunnetaan | Makanin-algoritmin kirjoittaja |
| Palkinnot ja palkinnot | I. M. Vinogradov -palkinnon saaja ( 2010) |
Gennadi Semjonovitš Makanin (1938-2017) - venäläinen matemaatikko, fysiikan ja matemaattisten tieteiden tohtori , vanhempi tutkija.
Syntynyt 19.5.1938.
Valmistunut Moskovan valtionyliopistosta ja jatko-opinnot. Vuonna 1967 hän puolusti väitöskirjaansa aiheesta "Identiteettiongelmasta äärellisesti esitetyissä ryhmissä ja puoliryhmissä".
Työskenteli matemaattisessa instituutissa. V. A. Steklovin Neuvostoliiton tiedeakatemia (RAS) (vuodesta 2013 - freelancerina).
Tieteellisten etujen ala — kombinatorinen ryhmien teoria, puoliryhmien teorian algoritmiset kysymykset. Väitöskirjassaan (Yhtälöiden ratkaistavuuden ongelma vapaassa puoliryhmässä: väitöskirja ... Fysikaalisten ja matemaattisten tieteiden tohtori: 01.01.06 / Makanin G.S. - Moskova, 1977. - 178 s.) ehdotti uutta tunnistamisalgoritmia sanakirjayhtälöiden ratkaisujen läsnäolo (Makanin-algoritmi) (GS Makanin, The problem of solvability of Equations in a free semigroup, Mat. Sb., 1977).
Vuonna 1982 hän sai täydellisen ratkaisun yhtälöiden ratkaistavuuden tunnistamisen ongelmaan vapaassa ryhmässä. Hän osoitti, että jos annetulla yhtälöllä, jonka pituus on d, on ratkaisu vapaassa ryhmässä, niin minimiratkaisun (komponentin maksimipituudella mitattuna) kunkin komponentin pituus ei ylitä lukua Φ(d), missä Φ(x) on jokin rekursiivinen funktio. Pian tämän jälkeen hän onnistui samalla tavalla todistamaan minkä tahansa vapaan ryhmän eksistentiaalisen (universaalin) ja positiivisen teorian ratkeavuuden (Chebyshevskii sbornik, osa 13, numero 1 (2012).
Makanin-Razborov-kaavioiden hyperbolisille ryhmille toinen kirjoittaja.
I. M. Vinogradov -palkinnon saaja ( 2010) - artikkelisarjasta "Yhtälöiden ratkaistavuuden tunnistamisen ongelma vapaissa ryhmissä ja puoliryhmissä".
Koostumukset:
Täydellinen luettelo julkaisuista: http://www.mi-ras.ru/index.php?c=pubs&id=13873&showmode=years&showall=show&l=0