Юрий Ершов

Юрий Ершов (род. 5 мая 1940, Москва) — советский и российский учёный-математик, академик Российской академии наук (РАН), специалист в области математической логики, теории алгоритмов и теоретического программирования. Основатель научной школы по алгебраической теории моделей и конструктивным моделям. Лауреат Государственной премии СССР (1980) и премии имени А. Н. Колмогорова РАН (2003).

Биография

Ранние годы и образование

Юрий Леонидович Ершов родился 5 мая 1940 года в Москве. В 1963 году окончил механико-математический факультет Московского государственного университета имени М. В. Ломоносова (МГУ). После окончания университета поступил в аспирантуру, где его научным руководителем стал академик Пётр Сергеевич Новиков. В 1966 году защитил кандидатскую диссертацию на тему «Нумерации семейств общерекурсивных функций», а в 1969 году — докторскую диссертацию «Теория нумераций».

Научная и преподавательская деятельность

С 1967 года Юрий Ершов работает в Институте математики Сибирского отделения АН СССР (ныне — Институт математики имени С. Л. Соболева Сибирского отделения РАН) в Новосибирске. С 1970 года заведует отделом алгебры и математической логики этого института. Одновременно с 1970 года преподаёт на механико-математическом факультете Новосибирского государственного университета (НГУ), где основал кафедру математической логики. В 1972 году избран членом-корреспондентом АН СССР, в 1991 году — академиком РАН.

В 1980-х — 1990-х годах занимал руководящие должности: был директором Института математики СО РАН (1986—1990), главным учёным секретарём Сибирского отделения РАН (1990—1997). В 1997—2003 годах — вице-президент РАН, курировал вопросы математики и информатики. В 2003—2013 годах — председатель Сибирского отделения РАН.

Научные достижения

Теория нумераций

Основной вклад Юрия Ершова связан с развитием теории нумераций — раздела математической логики, изучающего способы кодирования объектов (например, рекурсивно перечислимых множеств) натуральными числами. Он ввёл понятие главной нумерации, доказал теорему о существовании главной нумерации для любого семейства рекурсивно перечислимых множеств (теорема Ершова). Эти результаты легли в основу современной теории вычислимости.

Алгебраическая теория моделей

Ершов разработал теорию конструктивных моделей — алгебраических структур, допускающих эффективное представление в виде алгоритмов. Он установил связь между свойствами моделей (например, разрешимостью теорий) и их алгебраическими характеристиками. Ввёл понятие локально конечной модели и доказал критерии разрешимости для теорий полей и колец.

Теория алгоритмов и программирование

В 1970-х годах совместно с учениками Юрий Ершов создал алгебраическую теорию программирования, в которой программы рассматриваются как элементы алгебраических структур (например, полугрупп). Разработал формальные модели для анализа свойств программ (корректность, эквивалентность, завершаемость). Эти работы повлияли на развитие методов верификации программного обеспечения.

Другие направления

• Теория полей: исследовал разрешимость теорий полей с заданными свойствами, в частности, доказал разрешимость теории поля вещественных чисел с экспонентой.
• Математическая кибернетика: внёс вклад в теорию сложности вычислений и алгоритмическую теорию информации.

Основные труды

Юрий Ершов — автор более 300 научных работ, включая 10 монографий. Наиболее известные книги:

• «Теория нумераций» (1977, переиздана на английском в 1999) — фундаментальный труд, систематизирующий результаты по нумерациям рекурсивных функций.
• «Проблемы разрешимости и конструктивные модели» (1980) — монография по алгебраической теории моделей.
• «Математическая логика» (1987, в соавторстве с Е. А. Палютиным) — учебник для вузов, выдержавший несколько изданий.
• «Алгебраическая теория программирования» (1991) — изложение формальных основ программирования.

Награды и звания

• Государственная премия СССР (1980) — за цикл работ по теории нумераций.
• Премия имени А. Н. Колмогорова РАН (2003) — за выдающиеся достижения в области математической логики.
• Орден «За заслуги перед Отечеством» III степени (2000) — за вклад в развитие науки.
• Орден Александра Невского (2015) — за заслуги в научной деятельности.
• Золотая медаль имени П. Л. Чебышёва РАН (2010) — за цикл работ по теории моделей.

Ученики и научная школа

Юрий Ершов основал крупную научную школу по математической логике в Сибири. Среди его учеников — более 40 кандидатов и 15 докторов наук, в том числе академик РАН Сергей Гончаров, член-корреспондент РАН Виктор Марков. Многие из них работают в ведущих университетах и научных центрах России (Новосибирский государственный университет, Институт математики СО РАН) и за рубежом.

Критика и дискуссии

В научной среде работы Юрия Ершова по теории нумераций и конструктивным моделям признаны классическими. Однако в 1990-х годах его подходы к формализации программирования подвергались критике со стороны представителей «практической» школы информатики, которые считали их излишне абстрактными. В ответ Ершов указывал на необходимость фундаментальных оснований для верификации сложных систем, что впоследствии подтвердилось развитием формальных методов.

Интересные факты

• Юрий Ершов является автором термина «конструктивная модель», который вошёл в международный математический лексикон.
• В 1990-х годах он активно выступал за сохранение фундаментальной математики в России в условиях экономического кризиса, инициировал создание грантовых программ для молодых учёных.
• Его брат, Андрей Ершов (1931—1988), также был известным математиком и программистом, одним из пионеров информатики в СССР.

Источники

• Ершов Ю. Л. Теория нумераций. — М.: Наука, 1977.
• Ершов Ю. Л., Палютин Е. А. Математическая логика. — М.: Наука, 1987.
• Материалы к биографии Ю. Л. Ершова // Вестник РАН. — 2000. — Т. 70, № 5.
• Официальный сайт РАН: профиль Ю. Л. Ершова.
• Некролог (2023) // Успехи математических наук. — 2023. — Т. 78, вып. 4.