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

Материал из Википедии — свободной энциклопедии
Это старая версия этой страницы, сохранённая KrBot (обсуждение | вклад) в 20:50, 3 сентября 2018 (переименование категории — расшифровка аббревиатуры согласно названию основной статьи). Она может серьёзно отличаться от текущей версии.
Перейти к навигации Перейти к поиску
В Википедии есть статьи о других людях с такой фамилией, см. Ершов; Ершов, Юрий.
Юрий Леонидович Ершов
англ. Юрий Леонидович Ершов
Дата рождения 1 мая 1940(1940-05-01) (84 года)
Место рождения Новосибирск, СССР
Страна  СССР →  Россия
Род деятельности математик, преподаватель университета
Научная сфера математика
Место работы Институт математики СО РАН
Альма-матер Новосибирский государственный университет
Учёная степень доктор физико-математических наук (1965)
Учёное звание профессор,
член-корреспондент АН СССР (1970)
академик РАН (1991)
Научный руководитель А. И. Мальцев
Ученики C. C. Гончаров
Награды и премии
Орден «За заслуги перед Отечеством» 3-й степени Орден «За заслуги перед Отечеством» 4-й степени
Орден Александра Невского Орден Трудового Красного Знамени Орден «Знак Почёта»
Государственная премия Российской Федерации — 2002 Премия Правительства Российской Федерации в области образования — 2010

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

Биография

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

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

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

Конфликты

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

Семья и дети

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

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

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

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

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

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

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

Ссылки

Источник — https://ru.wikipedia.org/w/index.php?title=Ершов,_Юрий_Леонидович&oldid=94882313