Ершов Юрий Леонидович
Ершов Юрий Леонидович (р. 01.05.1940 г.) - российский ученый-математик, академик РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ. Член Совета попечителей ТПУ (до 2015 г.).
| Ершов Юрий Леонидович | |
 | |
| Дата рождения: |
01.05.1940 г. |
|---|---|
| Место рождения: |
г. Новосибирск |
| Научная сфера: |
математика |
| Учёная степень: |
доктор физико-математических наук |
| Учёное звание: |
профессор, академик РАН |
| Альма-матер: |
Новосибирский государственный университет |
| Награды и премии |
|
Биография
В 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 г.).
Источники
- Родившиеся 1 мая
- Родившиеся в 1940 году
- Родившиеся в Новосибирске
- Доктора физико-математических наук
- Действительные члены РАН
- Академики РАН
- Математики
- Профессора
- Сотрудники СО РАН
- Сотрудники РАН
- Выпускники Новосибирского государственного университета
- Кавалеры ордена Александра Невского
- Кавалеры ордена "За заслуги перед Отечеством"
- Кавалеры ордена Трудового Красного Знамени
- Кавалеры ордена "Знак Почета"
- Лауреаты Государственной премии РФ
- Кавалеры орденов СССР
- Награжденные наградами СССР
- Награжденные государственными наградами СССР
- Кавалеры орденов Российской Федерации
- Награжденные наградами Российской Федерации
- Награжденные государственными наградами Российской Федерации
- Лауреаты премий России