| What: | Lecture |
| When: | Sunday, 23 September 2018, 13:00–14:30 |
| Where: | ПОМИ РАН |
Теория Голдберга-Пападимитриу: в поисках общего подхода к TFNP. Класс PTFNP доказуемо тотальных задач и полнота в нём задачи о поиске ошибки в доказательстве 2x2=5. Связь с другими известными классами.
