Академия

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

академик РАН

Телефоны

Адрес электронной почты

Академические должности

Должность

Организационная структура

Дата активности

Должность

член отделения

Организационная структура

Телефон

Факс

333-25-98

Должность

член секции

Организационная структура

Должность

член президиума регионального отделения

Организационная структура

Должность

член президиума регионального отделения

Организационная структура

Профиль

Ю.Л. Ершов разработал мощные методы доказательства разрешимости и неразрешимости элементарных теорий, доказал разрешимость элементарной теории поля p-адических чисел и элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров, неразрешимость теории класса конечных симметрических групп и других теорий. Он является создателем общей теории нумераций, являющейся методологической базой для исследования алгоритмических проблем математики, имеющей непосредственную связь с методологическими и теоретическими вопросами программирования. Он получил основополагающие результаты по теории конструктивных структур. Работы Ю. Л. Ершова по теории рекурсии на допустимых множествах явились основой для разработки новой концепции программирования — концепции семантического программирования. Он является одним из авторов нового подхода к обоснованию математики, развивающего и модифицирующего программу Гильберта.
Ключевые слова

математическая логика, алгебра, вычислимость, определимость, теория полей, теория нумераций, топология, элементарные теории

Место работы и должность

Главный научный сотрудник, ФГБУН Институт математики им. С.Л. Соболева СО РАН
Советник РАН, ФГБУН Институт математики им. С.Л. Соболева СО РАН

Награды

Орден Трудового Красного Знамени
Орден «Знак Почёта»
Орден «За заслуги перед Отечеством» IV степени
Орден «За заслуги перед Отечеством» III степени
Премия Правительства РФ
Орден Александра Невского