Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach; Ph.D. Anton Jonathan Freund
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
Basic Appl Proof Th
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
Englisch
Min. | Max. participants:
- | -
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
|