По результатам престижного конкурса

5 ноября 2012

Доцент кафедры прикладной математики Кривцов Виктор Николаевич включён в список ведущих учёных мира за 2012 по версии IBC (Международный биографический центр, Кембридж, Великобритания) на основании работ, посвящённых конструктивному доказательству теоремы Гёделя о семантической полноте классического исчисления предикатов.

Рассказать друзьям: