011. Unlocking Complexity: How Diagonalization Separates Computational Classes 🔍

Сэмюэл Басс — профессор математики Калифорнийского университета в Сан-Диего. Занимается исследованиями в области сложности вычислений и сложности доказательств. Является одним из создателей Bounded Arithmetic — направления, которое объединяет теории сложности вычислений и доказательств с формальной арифметикой. Также известен своими работами по численным методам и компьютерной графике. В докладе «The power of diagonalization for separating of complexity classes» Басс рассказал о старых и новых результатах применения метода диагонализации в задачах о разделении сложностных классов.