Имя латиницей: MUCHNIK Albert Abramovich
Пол: мужской
Дата рождения: 02.01.1934
Место рождения: Москва, Россия
Дата смерти: 14.02.2019 Возраст (85)
Место смерти: Москва, Россия
Знак зодиака: Козерог
По восточному: Собака
Ключевые слова: логик, математик, наука, основатель, семья.
Anno: 1990
Альберт Абрамович МУЧНИК
советский и российский математик, работавший в области теории вычислимости и математической логики. Учился и защитил диссертацию кандидата физико-математических наук в Московском государственном педагогическом институте (научный руководитель — академик Пётр Сергеевич Новиков). Ал. А. Мучник и Ричард Фридберг решили проблему Поста, независимо доказав, что существуют перечислимые неразрешимые множества, к которым не сводится по Тьюрингу проблема остановки, и, более того, существуют не сводящиеся друг к другу по Тьюрингу перечислимые множества. Метод, использованный в этом доказательстве, получил название метода приоритета и стал одним из основных средств в теории степеней перечислимых множеств, начало которой положили работы Мучника и Фридберга. Ал. А. Мучник определил понятие слабой сводимости для массовых проблем, продолжая работы Ю. Т. Медведева, который ввёл понятие массовой проблемы и определил сильную сводимость. Соответствующие классы эквивалентности по отношению взаимной сводимости образуют решётку, которая получила название решётки Мучника (Muchnik lattice). Она является интерпретацией для интуиционистской логики. Помимо теории вычислимости, Ал. А. Мучник получил результаты в области многозначных логик (в соавторстве с Ю. И. Яновым), теории автоматов и модальной логике (с женой, Надеждой Митрофановной Ермолаевой). Учеником Ал. А. Мучника был Алексей Львович Семёнов, научный руководитель его старшего сына, Андрея Альбертовича Мучника (1958—2007)