Kursinformation

Course Contents
This course gives a brief introduction to some of the major techniques of applied proof theory, namely so-called proof interpretations. The main methods studied are: no-counterexample interpretation (Kreisel), modified realizability, functional (‘Dialectica’) interpretation (Gödel) and their monotone variants.

Literature
Kohlenbach, Ulrich: ‘Applied Proof Theory: Proof Interpretations and Their Use in Mathematics’. Springer Monograph in Mathematics, xx+536pp., 2008, Chapters 1-10.

Preconditions
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes