МОСКВА, 11 ноября. /ИТАР-ТАСС/. Лауреатами Демидовской премии 2013 года стали академики Российской Академии наук / РАН/ Юрий Ершов, Александр Спирин и Климент Трубецкой, об этом объявлено на встрече в президиуме РАН.

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

...