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

Юрий Леонидович Ершов
Дата рождения:	1 мая 1940(1940-05-01) (72 года)
Место рождения:	Новосибирск, СССР
Страна:	СССР →  Россия
Научная сфера:	математика
Место работы:	Институт математики СО РАН
Учёная степень:	доктор физико-математических наук (1965)
Учёное звание:	профессор, член-корреспондент АН СССР (1970) академик РАН (1991)
Альма-матер:	Новосибирский государственный университет
Научный руководитель:	А. И. Мальцев
Известные ученики:	C.C. Гончаров
Награды и премии

В Википедии есть статьи о других людях с такой фамилией, см. Ершов.

Ю́рий Леони́дович Ершо́в (род. 1 мая 1940, г. Новосибирск) — академик РАН, доктор физико-математических наук, профессор, советник РАН, признанный лидер сибирской школы алгебры и логики.

Биография

Среднюю школу окончил с серебряной медалью, в выпускном классе точные науки вытеснили его давний интерес к геологии. Не поступив в МФТИ, год отработал токарем-карусельщиком на заводе в Новосибирске и в 1958 году поступил на механико-математический факультет Томского государственного университета, но в 1959 году перевелся в Новосибирский государственный университет, который окончил с отличием в 1963 году.

Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами, и через несколько месяцев после окончания университета, в 1963 году под руководством академика А. И. Мальцева защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий», а в 1965-м — докторскую на тему «Элементарные теории полей», став при этом первым первым выпускником НГУ, защитившим кандидатскую и докторскую диссертации.^{[источник не указан 1122 дня]}

• С 1967 года — заведующий отделом математической логики Института математики СО АН СССР
• С 24 ноября 1970 года — член-корреспондент АН СССР по отделению математики
• С 1973 по 1976 — декан Механико-математического факультета Новосибирского государственного университета^[1]

• В мае 1980 года посетил США по программе Фулбрайта. Этот визит известен в математических кругах США как «The Ershov Affair»^{[2][значимость факта?]}.
• С 1986 по 1994 года — ректор Новосибирского государственного университета
• С 1991 по 2002 — директор НИИ математико-информационных основ образования при НГУ (с 1998 года — Институт дискретной математики и информатики Министерства образования РФ)
• С 7 декабря 1991 года — академик по Секции математики, механики, информатики (математика)
• В 2000 году награждён орденом «За заслуги перед Отечеством» IV степени^[3]
• С 2002 года — исполняющий обязанности директора Института математики СО РАН
• С 2003 года по 2011 год — директор Института математики СО РАН
• В 2003 году получил Государственную премию Российской Федерации в области науки и техники 2002 года за монографию «Кратно нормированные поля»^[4]
• В 2010 году награждён орденом «За заслуги перед Отечеством» III степени^[5]
• Лауреат премии Правительства Российской Федерации в области образования (2010) за цикл трудов «Концепция формирования логико-математического образования в высшей школе»^[6]
• Академик Ершов является председателем объединённого ученого совета по математике и информатике СО РАН
• Главный редактор Сибирского математического журнала и журнала Алгебра и логика.

Семья и дети

Женат, имеет троих детей.^[7]

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

• Юрий Ершов является первым студентом Новосибирского университета — лауреатом Ленинской стипендии^{[источник не указан 1122 дня]}
• а также первым выпускником НГУ, ставшим действительным членом РАН.^[8]

Научные интересы

Основными результатами Ю. Л. Ершова стали решение классической проблемы о разрешимости элементарной теории поля p-адических чисел и создание общей теории нумераций, нашедшей многочисленные приложения в математической логике. В частности, одним из результатов теории нумераций было построение категории $f_0$-пространств, с помощью которой может быть построена непротиворечивая модель бестипового λ-исчисления, во многих аспектах более удобная, чем топология Скотта^[9].

Список основных монографий

• Ершов, Юрий Теория нумераций. — М.: Наука, 1977. — 416 с.
• Ершов, Юрий Проблемы разрешимости и конструктивные модели. — М.: Наука, 1980. — 415 с.
• Ершов, Юрий Определимость и вычислимость. — Новосибирск: Научная книга, 1996. — 286 с. — ISBN 9780306110399 (2-е изд., 2000)
• Гончаров, Сергей; Ершов, Юрий Конструктивные модели. — Новосибирск: Научная книга, 1999. — 345 с. — ISBN 9785881190217
• Ершов, Юрий Кратно нормированные поля. — Новосибирск: Научная книга, 2000. — 329 с. — ISBN 9785881190217

Примечания

1. ↑ ЕРШОВ Юрий Леонидович
2. ↑ [1] Anita Burdman Feferman, and Solomon Feferman, Alfred Tarski: Life and Logic. Cambridge University Press, 2004, ISBN 0-521-80240-7; pp. 363—365
3. ↑ Указ Президента Российской Федерации от 28 апреля 2000 г. № 774
4. ↑ Указ Президента Российской Федерации от 13 декабря 2003 г. № 1481
5. ↑ Указ Президента Российской Федерации от 16 июня 2010 г. № 745
6. ↑ Распоряжение от 25 октября 2010 г. № 1868-р О присуждении премий Правительства Российской Федерации 2010 года в области образования
7. ↑ Институт математики им. С. Л. Соболева СО РАН
8. ↑ Новосибирский государственный университет
9. ↑ Барендрегт, Хенк Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics. — М.: Мир, 1985. — 606 с. — 4800 экз.

Ссылки

• Профиль Ю. Л. Ершова на официальном сайте РАН
• Персональная страничка Ю. Л. Ершова на сайте Института математики СО РАН
• Выпускники НГУ, члены РАН и РАО