Доклад Михаила Рыбакова на конференции «Новиков–125»

26 августа в рамках международной конференции, посвящённой 125-летию П.С. Новикова (МИАН, Москва), Михаил Рыбаков выступил с докладом «Логики для описания вычислений: синтаксис, семантика и вычислительная сложность проблемы разрешения».

М. Рыбаков

26 августа  М. Рыбаков сделал доклад на конференции, посвящённой 125-летию со дня рождения Петра Сергеевича Новикова, которая прошла в МИАН с 24 по 28 августа. Доклад был посвящён пропозициональным логикам, которые позволяют описывать вычисления. Были приведены известные результаты, касающиеся сложности таких логик, в частности, результаты автора.