Computational Logic Seminar 2023 @TU Wien

For the information of the seminar, click here.

↓The slides with notes during the talk.

One short remark respecting the question about the formalization of "Parity function" today (because I could not have an opportunity to talk about it more). As for the precise treatment of V^0_1(2), I encourage the audience to have a look at the section 9D (in which it is named as V^0(2)) of the following book:

Cook, S., & Nguyen, P. (2010). Logical foundations of proof complexity. New York, NY: Cambridge University Press, Perspectives in Logic.