04-00-0224-vu Basic Applied Proof Theory

Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach; Ph.D. Anton Jonathan Freund

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Basic Appl Proof Th

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

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:
empfohlen: Introduction to Mathematical Logic.

Alternativ für Studierende der Informatik:
- Automaten, formale Sprachen und Entscheidbarkeit
- Aussagenlogik und Prädikatenlogik