Andrey Muchnik
 |
Andrey Muchnik | |
|---|---|
| Рожденный | 24 февраля 1958 г. |
| Умер | 18 марта 2007 г. (49 лет) |
| Гражданство | СССР Россия |
| Альма-матер | Московский Государственный Университет |
| Награды | Kolmogorov Prize (2006) |
| Научная карьера | |
| Поля | Математическая логика |
| Учреждения | Ученый совет Академии наук СССР Институт новых технологий |
| Докторантура | Алексей Семенов |
Андрей Альбертович Мучник (24 февраля 1958 — 18 марта 2007) — советский и российский математик , практиковавший математическую логику . В 2006 году удостоен премии имени А.Н. Колмогорова .
Биография
[ редактировать ]Андрей Мучник родился 24 февраля 1958 года в Советском Союзе. Его родителями были Альберт Абрамович Мучник и Надежда Митрофановна Ермолаева. Оба его родителя были математиками и учениками П.С. Новикова советского математика . Отец Мучника, Альберт Мучник, решил проблему Поста о существовании нетривиальной перечислимой степени тьюринговой сводимости.
Свой академический путь Андрей Мучник начал в МГУ . Мучник начал работать математиком на семинаре Евгения Ландиса и Юлия Ильяшенко для студентов третьего курса механико-математического факультета МГУ имени М.В. Ломоносова . На втором курсе он опубликовал свою первую работу по дифференциальным уравнениям под руководством Ильяшенко.
Начиная с третьего курса, он специализировался по теории определимости на кафедре математической логики под руководством Алексея Семенова . В 1981 году он получил диплом по решению задачи, поставленной Михаэлем Рабином на Международном конгрессе математиков в Ницце. Проблема заключалась в устранении трансфинитной индукции при доказательстве теоремы Рабина о разрешимости монадической теории бесконечных деревьев. Позже Мучник применил свой подход для доказательства обобщения теоремы Рабина, анонсированного Шелахом и Ступпом. [ 1 ] Используя оригинальную идею Альфреда Тарского , он ввел понятие самоопределимости для вывода доказательства теоремы Кобэма-Семенова. Он получил докторскую степень. в 2001 году. [ 2 ]
Впоследствии работал в Институте новых технологий и Ученом совете АН СССР в области кибернетики. [ нужна ссылка ] . Со временем он стал одним из руководителей Колмогоровского семинара в МГУ . [ нужна ссылка ]
Мучник также внес результаты в область алгоритмической теории информации . [ нужна ссылка ] Многие из его результатов и совместных работ были опубликованы после его смерти. [ 3 ]
Награды
[ редактировать ]Андрей Мучник удостоен премии А. Н. Колмогорова (вместе с Алексеем Семеновым , 2006) за работы в области математики и за цикл работ «Об уточнении А. Н. Колмогорова, относящемся к теории случайностей». [ 4 ]
Ссылки
[ редактировать ]- ^ Семенов А.Л. (1984). «Разрешимость монадических теорий» . Математические основы информатики, Прага, Чехословакия, 3–7 сентября 1984 г. Труды. Конспекты лекций по информатике . Конспекты лекций по информатике. 176 . Берлин, Гейдельберг: Springer: 162–175. дои : 10.1007/BFb0030296 . ISBN 978-3-540-38929-3 .
- ^ Стейнхорн, Чарльз. «Информационный бюллетень за сентябрь 2008 г.» (PDF) .
- ^ Адян, С. И.; Семёнов, А. Л.; Успенский, В. А. "Андрей Альбертович Мучник (некролог), УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779" . www.mathnet.ru . Retrieved 2023-01-02 .
- ^ «Именные награды и медали» . www.ras.ru.
Внешние ссылки
[ редактировать ]- Мучник Андрей Альбертович на официальном сайте Российской академии наук.
- Персоналии: Мучник Андрей Альбертович . mathnet.ru. Проверено 15 марта 2016 г.
- «С. И. Адьян, А. Л. Семенов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (2007), 140–144» . mathnet.ru . Проверено 15 марта 2016 г.
