АДЯ́Н СЕРГЕЙ ИВАНОВИЧ

АДЯ́Н Сергей Иванович (р. 1.1.1931, село Кущи Азербайджанской ССР), российский математик, академик РАН (2000). По окончании Московского государственного педагогического института им. В. И. Ленина (1952) работал там же (1955–60), с 1956 в Математическом институте им. В. А. Стеклова РАН (с 1973 заведующий отделом математической логики), с 1965 профессор МГУ.

Труды по комбинаторной теории групп и полугрупп, алгоритмическим вопросам алгебры и логики. В 1955 доказал теорему об алгоритмической нераспознаваемости почти всех нетривиальных групповых свойств (теорема Адяна – Рабина). В 1968 совместно с П. С. Новиковым получил отрицательное решение проблемы Бёрнсайда в теории групп. Созданный ими метод также привёл к решению ряда других принципиальных проблем в теории групп. Основатель научной школы в области алгоритмических вопросов алгебры и логики.

Государственная премия РФ (1999), премия Московского математического общества (1956), премия им. П. Л. Чебышёва АН СССР (1963), премия «Жизнь, посвящённая математике» фонда Д. Зимина «Династия» (2014). Награждён орденом Почёта (2011).