133 804
правки
Ершов Юрий Леонидович: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Pvp (обсуждение | вклад) Нет описания правки |
Pvp (обсуждение | вклад) Нет описания правки |
||
| Строка 5: | Строка 5: | ||
|Ширина = | |Ширина = | ||
|Подпись = | |Подпись = | ||
|Дата рождения = | |Дата рождения = 01.05.1940 г. | ||
|Место рождения = город Новосибирск | |Место рождения = город Новосибирск | ||
|Дата смерти = | |Дата смерти = | ||
| Строка 19: | Строка 19: | ||
|Награды и премии = | |Награды и премии = | ||
}} | }} | ||
'''Ершов Юрий Леонидович''' (р. 01.05.1940 г.) - академик РАН, директор Института математики им. С.Л. Соболева СО РАН, доктор физико-математических наук, профессор, специалист в области алгебры и математической логики, лауреат Государственной премии РФ, главный редактор «Сибирского математического журнала», член Международной ассоциации по символической логике. Член [[Совет попечителей|Совета попечителей ТПУ]] (до 2015 г.). | |||
==Научная деятельность== | |||
Основные результаты получены Ершовым в области теории нумераций, теории алгоритмов, теории моделей, теории иерархий, теории чисел, философии математики. Лидер сибирской школы алгебры и логики. Предложил новые эффективные методы доказательства разрешимости и неразрешимости элементарных теорий классов полей, установил алгоритмический характер многих классов алгебраических систем, имеющих фундаментальное значение для алгебры, и решил классическую проблему о разрешимости элементарной теории поля р-адических чисел, теории булевых алгебр, теории дистрибутивных решеток с относительными дополнениями, теории алгебр Поста. | Основные результаты получены Ершовым в области теории нумераций, теории алгоритмов, теории моделей, теории иерархий, теории чисел, философии математики. Лидер сибирской школы алгебры и логики. Предложил новые эффективные методы доказательства разрешимости и неразрешимости элементарных теорий классов полей, установил алгоритмический характер многих классов алгебраических систем, имеющих фундаментальное значение для алгебры, и решил классическую проблему о разрешимости элементарной теории поля р-адических чисел, теории булевых алгебр, теории дистрибутивных решеток с относительными дополнениями, теории алгебр Поста. | ||
| Строка 33: | Строка 34: | ||
2. http://www.tpu.ru/php/news/lenta.php?n=9189 | 2. http://www.tpu.ru/php/news/lenta.php?n=9189 | ||
[[Категория:Доктора физико-математических наук]] | |||