Andrey Albertovich Muchnik | |
---|---|
Syntymäaika | 24. helmikuuta 1958 |
Kuolinpäivämäärä | 18. maaliskuuta 2007 (49-vuotias) |
Maa | Neuvostoliitto → Venäjä |
Tieteellinen ala | matemaattinen logiikka |
Työpaikka | Venäjän tiedeakatemian A. A. Dorodnitsynin laskentakeskus |
Alma mater | Moskovan valtionyliopisto (Mekhmat) |
Akateeminen tutkinto | Fysikaalisten ja matemaattisten tieteiden kandidaatti |
tieteellinen neuvonantaja | A. L. Semjonov |
Palkinnot ja palkinnot | A. N. Kolmogorov-palkinto (2006) |
Andrei Albertovich Muchnik ( 24. helmikuuta 1958 - 18. maaliskuuta 2007 ) - Neuvostoliiton ja Venäjän matemaatikko , A. N. Kolmogorov-palkinnon saaja (2006).
Syntynyt 24. helmikuuta 1958 .
Vanhemmat ovat matemaatikkoja, P. S. Novikovin opiskelijoita . Isä - Albert Abramovich Muchnik , joka ratkaisi Postin ongelman - ei-triviaalista, lueteltavasta Turingin pelkistyvyysasteen olemassaolosta , äiti - Nadezhda Mitrofanovna Ermolaeva.
Astui Moskovan valtionyliopistoon , jossa hän aloitti työskentelyn matemaatikona E. M. Landisin ja Yun seminaarissa . Ensimmäinen työ differentiaaliyhtälöiden parissa tehtiin toisena vuonna Yu. S. Iljashenkon johdolla.
Opinnäytetyö on kirjoitettu matemaattisen logiikan laitoksella, sen aiheena on M. Rabinin kansainvälisessä matemaattisessa kongressissa esittämän ongelman ratkaisu transfiniittisen induktion eliminoimiseksi Rabinin tärkeimmän lauseen todistuksessa useiden monadisten teorian ratkeavuudesta. seuraukset. Myöhemmin tätä työtä käytettiin todistamaan Shelahin ja Stuppin ilmoittama Rabinin lauseen yleistys.
Työskenteli VC:ssä. A. A. Dorodnitsyn RAS oli yksi Moskovan valtionyliopiston Kolmogorov-seminaarin varsinaisista johtajista.
Kuollut 18. maaliskuuta 2007 .
A. N. Kolmogorov-palkinto (yhdessä A. L. Semjonovin kanssa , 2006) - sarjalle "A. N. Kolmogorovin satunnaisuusteoriaan liittyvien arvioiden tarkentamisesta".
Temaattiset sivustot |
---|