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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Юрий Леонидович Ершов
Ershov Ju. L.jpg
Дата рождения 1 мая 1940(1940-05-01) (79 лет)
Место рождения Новосибирск, СССР
Страна  СССР Россия
Научная сфера математика
Место работы Институт математики СО РАН
Альма-матер Новосибирский государственный университет
Учёная степень доктор физико-математических наук (1965)
Учёное звание профессор,
член-корреспондент АН СССР (1970)
академик РАН (1991)
Научный руководитель А. И. Мальцев
Известные ученики C. C. Гончаров
Награды и премии
Orden for Service III.png Orden for Service IV.png
Орден Александра Невского Орден Трудового Красного Знамени Орден «Знак Почёта»
Государственная премия Российской Федерации — 2002 Премия Правительства Российской Федерации в области образования — 2010

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

Биография[править | править код]

Родился в семье инженеров железнодорожного транспорта.

Среднюю школу окончил с серебряной медалью, в выпускном классе точные науки вытеснили его давний интерес к геологии. Не поступив в МФТИ (получил неудовлетворительную оценку на вступительном экзамене — устном по физике[1]), год отработал токарем-карусельщиком на заводе имени Чкалова в Новосибирске и в 1958 году поступил на механико-математический факультет Томского государственного университета, но в 1961 году перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск)[2].

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

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

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

С 1973 по 1976 год занимал должность декана Механико-математического факультета Новосибирского государственного университета[4].

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

В 1985 году Юрий Ершов был назначен ректором Новосибирского государственного университета, став первым ректором НГУ из числа его выпускников[6]. В этой должности Ершов проработал с 1985 по 1993 год.

В 1992 году был награждён премией имени А. И. Мальцева РАН за монографию «Теория нумераций»[7].

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

С 7 декабря 1991 года Ершов — действительным членом РАН по Секции математики, механики, информатики (математика)[8].


В 2000 году Ершов был награждён орденом «За заслуги перед Отечеством» IV степени — 'за заслуги перед государством, многолетнюю плодотворную научную и педагогическую деятельность[9].

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

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

В 2010 году награждён орденом «За заслуги перед Отечеством» III степени[11]. В том же 2010 году Ершов стал лауреатом премии Правительства Российской Федерации в области образования за цикл трудов «Концепция формирования логико-математического образования в высшей школе»[12].

В 2013 году получил Демидовскую премию за выдающиеся заслуги в развитии математической логики[13].

В 2016 году был награждён орденом Александра Невского[14].

Академик Ю. Л. Ершов является председателем объединённого Учёного совета по математике и информатике СО РАН, председателем Диссертационного совета Д 003.015.02 (по специальности «01.01.06 — математическая логика, алгебра и теория чисел») при Институте математики СО РАН и главным редактором Сибирского математического журнала и журнала Алгебра и логика.

Конфликты[править | править код]

Приезд Ершова в США по программе Фулбрайта сопровождался пикетами и публичными протестами. 40 математиков Калифорнийского университета в Беркли и других вузов объявили Ершову бойкот в связи с его участием в антисемитской политике против еврейских коллег в СССР. Эти выступления были отмечены американскими СМИ, в частности, The Boston Globe. Письма с призывом к бойкоту подписали Леон Хенкин, Джулия и Рафаэль Робинсон, Джон Келли (англ.), Стивен Смэйл, Бертон Дребен (англ.), Хилари Патнэм, Акиро Канамори (англ.), Хартли Роджерс (англ.), Сай Фридман (англ.), Ричард Шор (англ.) и ряд других известных учёных. Сам Ершов отрицал обвинения и утверждал, что никогда не руководствовался в работе расовыми и национальными предрассудками[15][16].

Семья и дети[править | править код]

Женат, имеет троих детей[17]. Старший брат — академик В. Л. Макаров (род. 1937).

Научные интересы[править | править код]

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

Список основных монографий[править | править код]

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

Примечания[править | править код]

  1. Ученик Мальцева
  2. Первые дипломы
  3. Первым из выпускников НГУ Ю. Л. Ершовым защищена докторская диссертация (3.05.1966). Отделение ГПНТБ СО РАН. Дата обращения 29 декабря 2018.
  4. ЕРШОВ Юрий Леонидович (недоступная ссылка)
  5. [1] Anita Burdman Feferman, and Solomon Feferman, Alfred Tarski: Life and Logic. Cambridge University Press, 2004, ISBN 0-521-80240-7; pp. 363—365
  6. Заповедь студента — увлеченность наукой
  7. Список награждённых премией имени А. И. Мальцева на сайте РАН
  8. ВЫПУСКНИКИ НГУ, АКАДЕМИКИ РАН Архивная копия от 4 марта 2016 на Wayback Machine
  9. Указ Президента Российской Федерации от 28 апреля 2000 года № 774 «О награждении орденом „За заслуги перед Отечеством“ IV степени Ершова Ю. Л.». // Официальный сайт Президента России. Дата обращения 22 мая 2016.
  10. Указ Президента Российской Федерации от 13 декабря 2003 г. № 1481 Архивная копия от 10 мая 2013 на Wayback Machine
  11. Указ Президента Российской Федерации от 16 июня 2010 г. № 745 (недоступная ссылка)
  12. Распоряжение от 25 октября 2010 г. № 1868-р «О присуждении премий Правительства Российской Федерации 2010 года в области образования»
  13. Демидовские премии 2013
  14. Указ Президента Российской Федерации от 20 сентября 2016 года № 481 «О награждении государственными наградами Российской Федерации»
  15. INDEX TO BINDER hr-1980.tex (англ.) (недоступная ссылка). University of Maryland. Дата обращения 11 августа 2013. Архивировано 20 августа 2013 года.
  16. Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Life and Logic. — Cambridge University Press, 2004. — P. 363—365. — 425 p. — ISBN 9780521802406.
  17. Институт математики им. С. Л. Соболева СО РАН
  18. Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics  (рус.). — М.: Мир, 1985. — 606 с. — 4800 экз.

Ссылки[править | править код]