124:
693:, an educator, and a Doctor of pedagogical Sciences. Children: with Galina Sheina: Maria Possitselskaya (1974) – teacher, author of math textbooks for elementary school, Daria Semenova (1979) – singer, teacher, author of music textbooks, with Tatiana Rudchenko: Mikhail Semenov (1992) – startup entrepreneur, with E. I. Bulin-Sokolova: Marfa Bulin-Sokolova (1994) – architectural designer, Fedor Bulin-Sokolov (1995) – financial analyst, Anna Semenova (1999) – psychologist, Nikolay Semenov (2001) – photographer, Andrey Semenov (2004) – fashion model and software developer, Ivan Semenov – high school student. Grandchildren: Alexandra Semenova – linguist, Ekaterina Possitselsky – molecular biologist, Dmitry, Anastasiya, Grigory, Timothey, Kirill – students, Olga – preschool.
72:
123:
417:, mathematical experimenting by learners, language development, emphasizing visual (on screen and paper) and palpable (manipulatives, moving objects) environments of strings, bags, tables, games, and robots as the basis for all math. This includes, but is not limited by, numerical (arithmetic), priority of solving problems-not-known-how-to-solve over drill-and-practice, and using computer for all routine tasks.
31:
519:
84:
469:
In 2019, Alexei
Semenov organized a 3 year Program «Fundamental Scientific Support for the Digitalization of General Education» in Russian Foundation for Fundamental Research. As a result of the expert selection, 62 teams from 12 regions of Russia received financial support. "Charter for the Digital
595:
with the help of recommendations for primary education as well as for general education. Later, he participated in the teams led by Ivan Kalaš that created recommendations for preschool education and primary education. He participated in the creation of UNESCO recommendations on ICT for teacher
491:
In 2022–2023, he initiated a project of primary school meta-subject "Future World". In all school subjects students are introduced to the future by doing its pieces now in such modules like "Introduction" (children to each other, to the teacher, the tablet, and network), "Organization" (keeping
427:
In 1987, following his work in the
Academy of Sciences, he originated a not-for-profit Institute of New Technologies (INT) that introduced the constructionist philosophy into Russian schools and started cooperation of INT and other Russian educators with Papert's group at
642:
363:
371:
366:. He participated in the last Soviet attempt to construct a supercomputer in 1986. In the last years he developed a concept of individual extended by digital instruments and media. The concept furthers the vision of
1767:
Proceedings of the 4th
International Conference on Informatization of Education and E-learning Methodology: Digital Technologies in Education (IEELM-DTE 2020). Krasnoyarsk, Russia, October 6–9, 2020. CEUR Workshop
679:
in 2009 – for the development of the project «Informatization of the education system of the
Russian Federation». The prize was awarded by the order of the Government of the Russian Federation of 28.08.2009 No.
523:
462:
Semenov initiated and led in cooperation with Sergey
Soprunov the project of Logo-style learning environment for pre-literacy pre-numeracy children, recognized by S. Papert in his book "The Connected Family".
470:
Way of School" (2021) is one of the outcomes created as part of the work on the program as a result of a dialogue between the participants of the
Program and other prominent figures of Russian education.
1980:"Seymour Papert and Us. Constructionism as the Educational Philosophy of the 21st Century In memoriam of Seymour Papert (February 29, 1928, Pretoria, South Africa – July 31, 2016, Blue Hill, ME, USA)"
421:
477:
on AI and
Digital Technologies. In 2022, he reorganized the basic undergraduate course on Mathematical logic and theory of algorithms as a complete problem-solving course in the style of
2517:
1899:Основы информатики и вычислительной техники. Пробный учебник для сред. учеб. заведений (Fundamentals of Informatics and Computer Engineering. Trial textbook for secondary schools)
1831:
2542:
522:(1993–2013), which was responsible for the professional development, in-service training, guidance and consulting of all 100,000 Moscow teachers. In 2002 he recreated
1760:"Digital Transformation of School and the Role of Mathematics and Informatics within It. Problems and Paradoxes of Mathematics Education and their Digital Solution"
2502:
175:
167:
618:
in 1880) into USSR and
Central Europe, where he served as a member of Board of Trustees and co-chair of Academic Advisory Council of the organization.
335:
from his work originated descriptive complexity theory. He also contributed to the foundations of the theory of algorithms and theory of randomness.
544:
508:
324:
248:
466:
In 2017–2019, he led design and implementation for a system of resultative education (personalized competence-based learning) for
Russian schools.
2537:
673:
in 1998 – headed the team for the development and implementation of a comprehensive program for informatization of education in the Moscow region.
420:
In 1985, he was the organizer and co-author of the first computer science textbook for all Soviet schools (editor and co-author – academician
2290:
1806:
1663:
1264:
1229:
1187:
1103:
738:
1058:"Games on Infinite Trees and Automata with Dead-ends. A New Proof for the Decidability of the Monadic Second Order Theory of Two Successors"
2527:
247:
Alexei
Semenov was born in 1950 in Moscow to a family of electronic and computer engineers. He graduated from Moscow school No. 7 and the
362:
Semenov started work in practical computing at age 14 in cooperation with his mother, specifically in speech recognition in the group of
2552:
534:
394:
Alexei Semenov’s theoretical and practical work in education originated in his involvement as a student, and later, as a teacher in the
159:
622:
424:). Later he was the leader of the authors' teams for textbooks in mathematics and computer science for primary and secondary schools.
2213:
Kalaš, I.; Bannayan, H. E.; Conery, L.; Laval, E.; Laurillard, D.; Lim, C. P.; Musgrave, S.; Semenov, A.; Tursanyi-Szabo, M. (2012).
540:
He is the Director of Axel Berg Institute of Cybernetics and Educational Computing FRC CSC Russian Academy of Sciences (2015 – now).
2176:
Information and Communication Technologies in Schools. A Handbook for Teachers or How ICT Can Create New, Open Learning Environments
2100:"Вестник РФФИ. Тематический блок: Цифровая трансформация школы (Vestnik RFBR. Thematic block: Digital Transformation of the School)"
2036:
1906:
233:
151:
268:
2522:
2497:
2547:
1696:"Современный курс математики и информатики в школе. Часть 2 (Modern Course of Mathematics and Informatics at School. Part 2)"
1681:"Современный курс математики и информатики в школе. Часть 1 (Modern Course of Mathematics and Informatics at School. Part 1)"
1057:
574:
459:
So INT produced Russian adaptations, learning and teaching materials for Logo, educational LEGO, Geometer’s Sketchpad, etc.
610:
In 1989, he initiated and played a critical role in the return of international organization on technologies in education
596:
education. Professor Alexei Semenov's activities and influence were later recognized by UNESCO Prize on ICT in Education.
437:
228:, Academician of the Russian Academy of Education, Head of the Department of Mathematical Logic and Theory of Algorithms,
484:
In 2022, Alexei Semenov became the leader of compiling the New Russian Mathematical Encyclopedia as a source for digital
2159:
570:
292:
635:
225:
99:
2331:
492:
myself in time), "Communication" (video-audio-text, as recording the first memory of the eldest in the family), etc.
312:
485:
229:
163:
659:
in 2006 – for outstanding achievements in the field of mathematics for the series of works «On the refinement of
1836:
Current Issues in Mathematics Education Materials of the American-Russian Workshop - COMAP, November 18–20, 2016
1850:
725:. Lecture Notes in Computer Science. Vol. 8476. Cham: Springer International Publishing. pp. 23–38.
690:
512:
474:
296:
252:
112:
2461:
1711:"The Content and Methodology of Teaching Mathematics in Primary School in the Conditions of Digitalization"
2532:
1855:«National Presentations: Russia», 10-th International Congress on Mathematical Education, Copenhagen, 2004
755:
414:
413:
Prof. Semenov's approach to learning and teaching math and computer science in primary school is based on
1435:
217:
1413:
2557:
2174:
2068:"Пособия УМК "ПервоЛого 4.0" (Manuals of the educational and methodological complex 'PervoLogo 4.0')"
1414:"Расширенная личность как основной субъект и предмет философского анализа. Следствия для образования"
1377:
1293:
1281:
1174:, Mathematics and Its Applications, vol. 27, Dordrecht: Springer Netherlands, pp. 176–183,
973:
918:
896:
814:
802:
767:
527:
395:
308:
1216:. Lecture Notes in Computer Science. Vol. 122. Berlin, Heidelberg: Springer. pp. 100–234.
1090:. Lecture Notes in Computer Science. Vol. 176. Berlin, Heidelberg: Springer. pp. 162–175.
588:
Alexei Semenov participated in numerous international activities of mathematical and ICT educators.
566:
2285:. Amsterdam: International Association for the Evaluation of Educational Achievement (IEA). 2009.
1786:
2381:
2214:
2194:
2153:
1812:
1740:
1634:
1567:
1317:
1148:
997:
942:
908:
877:
697:
284:
264:
141:
2449:
718:
1518:
1172:
Selected Works of A. N. Kolmogorov: Volume III: Information Theory and the Theory of Algorithms
580:
He is the author of over 200 scientific papers in mathematics, computer science and education.
2286:
2032:
2026:
1902:
1802:
1732:
1659:
1626:
1547:
1358:
1309:
1260:
1225:
1183:
1140:
1099:
1038:
989:
934:
869:
830:
783:
734:
660:
332:
237:
171:
2081:
1923:
1787:"Mathematics for the 21st Century School: The Russian Experience and International Prospects"
1209:
2373:
1991:
1877:
1794:
1722:
1618:
1559:
1348:
1301:
1252:
1217:
1175:
1132:
1091:
1028:
981:
926:
861:
822:
775:
726:
655:
615:
560:
441:
433:
399:
320:
182:
2253:
2067:
1246:
398:’s math schools. His educational philosophy is rooted in the “learning-by-doing” method of
651:
in 2009 – for the application of information and communication technologies in education.
315:, symbolic dynamics applications, and lattices of definability descriptions. His student
1297:
977:
922:
818:
771:
2473:
2377:
2361:
1460:
1393:Семенов, А. Л.; Сопрунов, С. Ф. (1985). "О языке комбинаторно-логического процессора".
1083:
664:
407:
343:
328:
316:
307:
His major field in mathematical logic is definability theory. He is well known for his
256:
197:
187:
2233:
1996:
1979:
1353:
1336:
339:
2511:
2385:
2143:
1897:Ершов, А. П.; Кушниренко, А. Г.; Лебедев, Г. В.; Семенов, А. Л.; Шень, А. Х. (1988).
1816:
1744:
1571:
1501:
1321:
1001:
946:
881:
429:
383:
375:
351:
201:
1727:
1710:
1653:
1395:Сб. Эффективное использование высокопроизводительных ЭВМ. Серия Вопросы кибернетики.
1305:
1152:
961:
930:
826:
779:
2412:
2053:
1939:"Educational and methodical complex "Informatics 3-4" part 1 (English translation)"
1938:
719:"The Lattice of Definability. Origins, Recent Developments, and Further Directions"
367:
77:
58:
2277:
2216:
ICT in Primary Education Volume 1: Exploring the Origins, Settings and Initiatives
1869:
1798:
1695:
1680:
30:
2099:
1882:
1793:. ICME-13 Monographs. Cham: Springer International Publishing. pp. 675–676.
251:
in 1972. He completed a Candidate of Sciences in Physics and Mathematics degree (
2196:
Recognizing the Potential of ICT in Early Childhood Education. Analytical survey
1179:
730:
543:
He is the Head of the Department of Mathematical Logic and Theory of Algorithms
478:
403:
221:
2011:
1832:"Implementation of the Conceptual Framework for Russian Mathematical Education"
1586:
1503:
Natural-Born Cyborgs: Minds, Technologies, and the Future of Human Intelligence
1477:
2420:
2413:"School Ignores or Even Opposes Digital Technology (translation from Russian)"
1952:
1563:
1479:
The Second Self: Computers and the Human Spirit. Twentieth Anniversary Edition
1256:
1167:
1136:
663:, related to the theory of chance». He won this award alongside mathematician
379:
288:
2117:
1736:
1630:
1362:
1313:
1221:
1144:
1042:
993:
938:
873:
834:
787:
696:
A big role in the life of A. L. Semenov was played by a meeting in 1979 with
2279:
Second Information Technology in Education Study SITES 2006 Technical Report
1335:
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A. (1998-11-06).
1017:"Automorphisms and Definability (of Reducts) for Upward Complete Structures"
611:
347:
2492:
2394:"Semenov: Math Education May Become an Advantage of the Russian Federation"
1709:
Semenov, A. L.; Muranov, A. A.; Polikarpov, S. A.; Bakhtina, E. U. (2022).
1759:
1465:(in Russian). М.: ООО «Медицинское информационное агентство». p. 128.
1120:
895:
Muchnik, Andrei A.; Pritykin, Yurii L.; Semenov, Aleksei L. (2009-10-31).
214:
Alexei (also Aleksei, Alexey, Aleksey) L. Semenov (also Semyonov, Semёnov)
2142:
Semenov, A.; Knierzinger, A. J.; Martcheva, K.; Roesvik, S.; Schmidt, E.
1033:
1016:
249:
Faculty of Mechanics and Mathematics of Lomonosov Moscow State University
2434:
1791:
Proceedings of the 13th International Congress on Mathematical Education
756:"On Certain Extensions of the Arithmetic of Addition of Natural Numbers"
2393:
1957:
1638:
1606:
1401:. Научный совет по комплексной проблеме «Кибернетика» АН СССР: 182–191.
1095:
865:
803:"Logical Theories of One-place Functions on the Set of Natural Numbers"
671:
The President of the Russian Federation Award in the field of education
600:
537:(2013–2016) – the leading teacher-training institution in the country.
1482:. Cambridge, Massachusetts London, England: The MIT Press. p. 372
1462:Человек Достроенный и этика. Цивилизация как этап развития жизни Земли
621:
In 2007–2009, he served as a member of the Executive Committee of the
2222:. Moscow: UNESCO Institute for Information Technologies in Education.
1251:. Vol. 251. Dordrecht: Kluwer Academic Publishers. p. 269.
1121:"On the Role of the Law of Large Numbers in the Theory of Randomness"
849:
592:
89:
54:
2306:
1622:
1421:в кн. Лекторский В. А. «Человек и системы искусственного интеллекта»
1379:Способ кодирования (распознавания) смысловой информации устной речи
985:
962:"Lattice of Definability (of Reducts) for Integers with Successor"
913:
2435:""Школа игнорирует цифровые технологии или даже противостоит им""
2234:"Information and Communication Technologies in Teacher Education"
453:
604:
1953:"The «School» project of Academy of Sciences of the USSR, 1991"
406:, and Russian mathematical circles constructionist approach of
2307:"Указ Президента Российской Федерации от 06.10.1998 г. № 1200"
717:
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir (2014).
501:
2202:. UNESCO Institute for Information Technologies in Education.
1585:
Traylor, Reginald D.; Bane, William; Jones, Madeline (1972).
677:
Russian Federation Government Prize in the field of education
850:"Presburgerness of Predicates Regular in Two Number Systems"
601:
Second Information Technology in Education Study: SITES 2006
565:(2012–2018). He was also the Editor-in-Chief of the journal
505:
155:
Axel Berg Institute of Cybernetics and Educational Computing
1280:
Uspenskii, V A; Semenov, A L; Shen', A. Kh. (1990-02-28).
591:
Alexei Semenov's vision was supported and disseminated by
2028:
The Connected Family: Bridging the Digital Generation Gap
1655:
Mindstorms : children, computers, and powerful ideas
1282:"Can an Individual Sequence of Zeros and Ones be Random?"
551:
445:
605:
International Task Force on Teachers for Education 2030
569:(from 2021). He served as invited editor to volumes of
2360:
Rudchenko, T.; Soprunov, S.; Uvarov, A. (2021-02-21).
2332:"Распоряжение Правительства РФ от 28.08.2009 N 1246-р"
1605:
Halmos, P. R.; Moise, E. E.; Piranian, George (1975).
638:
in the Division of Mathematical Sciences (since 2011).
449:
1594:. Houston, Texas: University of Houston. p. 478.
1214:
Algorithms in Modern Mathematics and Computer Science
273:«Logical Theories of One-place Functions on Integers»
689:
His wife is E. I. Bulin–Sokolova, a graduate of the
623:
International Commission on Mathematical Instruction
552:
Institute of Education of Higher School of Economics
1436:"The Instrumental Method in Psychology by Vygotsky"
216:(Russian: Алексей Львович Семенов; born 1950) is a
193:
181:
147:
137:
118:
108:
95:
65:
37:
21:
2362:"70 Year Jubilee of Academician Alexei L. Semenov"
2254:"Laureates of the ICT in Education Prize | UNESCO"
2145:Informatics for Primary Education: Recommendations
1785:Polikarpov, Sergei A.; Semenov, Alexei L. (2017).
1546:Konstantinov, N. N.; Semenov, A. L. (2021-04-07).
1015:Semenov, Alexei; Soprunov, Sergei (January 2022).
2398:International Forum Eurasian Educational Dialogue
1658:. Internet Archive. New York : Basic Books.
1088:Mathematical Foundations of Computer Science 1984
504:at Lomonosov Moscow State University, and at the
1210:"What are the gains of the theory of algorithms"
2518:Full Members of the Russian Academy of Sciences
2503:Alexei Semenov — personal page on GoogleScholar
599:Alexei Semenov was the national coordinator of
283:Semenov conducted his research in the field of
1548:"Productive Education in Mathematical Schools"
1119:Muchnik, An. A.; Semenov, A. L. (2003-01-01).
960:Semenov, A. L.; Soprunov, S. F. (2021-12-01).
2498:Alexei Semenov — personal page on Math-Net.ru
2239:. Division of Higher Education, UNESCO. 2002.
1423:(in Russian). М.: Юридический центр: 172–200.
533:He was the President and CEO (Rector) of the
518:He was the President and CEO (Rector) of the
261:«On definability in some decidable theories».
8:
2493:Alexei Semenov — personal page on ISTINA MSU
2052:Alexandrov, K.; Soprunov, S.; Yakovleva, E.
649:UNESCO – King Hamad Bin Isa Al-Khalifa Prize
526:and returned the mathematician and teacher
386:to the educational context of mass school.
1874:Communications and Networking in Education
1588:Creative Teaching: Heritage of R. L. Moore
723:Computer Science - Theory and Applications
473:In 2021, he started a Master's Program at
168:Moscow Institute of Physics and Technology
29:
18:
2543:Academic staff of Moscow State University
1995:
1881:
1726:
1352:
1032:
912:
573:and MDPI – Mathematics (2022, 2023) (see
1715:Continuum. Maths. Informatics. Education
1337:"Mathematical Metaphysics of Randomness"
1245:Uspensky, V. A.; Semenov, A. L. (1993).
1208:Uspensky, V. A.; Semenov, A. L. (1981).
545:MSU Faculty of Mechanics and Mathematics
325:International Congress of Mathematicians
2118:"Charter for the Digital Way of School"
1523:(in French). Paris: Éditions Le Pommier
1248:Algorithms: Main Ideas and Applications
709:
2151:
1901:(in Russian). Moscow: Prosveshchenie.
1870:"Technology in Transforming Education"
500:He taught at the Moscow school No. 7,
271:in 1984, with his dissertation titled
164:Institute of Education, HSE University
2248:
2246:
2054:"Logo for the Illiterate Programmers"
1541:
1539:
1537:
7:
1876:. Boston, MA, USA: Springer: 25–36.
1758:Semenov, A.; Polikarpov, S. (2020).
1412:А. Л. Семенов, К. Е. Зискин (2022).
1125:Problems of Information Transmission
509:Faculty of Mechanics and Mathematics
390:Education: Theory and Implementation
1924:"Development of Teaching Materials"
700:and subsequent relations with her.
535:Moscow State Pedagogical University
488:, where he became a vice-chairman.
160:Moscow State Pedagogical University
2378:10.22405/2226-8383-2021-22-1-27-56
2031:. Atlanta, Ga.: Longstreet Press.
1937:Prof. A. Semenov's personal page.
1922:Prof. A. Semenov's personal page.
1694:Prof. A. Semenov's personal page.
1679:Prof. A. Semenov's personal page.
1607:"The Problem of Learning to Teach"
1506:. Oxford Univ. Press. p. 229.
1084:"Decidability of monadic theories"
557:He was the Editor-in-Chief of the
520:Moscow Institute of Open Education
14:
1997:10.17323/1814-9545-2017-1-269-294
1849:Firsov, Victor; Semenov, Alexey.
1611:The American Mathematical Monthly
807:Mathematics of the USSR-Izvestiya
760:Mathematics of the USSR-Izvestiya
513:Lomonosov Moscow State University
502:Andrey Kolmogorov boarding school
436:'s Problem Group on Education at
255:in 1975 under scientific advisor
152:Lomonosov Moscow State University
506:Department of Mathematical Logic
331:and Semenov solved a problem of
269:Steklov Institute of Mathematics
267:in Physics and Mathematics from
122:
82:
70:
1728:10.24888/2500-1957-2022-3-25-39
1306:10.1070/rm1990v045n01abeh002321
931:10.1070/rm2009v064n05abeh004641
827:10.1070/im1984v022n03abeh001456
780:10.1070/IM1980v015n02ABEH001252
550:He is the Senior expert at the
496:Teaching and Research Positions
2538:Moscow State University alumni
2082:"Персонализированное обучение"
1851:"School Mathematics in Russia"
575:List of MDPI academic journals
259:. His dissertation was titled
113:Moscow State University (1972)
1:
2182:. Paris: UNESCO. p. 327.
2148:. IITE, Moscow, 2000. – 80 p.
1799:10.1007/978-3-319-62597-3_101
1354:10.1016/S0304-3975(98)00069-3
1168:"On Tables of Random Numbers"
897:"Sequences Close to Periodic"
854:Siberian Mathematical Journal
848:Semenov, A. L. (1977-03-01).
801:Semënov, A. L. (1984-06-30).
754:Semenov, A. L. (1980-04-30).
438:Bulgarian Academy of Sciences
338:Among other his students are
2466:Russian Academy of Education
2437:(in Russian). 28 August 2021
2086:МАОУ Гимназия №210 «Корифей»
1883:10.1007/978-0-387-35499-6_29
1830:Semenov, Aleksey L. (2016).
1341:Theoretical Computer Science
1286:Russian Mathematical Surveys
901:Russian Mathematical Surveys
643:Russian Academy of Education
571:Theoretical Computer Science
293:theoretical computer science
2528:Russian computer scientists
2454:Russian Academy of Sciences
1868:Semenov, Alexei L. (2000).
1180:10.1007/978-94-017-2973-4_9
731:10.1007/978-3-319-06686-8_3
636:Russian Academy of Sciences
226:Russian Academy of Sciences
2574:
2553:Soviet computer scientists
1459:Фейгенберг, И. М. (2011).
1166:Kolmogorov, A. N. (1993),
486:Great Russian Encyclopedia
230:Lomonosov State University
1564:10.1134/S1064562423700369
1257:10.1007/978-94-015-8232-2
323:'s problem, posed at the
207:
130:
28:
2462:"Semenov Alexei Lvovich"
2450:"Semenov Alexei Lvovich"
2158:: CS1 maint: location (
1652:Papert, Seymour (1980).
1434:Vygotsky, L. S. (1930).
1222:10.1007/3-540-11157-3_27
1056:Muchnik, An. A. (1992).
584:International Activities
243:Early life and education
1517:Michel, Serres (2012).
1476:Sherry, Turkle (2005).
1376:Семенова Е. Т. (1965).
1137:10.1023/A:1023638717091
1082:Semenov, A. L. (1984).
691:Moscow State University
554:(Moscow) (2017 – now).
475:Moscow State University
297:artificial intelligence
253:Moscow State University
2523:Russian mathematicians
966:Izvestiya: Mathematics
415:Inquiry-based learning
313:Cobham–Semenov Theorem
176:Moscow City University
2548:Soviet mathematicians
2366:Chebyshevskii Sbornik
348:Tatyana Starikovskaya
218:Russian mathematician
16:Russian mathematician
2474:"Dr. Alexei Semenov"
2173:Semenov, A. (2005).
1978:Semenov, A. (2017).
1034:10.3390/math10203748
528:Nikolay Konstantinov
454:Key Curriculum Press
396:Nikolay Konstantinov
309:decidability results
2025:Papert, S. (1996).
1990:. Moscow: 269–294.
1984:Voprosy Obrazovania
1552:Doklady Mathematics
1298:1990RuMaS..45..121U
978:2021IzMat..85.1257S
923:2009RuMaS..64..805M
819:1984IzMat..22..587S
772:1980IzMat..15..401S
641:Academician of the
634:Academician of the
567:Doklady Mathematics
372:Josef M. Feigenberg
279:Career and Research
263:He also received a
2193:Kalaš, I. (2010).
1500:Clark, A. (2003).
1096:10.1007/BFb0030296
866:10.1007/BF00967164
629:Awards and honours
285:mathematical logic
265:Doctor of Sciences
220:, educationalist,
142:Mathematical logic
2292:978-90-79549-04-7
1808:978-3-319-62597-3
1665:978-0-465-04627-0
1266:978-90-481-4256-9
1231:978-3-540-38621-6
1189:978-94-017-2973-4
1105:978-3-540-38929-3
740:978-3-319-06686-8
333:Andrey Kolmogorov
299:, and education.
211:
210:
194:Doctoral students
172:Herzen University
132:Scientific career
103:
2565:
2487:
2485:
2484:
2469:
2457:
2445:
2443:
2442:
2431:
2429:
2428:
2423:Publ. 2021-08-28
2417:Kommersant Paper
2408:
2406:
2405:
2389:
2347:
2346:
2344:
2343:
2328:
2322:
2321:
2319:
2318:
2311:Президент России
2303:
2297:
2296:
2284:
2274:
2268:
2267:
2265:
2264:
2250:
2241:
2240:
2238:
2230:
2224:
2223:
2221:
2210:
2204:
2203:
2201:
2190:
2184:
2183:
2181:
2170:
2164:
2163:
2157:
2149:
2139:
2133:
2132:
2130:
2129:
2114:
2108:
2107:
2096:
2090:
2089:
2078:
2072:
2071:
2064:
2058:
2057:
2049:
2043:
2042:
2022:
2016:
2015:
2012:"Logo in Russia"
2008:
2002:
2001:
1999:
1975:
1969:
1968:
1966:
1965:
1949:
1943:
1942:
1934:
1928:
1927:
1919:
1913:
1912:
1894:
1888:
1887:
1885:
1865:
1859:
1858:
1846:
1840:
1839:
1827:
1821:
1820:
1782:
1776:
1775:
1764:
1755:
1749:
1748:
1730:
1706:
1700:
1699:
1691:
1685:
1684:
1676:
1670:
1669:
1649:
1643:
1642:
1602:
1596:
1595:
1593:
1582:
1576:
1575:
1543:
1532:
1531:
1529:
1528:
1514:
1508:
1507:
1497:
1491:
1490:
1488:
1487:
1473:
1467:
1466:
1456:
1450:
1449:
1447:
1446:
1440:www.marxists.org
1431:
1425:
1424:
1418:
1409:
1403:
1402:
1390:
1384:
1383:
1373:
1367:
1366:
1356:
1332:
1326:
1325:
1277:
1271:
1270:
1242:
1236:
1235:
1205:
1199:
1198:
1197:
1196:
1163:
1157:
1156:
1116:
1110:
1109:
1079:
1073:
1072:
1062:
1053:
1047:
1046:
1036:
1012:
1006:
1005:
972:(6): 1257–1269.
957:
951:
950:
916:
892:
886:
885:
845:
839:
838:
798:
792:
791:
751:
745:
744:
714:
656:Kolmogorov Prize
434:Blagovest Sendov
400:Robert Lee Moore
358:Computing and AI
321:Michael O. Rabin
183:Doctoral advisor
126:
101:
100:Full Member RAS
88:
86:
85:
76:
74:
73:
51:
48:October 13, 1950
47:
45:
33:
19:
2573:
2572:
2568:
2567:
2566:
2564:
2563:
2562:
2508:
2507:
2482:
2480:
2472:
2460:
2456:. 20 June 2022.
2448:
2440:
2438:
2433:
2426:
2424:
2411:
2403:
2401:
2392:
2359:
2356:
2351:
2350:
2341:
2339:
2330:
2329:
2325:
2316:
2314:
2305:
2304:
2300:
2293:
2282:
2276:
2275:
2271:
2262:
2260:
2252:
2251:
2244:
2236:
2232:
2231:
2227:
2219:
2212:
2211:
2207:
2199:
2192:
2191:
2187:
2179:
2172:
2171:
2167:
2150:
2141:
2140:
2136:
2127:
2125:
2116:
2115:
2111:
2098:
2097:
2093:
2080:
2079:
2075:
2066:
2065:
2061:
2051:
2050:
2046:
2039:
2024:
2023:
2019:
2010:
2009:
2005:
1977:
1976:
1972:
1963:
1961:
1951:
1950:
1946:
1936:
1935:
1931:
1921:
1920:
1916:
1909:
1896:
1895:
1891:
1867:
1866:
1862:
1848:
1847:
1843:
1829:
1828:
1824:
1809:
1784:
1783:
1779:
1762:
1757:
1756:
1752:
1708:
1707:
1703:
1693:
1692:
1688:
1678:
1677:
1673:
1666:
1651:
1650:
1646:
1623:10.2307/2319737
1604:
1603:
1599:
1591:
1584:
1583:
1579:
1545:
1544:
1535:
1526:
1524:
1520:Petite Poucette
1516:
1515:
1511:
1499:
1498:
1494:
1485:
1483:
1475:
1474:
1470:
1458:
1457:
1453:
1444:
1442:
1433:
1432:
1428:
1416:
1411:
1410:
1406:
1392:
1391:
1387:
1375:
1374:
1370:
1334:
1333:
1329:
1279:
1278:
1274:
1267:
1244:
1243:
1239:
1232:
1207:
1206:
1202:
1194:
1192:
1190:
1165:
1164:
1160:
1118:
1117:
1113:
1106:
1081:
1080:
1076:
1060:
1055:
1054:
1050:
1014:
1013:
1009:
959:
958:
954:
894:
893:
889:
847:
846:
842:
800:
799:
795:
753:
752:
748:
741:
716:
715:
711:
706:
698:Jana Ryšlinková
687:
661:A.N. Kolmogorov
631:
614:(originated in
586:
547:(2018 – now).
530:to work there.
498:
392:
364:Dmitry Pospelov
360:
305:
281:
245:
174:
170:
166:
162:
158:
156:
154:
109:Alma mater
83:
81:
80:
71:
69:
61:
52:
49:
43:
41:
24:
17:
12:
11:
5:
2571:
2569:
2561:
2560:
2555:
2550:
2545:
2540:
2535:
2530:
2525:
2520:
2510:
2509:
2506:
2505:
2500:
2495:
2489:
2488:
2470:
2458:
2446:
2409:
2390:
2368:(in Russian).
2355:
2354:External links
2352:
2349:
2348:
2323:
2298:
2291:
2269:
2258:www.unesco.org
2242:
2225:
2205:
2185:
2165:
2134:
2109:
2091:
2073:
2059:
2044:
2037:
2017:
2003:
1986:(in Russian).
1970:
1944:
1929:
1914:
1907:
1889:
1860:
1841:
1822:
1807:
1777:
1750:
1701:
1686:
1671:
1664:
1644:
1617:(5): 466–476.
1597:
1577:
1533:
1509:
1492:
1468:
1451:
1426:
1404:
1397:(in Russian).
1385:
1368:
1347:(2): 263–317.
1327:
1292:(1): 121–189.
1272:
1265:
1237:
1230:
1200:
1188:
1158:
1131:(1): 119–147.
1111:
1104:
1074:
1048:
1007:
986:10.1070/im9107
952:
907:(5): 805–871.
887:
860:(2): 289–300.
840:
813:(3): 587–618.
793:
766:(2): 401–418.
746:
739:
708:
707:
705:
702:
686:
683:
682:
681:
674:
668:
665:Andrey Muchnik
652:
646:
639:
630:
627:
616:St. Petersburg
585:
582:
561:Kvant magazine
524:School No. 179
497:
494:
408:Seymour Papert
391:
388:
359:
356:
340:Alexei Lisitsa
317:Andrey Muchnik
304:
301:
280:
277:
257:Albert Muchnik
244:
241:
209:
208:
205:
204:
198:Andrey Muchnik
195:
191:
190:
188:Albert Muchnik
185:
179:
178:
149:
145:
144:
139:
135:
134:
128:
127:
120:
116:
115:
110:
106:
105:
97:
93:
92:
67:
63:
62:
53:
39:
35:
34:
26:
25:
23:Alexei Semenov
22:
15:
13:
10:
9:
6:
4:
3:
2:
2570:
2559:
2556:
2554:
2551:
2549:
2546:
2544:
2541:
2539:
2536:
2534:
2533:Living people
2531:
2529:
2526:
2524:
2521:
2519:
2516:
2515:
2513:
2504:
2501:
2499:
2496:
2494:
2491:
2490:
2479:
2475:
2471:
2467:
2463:
2459:
2455:
2451:
2447:
2436:
2422:
2418:
2414:
2410:
2399:
2395:
2391:
2387:
2383:
2379:
2375:
2371:
2367:
2363:
2358:
2357:
2353:
2337:
2333:
2327:
2324:
2312:
2308:
2302:
2299:
2294:
2288:
2281:
2280:
2273:
2270:
2259:
2255:
2249:
2247:
2243:
2235:
2229:
2226:
2218:
2217:
2209:
2206:
2198:
2197:
2189:
2186:
2178:
2177:
2169:
2166:
2161:
2155:
2147:
2146:
2138:
2135:
2123:
2122:rffi.1sept.ru
2119:
2113:
2110:
2106:(in Russian).
2105:
2101:
2095:
2092:
2088:(in Russian).
2087:
2083:
2077:
2074:
2070:(in Russian).
2069:
2063:
2060:
2055:
2048:
2045:
2040:
2038:9781563523359
2034:
2030:
2029:
2021:
2018:
2013:
2007:
2004:
1998:
1993:
1989:
1985:
1981:
1974:
1971:
1960:
1959:
1954:
1948:
1945:
1940:
1933:
1930:
1925:
1918:
1915:
1910:
1908:5-09-000593-1
1904:
1900:
1893:
1890:
1884:
1879:
1875:
1871:
1864:
1861:
1856:
1852:
1845:
1842:
1837:
1833:
1826:
1823:
1818:
1814:
1810:
1804:
1800:
1796:
1792:
1788:
1781:
1778:
1773:
1769:
1761:
1754:
1751:
1746:
1742:
1738:
1734:
1729:
1724:
1720:
1716:
1712:
1705:
1702:
1698:(in Russian).
1697:
1690:
1687:
1683:(in Russian).
1682:
1675:
1672:
1667:
1661:
1657:
1656:
1648:
1645:
1640:
1636:
1632:
1628:
1624:
1620:
1616:
1612:
1608:
1601:
1598:
1590:
1589:
1581:
1578:
1573:
1569:
1565:
1561:
1558:: S270–S287.
1557:
1553:
1549:
1542:
1540:
1538:
1534:
1522:
1521:
1513:
1510:
1505:
1504:
1496:
1493:
1481:
1480:
1472:
1469:
1464:
1463:
1455:
1452:
1441:
1437:
1430:
1427:
1422:
1415:
1408:
1405:
1400:
1396:
1389:
1386:
1382:(in Russian).
1381:
1380:
1372:
1369:
1364:
1360:
1355:
1350:
1346:
1342:
1338:
1331:
1328:
1323:
1319:
1315:
1311:
1307:
1303:
1299:
1295:
1291:
1287:
1283:
1276:
1273:
1268:
1262:
1258:
1254:
1250:
1249:
1241:
1238:
1233:
1227:
1223:
1219:
1215:
1211:
1204:
1201:
1191:
1185:
1181:
1177:
1173:
1169:
1162:
1159:
1154:
1150:
1146:
1142:
1138:
1134:
1130:
1126:
1122:
1115:
1112:
1107:
1101:
1097:
1093:
1089:
1085:
1078:
1075:
1070:
1066:
1059:
1052:
1049:
1044:
1040:
1035:
1030:
1026:
1022:
1018:
1011:
1008:
1003:
999:
995:
991:
987:
983:
979:
975:
971:
967:
963:
956:
953:
948:
944:
940:
936:
932:
928:
924:
920:
915:
910:
906:
902:
898:
891:
888:
883:
879:
875:
871:
867:
863:
859:
855:
851:
844:
841:
836:
832:
828:
824:
820:
816:
812:
808:
804:
797:
794:
789:
785:
781:
777:
773:
769:
765:
761:
757:
750:
747:
742:
736:
732:
728:
724:
720:
713:
710:
703:
701:
699:
694:
692:
685:Personal life
684:
678:
675:
672:
669:
666:
662:
658:
657:
653:
650:
647:
645:(since 2010).
644:
640:
637:
633:
632:
628:
626:
624:
619:
617:
613:
608:
606:
602:
597:
594:
589:
583:
581:
578:
576:
572:
568:
564:
562:
555:
553:
548:
546:
541:
538:
536:
531:
529:
525:
521:
516:
514:
510:
507:
503:
495:
493:
489:
487:
482:
480:
476:
471:
467:
464:
460:
458:
455:
451:
447:
443:
442:Robert Tinker
439:
435:
431:
430:MIT Media Lab
425:
423:
418:
416:
411:
409:
405:
401:
397:
389:
387:
385:
384:Michel Serres
381:
377:
376:Sherry Turkle
373:
369:
365:
357:
355:
353:
352:Vladimir Vovk
349:
345:
344:Yuri Pritykin
341:
336:
334:
330:
326:
322:
318:
314:
310:
302:
300:
298:
294:
290:
286:
278:
276:
274:
270:
266:
262:
258:
254:
250:
242:
240:
239:
235:
231:
227:
223:
219:
215:
206:
203:
202:Vladimir Vovk
199:
196:
192:
189:
186:
184:
180:
177:
173:
169:
165:
161:
153:
150:
146:
143:
140:
136:
133:
129:
125:
121:
117:
114:
111:
107:
104:
98:
94:
91:
79:
68:
64:
60:
56:
50:(age 73)
40:
36:
32:
27:
20:
2481:. Retrieved
2477:
2465:
2453:
2439:. Retrieved
2425:. Retrieved
2416:
2402:. Retrieved
2400:. 2013-04-17
2397:
2369:
2365:
2340:. Retrieved
2338:(in Russian)
2335:
2326:
2315:. Retrieved
2313:(in Russian)
2310:
2301:
2278:
2272:
2261:. Retrieved
2257:
2228:
2215:
2208:
2195:
2188:
2175:
2168:
2144:
2137:
2126:. Retrieved
2124:(in Russian)
2121:
2112:
2103:
2094:
2085:
2076:
2062:
2047:
2027:
2020:
2006:
1987:
1983:
1973:
1962:. Retrieved
1956:
1947:
1932:
1917:
1898:
1892:
1873:
1863:
1854:
1844:
1835:
1825:
1790:
1780:
1771:
1766:
1753:
1721:(3): 25–39.
1718:
1714:
1704:
1689:
1674:
1654:
1647:
1614:
1610:
1600:
1587:
1580:
1555:
1551:
1525:. Retrieved
1519:
1512:
1502:
1495:
1484:. Retrieved
1478:
1471:
1461:
1454:
1443:. Retrieved
1439:
1429:
1420:
1407:
1398:
1394:
1388:
1378:
1371:
1344:
1340:
1330:
1289:
1285:
1275:
1247:
1240:
1213:
1203:
1193:, retrieved
1171:
1161:
1128:
1124:
1114:
1087:
1077:
1068:
1064:
1051:
1027:(20): 3748.
1024:
1020:
1010:
969:
965:
955:
904:
900:
890:
857:
853:
843:
810:
806:
796:
763:
759:
749:
722:
712:
695:
688:
676:
670:
654:
648:
620:
609:
603:, member of
598:
590:
587:
579:
558:
556:
549:
542:
539:
532:
517:
499:
490:
483:
472:
468:
465:
461:
456:
444:'s group at
426:
422:A. P. Ershov
419:
412:
393:
368:Lev Vygotsky
361:
337:
306:
282:
272:
260:
246:
213:
212:
148:Institutions
131:
78:Soviet Union
2558:1950 births
2478:WISE Awards
2104:www.rfbr.ru
1768:Proceedings
1065:Bull. EATCS
1021:Mathematics
479:Paul Halmos
404:Paul Halmos
303:Mathematics
289:cybernetics
222:Academician
157:FRC CSC RAS
66:Citizenship
2512:Categories
2483:2022-01-13
2441:2022-01-13
2427:2022-01-13
2421:Kommersant
2404:2022-01-13
2342:2023-01-02
2317:2023-01-02
2263:2023-01-02
2128:2023-01-01
1964:2022-01-13
1527:2023-01-01
1486:2023-01-01
1445:2023-01-01
1195:2023-01-01
1071:: 220–267.
704:References
380:Andy Clark
44:1950-10-13
2386:242729039
2372:: 27―56.
2336:rulaws.ru
2154:cite book
1817:158056161
1745:252471333
1737:2500-1957
1631:0002-9890
1572:257776345
1363:0304-3975
1322:250890901
1314:0036-0279
1145:1608-3253
1043:2227-7390
1002:228924490
994:1064-5632
947:250847001
939:0036-0279
914:0903.5316
882:119658350
874:1573-9260
835:0025-5726
788:0025-5726
327:in Nice.
234:Professor
96:Education
2432:Source:
1153:34117181
1958:YouTube
1639:2319737
1294:Bibcode
974:Bibcode
919:Bibcode
815:Bibcode
768:Bibcode
680:1246-r.
607:, etc.
329:Muchnik
319:solved
238:Dr. Sc.
224:of the
2384:
2289:
2035:
1905:
1815:
1805:
1774:: 1–8.
1743:
1735:
1662:
1637:
1629:
1570:
1361:
1320:
1312:
1263:
1228:
1186:
1151:
1143:
1102:
1041:
1000:
992:
945:
937:
880:
872:
833:
786:
737:
593:UNESCO
236:, and
138:Fields
119:Awards
102:(2011)
90:Russia
87:
75:
55:Moscow
2382:S2CID
2283:(PDF)
2237:(PDF)
2220:(PDF)
2200:(PDF)
2180:(PDF)
1813:S2CID
1763:(PDF)
1741:S2CID
1635:JSTOR
1592:(PDF)
1568:S2CID
1417:(PDF)
1318:S2CID
1149:S2CID
1061:(PDF)
998:S2CID
943:S2CID
909:arXiv
878:S2CID
2287:ISBN
2160:link
2033:ISBN
1903:ISBN
1803:ISBN
1772:2770
1733:ISSN
1660:ISBN
1627:ISSN
1359:ISSN
1310:ISSN
1261:ISBN
1226:ISBN
1184:ISBN
1141:ISSN
1100:ISBN
1039:ISSN
990:ISSN
935:ISSN
870:ISSN
831:ISSN
784:ISSN
735:ISBN
450:LCSI
446:TERC
382:and
350:and
59:USSR
38:Born
2374:doi
1992:doi
1878:doi
1795:doi
1723:doi
1619:doi
1560:doi
1556:106
1399:117
1349:doi
1345:207
1302:doi
1253:doi
1218:doi
1176:doi
1133:doi
1092:doi
1029:doi
982:doi
927:doi
862:doi
823:doi
776:doi
727:doi
612:ORT
577:.)
511:at
2514::
2476:.
2464:.
2452:.
2419:.
2415:.
2396:.
2380:.
2370:22
2364:.
2334:.
2309:.
2256:.
2245:^
2156:}}
2152:{{
2120:.
2102:.
2084:.
1982:.
1955:.
1872:.
1853:.
1834:.
1811:.
1801:.
1789:.
1770:.
1765:.
1739:.
1731:.
1719:27
1717:.
1713:.
1633:.
1625:.
1615:82
1613:.
1609:.
1566:.
1554:.
1550:.
1536:^
1438:.
1419:.
1357:.
1343:.
1339:.
1316:.
1308:.
1300:.
1290:45
1288:.
1284:.
1259:.
1224:.
1212:.
1182:,
1170:,
1147:.
1139:.
1129:39
1127:.
1123:.
1098:.
1086:.
1069:48
1067:.
1063:.
1037:.
1025:10
1023:.
1019:.
996:.
988:.
980:.
970:85
968:.
964:.
941:.
933:.
925:.
917:.
905:64
903:.
899:.
876:.
868:.
858:18
856:.
852:.
829:.
821:.
811:22
809:.
805:.
782:.
774:.
764:15
762:.
758:.
733:.
721:.
625:.
515:.
481:.
452:,
448:,
440:,
432:,
410:.
402:,
378:,
374:,
370:,
354:.
346:,
342:,
311:,
295:,
291:,
287:,
275:.
232:,
200:,
57:,
46:)
2486:.
2468:.
2444:.
2430:.
2407:.
2388:.
2376::
2345:.
2320:.
2295:.
2266:.
2162:)
2131:.
2056:.
2041:.
2014:.
2000:.
1994::
1988:1
1967:.
1941:.
1926:.
1911:.
1886:.
1880::
1857:.
1838:.
1819:.
1797::
1747:.
1725::
1668:.
1641:.
1621::
1574:.
1562::
1530:.
1489:.
1448:.
1365:.
1351::
1324:.
1304::
1296::
1269:.
1255::
1234:.
1220::
1178::
1155:.
1135::
1108:.
1094::
1045:.
1031::
1004:.
984::
976::
949:.
929::
921::
911::
884:.
864::
837:.
825::
817::
790:.
778::
770::
743:.
729::
667:.
563:»
559:«
457:.
42:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
