Сегодня, 13 октября 2025 года, исполняется 75 лет академику РАН и РАО Алексею Львовичу Семёнову – выдающемуся ученому, чья научная траектория уникальным образом соединила строгую математику, архитектуру современного образования и стратегические задачи развития искусственного интеллекта в России.
Академик Алексей Семенов. Фото: Коммерсантъ / Игорь Иванко
Как «слова», из которых состоят числа, распознаются конечным автоматом и почему это фундаментально связано с логикой? Где пролегают границы того, что в принципе может быть вычислено? Можно ли составить полную «карту» всех математических отношений, которые допускает такая простая структура, как целые числа? Ответы на эти, казалось бы, абстрактные вопросы, полученные в работах академика А.Л. Семёнова, сегодня лежат в основе решения самых насущных проблем цифровой эпохи.
Его фундаментальные результаты – от обобщения классической теоремы Кобхэма, связавшей автоматную распознаваемость с арифметикой, до работ по границам разрешимости логических теорий и новейших исследований по «геометрии определимости» (решёток редуктов) – сформировали целый научный ландшафт. Эти работы позволили глубже понять, как устроены вычислимые миры и каковы их непреложные законы.
Но уникальность академика Алексея Семёнова заключается в том, что он последовательно транслирует это глубокое теоретическое понимание в практику национального масштаба. Именно он стоял у истоков школьной информатики в СССР, продвигая идею «программирования как второй грамотности» – концепцию, которая сегодня стала мировым мейнстримом. Его деятельностный подход к образованию, где компьютерный эксперимент сочетается с культурой строгого доказательства, находит яркое воплощение в проектных курсах для одаренных школьников, на которых старшеклассники получают оригинальные математические результаты, публикуемые в ведущих академических журналах.
Сегодня, в эпоху стремительного развития нейросетей, научное видение Алексея Львовича Семёнова актуально как никогда. В качестве главного редактора журнала «Доклады РАН. Математика, информатика, процессы управления» / Doklady Mathematics он инициирует междисциплинарные спецвыпуски на стыке математики и ИИ, задавая ключевой вопрос: как обеспечить доверие к интеллектуальным системам? Его ответ однозначен: только через строгие математические модели, формальную верификацию и проверяемые метрики качества.
Руководя кафедрой математической логики и теории алгоритмов в МГУ и Институтом кибернетики и образовательной информатики им. А.И. Берга ФИЦ ИУ РАН, а также Лабораторией инженерии знаний Института математических исследований сложных систем МГУ, академик Алексей Семёнов продолжает формировать экосистему, в которой фундаментальная наука становится фундаментом для ответственных технологических и образовательных практик.
Редакция портала «Научная Россия» поздравляет Алексея Львовича Семёнова с юбилеем и желает ему крепкого здоровья, неиссякаемой энергии и новых открытий на фронтире математики и искусственного интеллекта!
Информация предоставлена ИМИСС МГУ
Источник фото: Коммерсантъ / Игорь Иванко
