Юрий Ершов | |
---|---|
Юрий Ершов | |
Рожденный | Юрий Леонидович Ершов ( 1940-05-01 )1 мая 1940 г. |
Альма-матер | Новосибирский государственный университет |
Научная карьера | |
Поля | Математика |
Юрий Леонидович Ершов ( русский : Ю́рий Леони́дович Ершо́в , родился 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 году в Ницце с докладом «Теория перечислений» .