Ершов Юрий Леонидович (род. 1 мая 1940 г.)
 Навигация
 
 

Ершов Ю.Л.




     *библиография + база данных
     *жизнь и деятельность
     *избранные труды



Научные школы ННЦ
АКАДЕМИК ЮРИЙ ЛЕОНИДОВИЧ ЕРШОВ *
 

Академик Ершов Юрий Леонидович - выдающийся ученый в области алгебры и математической логики, внесший фундаментальный вклад в развитие этой научной отрасли математики.

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

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

Ю.Л.Ершов является признанным лидером Сибирской школы алгебры и логики, созданной его учителем академиком А.И.Мальцевым. В настоящее время эта школа включает более 40 докторов и 100 кандидатов наук. Сибирская логическая школа, возглавляемая академиком Ю.Л.Ершовым, занимает лидирующие позиции в современной математической логике. Под руководством академика Ю.Л.Ершова в Сибирской логической школе делается большая научно-организационная и преподавательская работа по проведению всероссийских и международных научных конференций, семинаров, работе со студентами и аспирантами, читаются в Новосибирском университете основные курсы по математической логике, теории алгоритмов и прикладной логике, а также целый спектр специальных курсов.

Почти десять лет академик Ю.Л.Ершов возглавлял Институт математики СО РАН имени С.Л.Соболева. В течение восьми лет он был ректором одного из лучших вузов России - Новосибирского госуниверситета, вел большую научно-организационную работу в качестве директора Государственного научно-исследовательского института дискретной математики и информатики Министерства образования Российской Федерации, заведовал кафедрой алгебры и математической логики НГУ, был деканом механико-математического факультета Новосибирского государственного университета.

Ю.Л.Ершов опубликовал более 300 научных работ, 12 монографий, шесть из которых переведены за рубежом и получили высокую оценку специалистов.

Ю.Л.Ершов является главным редактором редколлегии журнала «Алгебра и логика» и серии монографий.

Научные заслуги отмечены Государственной премией РФ, премией Правительства РФ. Он награжден орденами «За заслуги перед Отечеством» IV и III степени.

*Источник: Лауреаты Демидовской премии 2013 года / по материалам пресс-центра РАН // Наука в Сибири. - 2013. - N 45 (14 ноября).

 

Научные школы ННЦ Ю.Л.Ершов Подготовили: В.Лукьянова, И.Павлова, С.Канн, Н.Штырова  
 


[Начало | О библиотеке | Академгородок | Новости | Выставки | Ресурсы | Партнеры | ИнфоЛоция | Поиск | English]
В 2004-2006 гг. проект поддерживался грантом РФФИ N 04-07-90121
 
© 2004-2024 Отделение ГПНТБ СО РАН

Документ изменен: Thu Jun 29 10:32:02 2023. Размер: 12,901 bytes.
Посещение N 7402 с 18.11.2014