Анатолий Иванович Мальцев внёс значительный вклад в развитие алгебры и математической логики, считается одним из создателей общей теории алгебраических систем и теории моделей. letopis.msu.ru www.ras.ru
Некоторые аспекты влияния Мальцева на развитие советской математики:
- Разработка метода «описания моделей». ru.wikipedia.org Он нашёл широкое применение в исследованиях, связывающих математическую логику и алгебраические теории. ru.wikipedia.org
- Создание алгоритма для машинного доказательства целого класса алгебраических теорем. ru.wikipedia.org
- Доказательство отсутствия универсального алгоритма для доказательства всех теорем теории конечных групп, записываемых на языке математической логики. ru.wikipedia.org
- Решение проблемы, которая обсуждалась в научном сообществе на протяжении 25 лет: Мальцев доказал, что полугруппы могут быть вложены в группы. letopis.msu.ru
- Основание влиятельных математических школ в Иванове и Новосибирске. ru.wikipedia.org
- Основание «Сибирского математического журнала» и специального журнала «Алгебра и логика». www.ras.ru vk.com
- Участие в деятельности математических обществ: Мальцев был основателем Ивановского математического общества и первым его председателем, а также основателем и первым президентом Сибирского математического общества. www.ras.ru
За свои достижения Мальцев был удостоен Сталинской премии второй степени (1946) и Ленинской премии (1964). ru.wikipedia.org vk.com