Ершов Юрий Леонидович

Ершов Юрий Леонидович
Дата рождения:	01.05.1940 г.
Место рождения:	г. Новосибирск
Научная сфера:	математика
Учёная степень:	доктор физико-математических наук
Учёное звание:	профессор, академик РАН
Альма-матер:	Новосибирский государственный университет
Награды и премии	ордена "За заслуги перед Отечеством" 4 ст. (2000 г.), "За заслуги перед Отечеством" 3 ст. (2010 г.), Александра Невского (2016 г.), Трудового Красного Знамени, "Знак Почета", Государственная премия Российской Федерации в области науки и техники 2002 г., премия Правительства Российской Федерации в области образования.

Ершов Юрий Леонидович (р. 01.05.1940 г.) - российский ученый-математик, академик РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ. Член Совета попечителей ТПУ (до 2015 г.).

Биография

В 1958 г. поступил на механико-математический факультет Томского государственного университета, но в 1961 г. перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск).

Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами и через несколько месяцев после окончания университета, в 1963 году, защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий» (научный руководитель академик А. И. Мальцев).

В 1967 - 2004 гг. - заведующий отделом математической логики Института математики СО АН СССР.

24.11.1970 г. был избран член-корреспондентом АН СССР по отделению математики.

В 1973 - 1976 гг. - декана Механико-математического факультета Новосибирского государственного университета.

В мае 1980 года посетил США по программе Фулбрайта. Этот визит получил известность в математических кругах США как «The Ershov Affair».

В 1985 - 1993 гг. - ректор Новосибирского государственного университета.

В 1991 - 2002 гг. — директор НИИ математико-информационных основ образования при НГУ (с 1998 года — Институт дискретной математики и информатики Министерства образования РФ).

С 07.12.1991 г. — действительный член РАН по Секции математики, механики, информатики (математика).

С 2002 г. — исполняющий обязанности директора Института математики СО РАН.

В 2003 - 2011 гг. — директор Института математики СО РАН.

Научная деятельность

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

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

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

Награды

• Орден "За заслуги перед Отечеством" 4 ст. (2000 г.).

• Орден "За заслуги перед Отечеством" 3 ст. (2010 г.).

• Орден Александра Невского (2016 г.).

• Орден Трудового Красного Знамени.

• Орден "Знак Почета".

• Лауреат Государственной премии Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля».

• Лауреат премии Прав Правительства Российской Федерации в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе» (2010 г.).

Источники

https://ru.wikipedia.org/wiki/%D0%95%D1%80%D1%88%D0%BE%D0%B2,_%D0%AE%D1%80%D0%B8%D0%B9_%D0%9B%D0%B5%D0%BE%D0%BD%D0%B8%D0%B4%D0%BE%D0%B2%D0%B8%D1%87