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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Юрий Леонидович Ершов
Дата рождения:

1 мая 1940(1940-05-01) (74 года)

Место рождения:

Новосибирск, СССР

Страна:

СССРFlag of the Soviet Union.svg СССРРоссияFlag of Russia.svg Россия

Научная сфера:

математика

Место работы:

Институт математики СО РАН

Учёная степень:

доктор физико-математических наук (1965)

Учёное звание:

профессор,
член-корреспондент АН СССР (1970)
академик РАН (1991)

Альма-матер:

Новосибирский государственный университет

Научный руководитель:

А. И. Мальцев

Известные ученики:

C. C. Гончаров

Награды и премии


Орден «За заслуги перед Отечеством» III степени
Орден «За заслуги перед Отечеством» IV степени
Орден Трудового Красного Знамени Орден «Знак Почёта»
Государственная премия Российской Федерации — 2002

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

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

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

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

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

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

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

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

Интересные факты[править | править вики-текст]

  • Юрий Ершов является первым выпускником НГУ, защитившим докторскую диссертацию (3 мая 1966 года)[14]
  • Юрий Ершов является первым выпускником НГУ, ставшим его ректором.[15]
  • Юрий Ершов является первым выпускником НГУ, ставшим действительным членом РАН.[16]

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

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

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

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

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

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

Ссылки[править | править вики-текст]