Мучник, Андрей Альбертович

Андрей Альбертович Мучник
Андрей Альбертович Мучник
Дата рождения	24 февраля 1958(1958-02-24)
Дата смерти	18 марта 2007(2007-03-18) (49 лет)
Страна	СССР→ Россия
Научная сфера	математическая логика
Место работы	ВЦ имени А. А. Дородницына РАН
Альма-матер	МГУ (мехмат)
Учёная степень	кандидат физико-математических наук
Научный руководитель	А. Л. Семёнов
Награды и премии	Премия имени А. Н. Колмогорова (2006)

Андрей Альбертович Мучник (24 февраля 1958 года — 18 марта 2007 года) — советский и российский математик, лауреат премии имени А. Н. Колмогорова (2006).

БиографияПравить

Родился 24 февраля 1958 года.

Родители — математики, ученики П. С. Новикова. Отец — Альберт Абрамович Мучник, решивший проблему Поста — о существовании нетривиальной перечислимой степени сводимости по Тьюрингу, мать — Надежда Митрофановна Ермолаева.

Поступил в МГУ, где начал работать как математик на семинаре Е. М. Ландиса и Ю. С. Ильяшенко для младшекурсников мехмата МГУ. Первая работа, по дифференциальным уравнениям, выполнена на втором курсе под руководством Ю. С. Ильяшенко.

Начиная с третьего курса специализировался по кафедре математической логики, где его научным руководителем был А. Л. Семенов. Тема его дипломной работы (1981) — решение поставленной М. Рабином на Международном математическом конгрессе проблемы устранения трансфинитной индукции в доказательстве важнейшей теоремы Рабина о разрешимости монадической теории нескольких следований. В дальнейшем Ан. А. Мучник использовал свой подход^[1] для доказательства обобщения теоремы Рабина, объявленного Шелахом и Ступпом.

Ан. А. Мучнику принадлежат также фундаментальные результаты в области алгоритмической теории информации (колмогоровской сложности) и теории определимости. Многие результаты, полученные им самим, и в сотрудничестве с коллегами были опубликованы уже после его смерти. Обзор его работ содержится в некрологе^[2].

Работал в Институте новых технологий и Научном совете АН СССР по комплексной проблеме «Кибернетика», был одним из фактических руководителей Колмогоровского семинара в МГУ.

Умер 18 марта 2007 года.

НаградыПравить

Премия имени А. Н. Колмогорова (совместно с А. Л. Семёновым, 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.
↑ С. И. Адян, А. Л. Семёнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779 (неопр.). www.mathnet.ru. Дата обращения: 2 января 2023.

СсылкиПравить

Мучник, Андрей Альбертович на официальном сайте РАН
Персоналии: Мучник Андрей Альбертович (неопр.). mathnet.ru. Дата обращения: 2016-3-15.
С. И. Адян, А. Л. Семёнов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (2007), 140–144 (неопр.). mathnet.ru. Дата обращения: 2016-3-15.

[1] 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.

[2] С. И. Адян, А. Л. Семёнов, В. А. Успенский, “Андрей Альбертович Мучник (некролог)”, УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779 (неопр.). www.mathnet.ru. Дата обращения: 2 января 2023.

[1]

[2]