Academician Semenov A.L. about Markov A.A. and his approach to constructive mathematics

Academician Semenov A.L. about Markov A.A. and his approach to constructive mathematics Prof. Alexei L. Semenov M.S., Ph.D born in 1950, is a full member of the of the Russian Academy of Sciences (RAS) and of the Russian Academy of Education. Chair of the Department of Mathematical Logic and Theory of Algorithms, Lomonosov Moscow State University (previously headed by Andrei Markov, Andrei Kolmogorov); director of Axel Berg Institute of Cybernetics and Educational Computing of RAS. In 1993 – 2016 he led the major institutions in Russia responsible for in-service and pre-service training of teachers. Works in theory of definability, solvability of logical theories. Member of key AI development groups since the mid-1960s. International leader of constructionism-based digital transformation of education since the mid-1980s. In the last years he developed a concept of individual extended by digital instruments and media. The concept furthers the vision of Lev Vygotsky, Josef M. Feigenberg, Sherry Turkle, Andy Clark, Michel Serres and Seymour Papert to the educational context of mass school. Kolmogorov Prize Laureate for outstanding achievements in mathematics, 2006. UNESCO Prize laureate for the use of ICTs in Education, 2009.