Anupam Das mini course "Bounded Arithmetic and Proof Complexity" (13–21 сентября 2023 г., МИАН, ауд. 110 + online, г. Москва)
In this mini course I will survey some of the basics of bounded arithmetic, as well as its connections to proof and computational complexity. I will focus mainly on the case of polynomial time, starting with Cobham's famous characterisation of polynomial time, thence it's extensions to a quantifier free theory (Cook's PV) and a fragment of arithmetic (Buss' $S^1_2$). I will explain the connection to the Extended Frege system for propositional logic, yielding a uniform-nonuniform correspondence at the level of proof complexity. Finally, I will survey extensions for the polynomial time hierarchy, second order theories, and/or Paris-Wilkie style translations, depending on time available.
Руководитель
Das Anupam, University of Birmingham |
|
Anupam Das mini course "Bounded Arithmetic and Proof Complexity", г. Москва, 13–21 сентября 2023 г. |
|
|
20 сентября 2023 г. (ср) |
|
1. |
Lecture 1. Bounded Arithmetic and Proof Complexity A. Das 20 сентября 2023 г. 16:00–17:30, г. Москва, МИАН, ауд. 110 + online
|
|
|
|
|
|
21 сентября 2023 г. (чт) |
|
2. |
Lecture 2. Bounded Arithmetic and Proof Complexity A. Das 21 сентября 2023 г. 16:00–17:30, г. Москва, МИАН, ауд. 110 + online
|
|
|
|
|
|
27 сентября 2023 г. (ср) |
|
3. |
Lecture 3. Bounded Arithmetic and Proof Complexity A. Das 27 сентября 2023 г. 16:00–17:30, г. Москва, МИАН, ауд. 110 + online
|
|
|
|
|
|
28 сентября 2023 г. (чт) |
|
4. |
Lecture 4. Bounded Arithmetic and Proof Complexity A. Das 28 сентября 2023 г. 16:00–17:30, г. Москва, МИАН, ауд. 110 + online
|
|
|
|
|
|