Мучник, Андрей Альбертович
| Андрей Альбертович Мучник | |
|---|---|
 | |
| Дата рождения | 24 февраля 1958 |
| Дата смерти | 18 марта 2007 (49 лет) |
| Страна |  СССР→ Россия |
| Род деятельности | математик |
| Научная сфера | математическая логика |
| Место работы | ВЦ имени А. А. Дородницына РАН |
| Альма-матер | МГУ (мехмат) |
| Учёная степень | кандидат физико-математических наук |
| Научный руководитель | А. Л. Семёнов |
| Награды и премии | Премия имени А. Н. Колмогорова (2006) |
Андрей Альбертович Мучник (24 февраля 1958 года — 18 марта 2007 года) — советский и российский математик, лауреат премии имени А. Н. Колмогорова (2006).
Биография
Родился 24 февраля 1958 года.
Родители — математики, ученики П. С. Новикова. Отец — Альберт Абрамович Мучник, решивший проблему Поста — о существовании нетривиальной перечислимой степени сводимости по Тьюрингу, мать — Надежда Митрофановна Ермолаева.
Поступил в МГУ, где начал работать как математик на семинаре Е. М. Ландиса и Ю. С. Ильяшенко для младшекурсников мехмата МГУ. Первая работа, по дифференциальным уравнениям, выполнена на втором курсе под руководством Ю. С. Ильяшенко.
Начиная с третьего курса специализировался по кафедре математической логики, где его научным руководителем был А. Л. Семенов. Тема его дипломной работы (1981) — решение поставленной М. Рабином на Международном математическом конгрессе проблемы устранения трансфинитной индукции в доказательстве важнейшей теоремы Рабина о разрешимости монадической теории нескольких следований. В дальнейшем Ан. А. Мучник использовал свой подход[1] для доказательства обобщения теоремы Рабина, объявленного Шелахом и Ступпом.
Ан. А. Мучнику принадлежат также фундаментальные результаты в области алгоритмической теории информации (колмогоровской сложности) и теории определимости. Многие результаты, полученные им самим, и в сотрудничестве с коллегами были опубликованы уже после его смерти. Обзор его работ содержится в некрологе[2].
Работал в Институте новых технологий и Научном совете АН СССР по комплексной проблеме «Кибернетика», был одним из фактических руководителей Колмогоровского семинара в МГУ.
Награды
Премия имени А. Н. Колмогорова (совместно с А. Л. Семёновым, 2006) — за серию работ «Об уточнении оценок А. Н. Колмогорова, относящихся к теории случайности».
Примечания
- ↑ Alexei Semenov, Sergei Soprunov. Automorphisms and Definability (of Reducts) for Upward Complete Structures (англ.) // Mathematics. — 2022-01. — Vol. 10, iss. 20. — P. 3748. — ISSN 2227-7390. — doi:10.3390/math10203748. Архивировано 1 января 2023 года.
- ↑ С. И. Адян, А. Л. Семёнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779. www.mathnet.ru. Дата обращения: 2 января 2023. Архивировано 2 января 2023 года.
Ссылки
- Мучник, Андрей Альбертович на официальном сайте РАН
- Персоналии: Мучник Андрей Альбертович. mathnet.ru. Дата обращения: 15 марта 2016.
- С. И. Адян, А. Л. Семёнов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (2007), 140–144. mathnet.ru. Дата обращения: 15 марта 2016.
