stringtranslate.com

Юрий Ершов

Юрий Леонидович Ершов ( русский : Ю́рий Леони́дович Ершо́в , родился 1 мая 1940 [1]) — советский и российский математик .

Юрий Ершов родился в 1940 году в Новосибирске . В 1958 году поступил в Томский государственный университет , в 1963 году окончил математический факультет Новосибирского государственного университета. В 1964 году успешно защитил кандидатскую диссертацию «Разрешимые и неразрешимые теории» (руководитель Анатолий Мальцев ). В 1966 году успешно защитил докторскую диссертацию «Элементарные теории полей».

Помимо того, что он был математиком, Ершов был членом Коммунистической партии и имел различные выдающиеся административные обязанности в Новосибирском государственном университете. Ершова обвиняли в антисемитской практике, а его визит в США в 1980 году вызвал публичные протесты ряда американских математиков. [1] Сам Ершов отрицал обоснованность этих обвинений.

Юрий Ершов — академик Российской академии наук , заслуженный профессор Новосибирского государственного университета [2] , бывший ректор Новосибирского государственного университета . [3] [4]

С 1963 года работает в Институте математики им. С. Л. Соболева . В настоящее время — директор этого института (с 2003 года). В 1968 году получил звание профессора. В 1970 году был избран членом-корреспондентом АН СССР, в 1990 году — действительным членом (академиком) РАН. В 1964–2002 годах работал в Новосибирском государственном университете (по совместительству): в 1968–2002 годах — профессором, кроме того, в 1973–1976 годах — деканом математического факультета Новосибирского государственного университета, в 1985–1993 годах — ректором этого университета. Главный редактор «Сибирского математического журнала» , главный редактор журнала «Алгебра и логика ». [2][3]

Его основные научные интересы: алгебра , теория поля , математическая логика , теория алгоритмов , теория моделей , конструктивные модели, информатика и философские аспекты математики . Он доказал разрешимость элементарной теории поля p -адических чисел (независимо доказано Дж. Аксом и С. Кохеном), неразрешимость элементарной теории конечных симметрических групп , разрешимость элементарной теории относительно дополняемых дистрибутивных решеток .

Юрий Ершов — лауреат Мальцевской премии РАН (1992), Государственной премии РФ в области науки и техники (2002, 2003), премии Фонда Лаврентьева (2007), награжден несколькими государственными орденами РФ.[4] В 2013 году стал лауреатом Демидовской премии . В 2023 году стал лауреатом премии Лобачевского . [5]

Он был приглашенным докладчиком на Международном конгрессе математиков в 1966 году в Москве с докладом «Элементарные теории полей» [6] и в 1970 году в Ницце с докладом «Теория перечислений» .

Избранные произведения

Ссылки

  1. ^ Анита Бурдман Феферман и Соломон Феферман , Альфред Тарский: Жизнь и логика. Cambridge University Press , 2004, ISBN 0-521-80240-7 ; стр. 363–365 
  2. ^ "Почетные профессора Новосибирского государственного университета". Архивировано из оригинала 2015-03-15 . Получено 2015-03-20 .
  3. ^ Гончаров С.С., Лавров И.А. и Мазуров В.Д. Юрий Леонидович Ершов (к 60-летию со дня рождения). Математические обозрения, т. 55 (2000), № 6, стр. 1193-1204
  4. ^ Ершов Юрий Леонидович. Биография Российской академии наук . По состоянию на 20 декабря 2009 г.
  5. ^ Премия Лобачевского 2023 на русском языке
  6. ^ Айзерман, М.А. (1968). "Элементарные теории полей Ю. Л. Ершова". Тридцать одно приглашенное выступление на Международном конгрессе математиков в Москве, 1966. 70. Американское математическое общество: 39. ISBN 9780821896457.