Родился 1 мая 1940 г. в Новосибирске. Окончил механико-математический факультет Новосибирского государственного университета (НГУ) (1963).

В Сибирском отделении с 1963 г.: лаборант, стажер-исследователь, младший, старший научный сотрудник, зав. отделом (1967) Института математики СО АН СССР; исполняющий обязанности (с 2002), директор (с 2003) Института математики им. С.Л.Соболева СО РАН. Одновременно (с 1964) преподаватель, декан механико-математического факультета (1973-1976), зав. кафедрой (1976-2003), ректор (1985-1993) НГУ. Директор НИИ математико-информационных основ образования при НГУ (1991-2002) (с 1998 г. Институт дискретной математики и информатики Министерства образования РФ).

Основные результаты получены в области теории нумераций, теории алгоритмов, теории моделей, теории иерархий, теории чисел, философии математики. Лидер сибирской школы алгебры и логики.

Предложил новые эффективные методы доказательства разрешимости и неразрешимости элементарных теорий классов полей, установил алгоритмический характер многих классов алгебраических систем, имеющих фундаментальное значение для алгебры, и решил классическую проблему о разрешимости элементарной теории поля ρ-адических чисел, теории булевых алгебр, теории дистрибутивных решеток с относительными дополнениями, теории алгебр Поста. Построил эффективную глобальную теорию классов полей алгебраических чисел, на ее основе доказал разрешимость теории классического поля целых алгебраических чисел и теории кольца Аделей.

В общей теории нумераций предложил методы исследования алгоритмических свойств различных классов объектов. Им создана структурная теория нумераций, построена иерархия Ершова и обоснованы ее свойства, решена проблема характеризации типа изоморфизма полурешетки m-степеней. Построил теорию непрерывных и вычислимых функционалов конечных типов, в основу которой легли результаты по нумерациям с аппроксимациями и теория топологических пространств (пространств Ершова). Данные результаты имеют принципиальной значение для теории денотационной семантики программ.

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

Результаты Ю.Л.Ершова по проблемам определимости и вычислимости, по развитию рекурсивной теории на допустимых множествах легли в основу нового подхода к созданию логических языков программирования - семантического программирования.

Член Президиума СО АН СССР - РАН (1986-1993, с 2001), председатель Объединенного ученого совета по математике и информатике СО РАН (с 2001), член Бюро Отделения математических наук РАН (с 2002). Председатель экспертного совета по развитию информационных и телекоммуникационных технологий при полномочном представителе Президента РФ в Сибирском федеральном округе (с 2002). Главный редактор «Сибирского математического журнала» (с 2004). Член Международной ассоциации по символической логике (с 1968).

Лауреат Государственной премии РФ (2003), премии им. А.И.Мальцева РАН (1992).

Награжден орденами Трудового Красного Знамени (1975), «Знак Почета» (1981), «За заслуги перед Отечеством» IV степени (2002).

		Ершов Юрий Леонидович // Российская академия наук. Сибирское отделение: Персональный состав / Сост. Е.Г.Водичев и др. - Новосибирск: Наука, 2007. - С.86-87.



		ОГЛАВЛЕНИЕ • ИМЕННОЙ УКАЗАТЕЛЬ • ФАЙЛ PDF