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

Биография

Родился в семье инженеров-железнодорожников. Среднюю школу окончил с серебряной медалью, лишь в выпускном классе точные науки вытеснили его давний интерес к геологии.
Поступал в МФТИ, но на экзамене по математике получил неудовлетворительную оценку. Это событие вызвало в нем твердое желание стать математиком.^[1] Год отработал токарем-карусельщиком на заводе в Новосибирске и в 1958 году поступил на Механико-математический факультет Томского государственного университета, но в 1959 году перевелся в Новосибирский государственный университет. В 1963 году под руководством академика А. И. Мальцева защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий», а в 1965-м — докторскую на тему «Элементарные теории полей», став при этом первым первым выпускником НГУ, защитившим кандидатскую и докторскую диссертации.^{[источник не указан 1036 дней]}

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

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

Семья и дети

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

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

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

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

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

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

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

Примечания