| WWU Münster Mathematik: Logik |
Dozent: Prof. Dr. Andreas Weiermann
Zeit: Dienstags, Mittwochs 11 - 13 Uhr c.t.
Ort: SR8
Beginn: 16.04.2002
Belegnummer: noch unbekannt
Zuordnung: Studierende im Hauptstudium mit Nebenfach Logik
In der Vorlesung wird eine Einführung in die Beweistheorie gegeben. Wir behandeln die beweistheoretische Analyse der Zahlentheorie, wobei neben der Berechnung der beweistheoretischen Ordinalzahl von PA auch verschiedene Charakterisierungen der PA-beweisbar rekursiven Funktionen angegeben werden. Hierauf aufbauend sollen mathematische Unabhängigkeitsresultate behandelt werden. Schließlich wollen wir eine Ordinalzahlanalyse der Theorie nichtiterierter induktiver Definitionen durchführen.
Vorkenntnisse: Prädikatenlogik, Rekursionstheorie und Infinitesimalrechnung I
Literatur:
W. Pohlers, Proof Theory. An Introduction. Springer Lecture
Notes in Mathematics 1407 (1989)
K. Schütte, Proof Theory. Springer Verlag (1977)
Ein Schein kann durch erfolgreiche Bearbeitung von Übungsaufgaben und aktive Teilnahme an den Übungen erworben werden.
