Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
04-00-0224-vu
Subject:
Crediting for:
Hours per week:
3
Credits:
4,5
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.
|