Академик Ершов Юрий Леонидович - выдающийся ученый в области алгебры и математической логики, внесший фундаментальный вклад в развитие этой научной отрасли математики.
Ю.Л.Ершову принадлежат выдающиеся результаты по описанию элементарных теорий полей, найдены связи с теорией проконечных групп, теорией нормированных полей. На этой основе им созданы мощные методы доказательства разрешимости элементарных теорий полей, позволившие на основе теоретико-модельных методов найти новые классы полей с разрешимыми элементарными теориями. Ю.Л.Ершов и его ученики внесли большой вклад в становление и современное развитие теории конструктивных моделей. В последнее время им ведутся интересные исследования по теории допустимых множеств. Решены проблемы конструктивности моделей в бесконечных мощностях относительно допустимых фрагментов. Крупный вклад Ю.Л.Ершов внес в теорию денотационной семантики программ, где им построены и изучены топологические А-пространства, обладающие более естественной структурой.
Всемирное признание получили результаты Ю.Л.Ершова по разрешимости и неразрешимости элементарных теорий для различных классов групп, булевых алгебр, полей и других структур, нашедшие многочисленные приложения в математической логике. В частности одним из результатов теории нумераций было построение категории пространств, с помощью которой может быть построена непротиворечивая модель бестипового лямбда-исчисления, во многих аспектах более удобная, чем топология Скотта.
Ю.Л.Ершов является признанным лидером Сибирской школы алгебры и логики, созданной его учителем академиком А.И.Мальцевым. В настоящее время эта школа включает более 40 докторов и 100 кандидатов наук. Сибирская логическая школа, возглавляемая академиком Ю.Л.Ершовым, занимает лидирующие позиции в современной математической логике. Под руководством академика Ю.Л.Ершова в Сибирской логической школе делается большая научно-организационная и преподавательская работа по проведению всероссийских и международных научных конференций, семинаров, работе со студентами и аспирантами, читаются в Новосибирском университете основные курсы по математической логике, теории алгоритмов и прикладной логике, а также целый спектр специальных курсов.
Почти десять лет академик Ю.Л.Ершов возглавлял Институт математики СО РАН имени С.Л.Соболева. В течение восьми лет он был ректором одного из лучших вузов России - Новосибирского госуниверситета, вел большую научно-организационную работу в качестве директора Государственного научно-исследовательского института дискретной математики и информатики Министерства образования Российской Федерации, заведовал кафедрой алгебры и математической логики НГУ, был деканом механико-математического факультета Новосибирского государственного университета.
Ю.Л.Ершов опубликовал более 300 научных работ, 12 монографий, шесть из которых переведены за рубежом и получили высокую оценку специалистов.
Ю.Л.Ершов является главным редактором редколлегии журнала «Алгебра и логика» и серии монографий.
Научные заслуги отмечены Государственной премией РФ, премией Правительства РФ. Он награжден орденами «За заслуги перед Отечеством» IV и III степени.
* | Источник: | Лауреаты Демидовской премии 2013 года / по материалам пресс-центра РАН // Наука в Сибири. - 2013. - N 45 (14 ноября). |