Как Анатолий Мальцев повлиял на развитие советской математики?

Анатолий Иванович Мальцев внёс значительный вклад в развитие алгебры и математической логики, считается одним из создателей общей теории алгебраических систем и теории моделей. 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