Question: Anatoly Maltsev and Valentin Turchin were both from Russia, which of the two is known for his work as a mathematician?
Sentence (from "Valentin Turchin"): He developed the Refal programming language, the theory of metasystem transitions and the notion of supercompilation.
Relevant evidence: No