Юрий Леонидович Ершов или Ершов (Юрий Леонидович Ершов, родился 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 - адических чисел (независимо доказано Дж. Аксом и С. Коченом), неразрешимость элементарной теории конечных симметрических групп , разрешимость элементарной теории относительно дополняемых дистрибутивных решеток .