Proof Theory 2023/2024 (official course code 575366)

Organisation

Here an academic year calendar of the UB can be found.

For us it is important to know:
Teaching period (including exam): September 12 — January 2, 2024. 
Re-sit period: February 5 — 9, 2023.
The lectures will take place
Wednesdays: 15:00 -- 17:00;
Fridays: 10:30 -- 11:30.
See also here.
The classes are in Calle Montalegre 6 in Aula 411 on the fourth floor. The start date is Wednesday, September 20. TO BE UPDATED The page below will be updated as we proceed.

The final grade is determined by
(A) Homework questions (this may include a mid-term exam); (20 %)
(B) Presentation in class (0 %);
(C) Midterm + Final Exam; (30 + 50 %).

All materials and assignments will also be placed on this page.


Joost J. Joosten is the lecturer of this course. We will be mainly refering to the book Basic Proof Theory by A. S. Troelstra & H. Schwichtenberg (Second edition).

The Proof Theory course constitutes for 5 European credits and as such comprises 42 contact hours, so that makes 14 weeks, 3 hours each.
Week 1 | | Week 5 | | Week 9 | | Week 13
Week 2 | | Week 6 | | Week 10| | Week 14
Week 3 | | Week 7 | | Week 11 | Week 15
Week 4 | | Week 8 | | Week 12

Week 1

January 18 -- 24. We discussed the general panorama of Proof Theory, arising from a long historical tradition where possibly we can point at Aristotle and Euclid as first exponents. Modern Proof Theory can be seen as arising from the foundational crises through Hilbert and probably only starting with Gentzen. We have mentioned some recent developments ranging from proof assistants, to proof mining and pure proof theory. We started the course by revisiting Natural Deduction for Minimal, Intuitionistic and Classical Propositional Logic. The rules for Intuitionistic logic have been justified on the basis of the Brouwer Heyting Kolmogorov Interpretation.

Week 2

Week 3

Week 4

Week 5

Week 6

Week 7

Week 8

Week 9

Week 10

Week 11

Week 12

Week 13

Week 14




FINAL EXAM: TBA.

Resit

Question and answer

Question

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.

Question

Q

Answer

A.