Proof Theory 2018

This is the website for the course ``Proof Theory'' which will be offered at the University of Amsterdam in Spring 2018.

Exercise sheets and information about the contents of the lectures can be found here.
Homework sheets and information about grading can be found here.

Teaching staff

• Lecturer: Benno van den Berg
  Email: B.vandenBerg3@uva.nl
  Room: ILLC, Science Park F2.43
• First teaching assistant: Andrew Swan
  Email: a.w.swan@uva.nl
  Room: ILLC, Science Park F2.16
• Second teaching assistant: Taichi Uemura
  Email: t.uemura@uva.nl
  Room: ILLC, Science Park F2.23

Practical details

Lectures and exercises classes will take place from week 6 till week 13. The first meeting will be the lecture on Tuesday 6 February. Week 13 is exam week and the exam will take place on March 28, 13:00-16:00 in SP G4.15.

There will be two lectures per week and these will take place on Tuesdays 15:00-17:00 in SP G5.29 and Thursdays 15:00-17:00 in SP A1.30.

In addition, there will be two exercises classes per week, one on Wednesday 9:00-11:00 in SP D1.114 and one on Thursday 13:00-15:00 in SP D.112. These exercise classes are an integral part of the course. In the exercise classes one works on an exercise sheet under the guidance of the teaching assistants (these sheets will appear here). In addition, there will be six homework sheets which influence your final grade for the course (more information about the homework can be found here).

The weekly schedule is as follows:

• Tuesday: lecture from 15:00-17:00 in SP G5.29.
• Wednesday: exercise class from 9:00-11:00 in SP D1.114.
• Thursday: lecture from 15:00-17:00 in SP A1.30.
• Friday: exercise class from 13:00-15:00 in SP D1.112.

However, in the first week there will no be no exercise class on Wednesday (7 February).

Study materials

• Handouts.
• S.R. Buss, An Introduction to Proof Theory. Chapter 1 from Handbook of Proof Theory, edited by S.R. Buss. Elsevier, Amsterdam, 1998. Available here.

Other sources:

• J.-Y. Girard. Proofs and Types. Cambridge University Press, Cambridge, 1989. Translated and with appendices by Paul Taylor and Yves Lafont. Available here.
• A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge University Press, Cambridge, 2000.

Prerequisites

Some background knowledge in logic and mathematical maturity is required, but nothing beyond what could reasonably be expected from a student of mathematics or logic at MSc level (for example, at the level of the ILLC's Basic Logic course).

To teaching page.