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