Lehrinhalte
Diese Vorlesung setzt die Vertiefungsvorlesung `Basic Applied Proof Theory' fort und entspricht zunammengenommen mit dieser dem 4+2 stündigen Modul `Applied Proof Theory'. Es werden behandelt: Funktionalinterpretation der vollen Analysis (Spector), monotone Interpretationen der Analysis und ihre Erweitung auf Systeme mit Klassen von abstrakten (nicht separablen) Strukturen, wie allgemeinen metrischen, hyperbolischen und normierten Räumen. Als Anwendungen dieser Methoden auf konkrete Beweise der Mathematik führen wir explizite Beweisanalysen in den Bereichen Approximationstheorie, metrische Fixpunkttheorie und Ergodentheorie durch. Hierbei werden explizite effektive Schranken und qualitativ neue Uniformitätsresultate aus diesen Beweisen extrahiert.
Literatur
Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics. Springer Monograph in Mathematics, xx+536pp., 2008
Voraussetzungen
empfohlen: Basic Applied Proof Theory
Online-Angebote
moodle
- Lehrende: Ulrich Kohlenbach