Ершов Юрий Леонидович
Почетный член Академии наук Республики Татарстан
Ершов Юрий Леонидович
Родился в 1940 г. Действительный член РАН. Почетный член АН РТ. Главный научный сотрудник Института математики СО РАН, советник РАН.
Ю.Л.Ершовым были разработаны мощные методы доказательства разрешимости и неразрешимости элементарных теорий. Выдающимся достижением в этом направлении явилось решение классической проблемы о разрешимости элементарной теории поля p-адических чисел. Им также были найдены новые серии полей с разрешимой элементарной теорией, доказана алгоритмическая неразрешимость теории класса конечных симметрических групп и других теорий. Посредством элементарной классификации он доказал разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров.
Ю.Л.Ершов получает основополагающие результаты в теории алгоритмов и теории моделей, в ряде новых развивающихся направлений математической логики и алгебры. Ю.Л.Ершов – создатель общей теории нумераций, нашедшей многочисленные приложения в математической логике. Эта теория дает, в частности, методологическую базу для исследования алгоритмических проблем математики, а также построения современной теории вычислений, имеет связь с методологическими и теоретическими вопросами программирования. Ю.Л.Ершов добился выдающихся результатов по теории конструктивных систем – новому научному направлению, находящемуся на стыке теории разрешимости и теории нумераций. Работы Ю.Л.Ершова по развитию рекурсивной теории на допустимых множествах явились основой для разработки новой концепции программирования на компьютерах – концепции семантического программирования. Ю.Л.Ершов является одним из авторов нового подхода к обоснованию математики, развивающего и модифицирующего известную программу Гильберта: подхода, связывающего вычислимость с определимостью. В математику вошли, став общепризнанными, такие понятия, как иерархия Ершова в теории алгоритмов, идеалы и характеристики Ершова-Тарского в теории булевых алгебр, язык S-выражений Ершова в семантическом программировании, A-пространства Ершова и др.
Тел.: Новосибирск, 8(383) 333-28-92
Факс: 8(383) 333-25-98
Е-mail: rstfm@rambler.ru