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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
В Руниверсалис есть статьи о других людях с такой фамилией, см. Ершов; Ершов, Юрий.
Юрий Леонидович Ершов
Страна  СССР →  Россия
Научная сфера математика
Место работы Институт математики СО РАН
Альма-матер Новосибирский государственный университет
Учёная степень доктор физико-математических наук (1965)
Учёное звание профессор,
член-корреспондент АН СССР (1970)
академик РАН (1991)
Научный руководитель А. И. Мальцев
Ученики C. C. Гончаров, А. Г. Пинус
Награды и премии
Орден «За заслуги перед Отечеством» 3-й степени — 2010 Орден «За заслуги перед Отечеством» 4-й степени — 2000
Орден Александра Невского — 2016 Орден Трудового Красного Знамени Орден «Знак Почёта»
Государственная премия Российской Федерации — 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 год — директор Института математики СО РАН.

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

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

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

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

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

Конфликты

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

Семья

Мать — Ариадна Артемьевна, дочь писателя Артемия Ильича Ершова.

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

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

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

Основные работы

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

Примечания

  1. ↑ Ученик Мальцева. Дата обращения: 6 июля 2017. Архивировано 30 декабря 2018 года.
  2. ↑ Первые дипломы. Дата обращения: 12 августа 2013. Архивировано 30 декабря 2018 года.
  3. ↑ Первым из выпускников НГУ Ю. Л. Ершовым защищена докторская диссертация (3.05.1966). Отделение ГПНТБ СО РАН. Дата обращения: 29 декабря 2018. Архивировано 30 декабря 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. ↑ Заповедь студента — увлеченность наукой. Дата обращения: 12 августа 2013. Архивировано 30 декабря 2018 года.
  7. ↑ Список награждённых премией имени А. И. Мальцева на сайте РАН. Дата обращения: 14 февраля 2015. Архивировано 24 сентября 2015 года.
  8. ↑ ВЫПУСКНИКИ НГУ, АКАДЕМИКИ РАН Архивная копия от 4 марта 2016 на Wayback Machine
  9. ↑ Указ Президента Российской Федерации от 28 апреля 2000 года № 774 «О награждении орденом „За заслуги перед Отечеством“ IV степени Ершова Ю. Л.». // Официальный сайт Президента России. Дата обращения: 22 мая 2016. Архивировано 11 июня 2016 года.
  10. ↑ Указ Президента Российской Федерации от 13 декабря 2003 г. № 1481 Архивная копия от 10 мая 2013 на Wayback Machine
  11. ↑ Указ Президента Российской Федерации от 16 июня 2010 г. № 745 (недоступная ссылка)
  12. ↑ Распоряжение от 25 октября 2010 г. № 1868-р «О присуждении премий Правительства Российской Федерации 2010 года в области образования»
  13. ↑ Демидовские премии 2013. Дата обращения: 16 мая 2014. Архивировано 7 апреля 2022 года.
  14. ↑ Указ Президента Российской Федерации от 20 сентября 2016 года № 481 «О награждении государственными наградами Российской Федерации». Дата обращения: 20 сентября 2016. Архивировано 26 сентября 2016 года.
  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. ↑ Институт математики им. С. Л. Соболева СО РАН. Дата обращения: 26 октября 2009. Архивировано 28 сентября 2009 года.
  18. ↑ Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика = The Lambda Calculus. Its syntax and semantics. — М.: Мир, 1985. — 606 с. — 4800 экз.

Ссылки

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Ершов,_Юрий_Леонидович&oldid=2837658