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.
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.
FINAL EXAM: TBA.
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.