04-00-0224-vu Basic Applied Proof Theory

Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: 04-00-0224-vu

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Credits: 4,5

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Diese Vorlesung gibt eine Einführung in einige der zentralen Techniken der
angewandten Beweistheorie, nämlich verschiedene sog. Beweisinterpretationen.
Die hauptsächlich behandelten Methoden sind: Kreisel’s nocounterexample
Interpretation, die modifizierte Realisierbarkeitsinterpretation sowie
Gödels Funktionalinterpretation und deren monotone Varianten.

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

Voraussetzungen:
Introduction to Mathematical Logic. Für Studierende der Informatik: Formale
Grundlagen der Informatik I,II