Мальцев Анатолий Иванович (1909-1967) – академик АН СССР, один из создателей теории алгоритмических система и теории моделей, основатель сибирской научной школы алгебраистов и логиков.