Seminar zur Logik - Wintersemester 2007/2008
Seminar zur Logik: Beweistheorie - Wintersemester 2007/2008
Aufbauend auf die (z.B. aus der Logik II bekannte) Analyse von PA wollen wir uns in diesem Seminar mit den stärkeren Theorien ID1 (ein System der Zahlentheorie, in dem man über Fixpunkte monotoner induktiver Definitionen reden kann) und KP (ein System das Mengenlehre, welches "Zulässigkeit" oder rekursive Regularität axiomatisiert) beschäftigen.
Die (möglichst aktuelle) Vortragseinteilung als ps-Datei oder als pdf-Datei.
Betreuung der Logikseiten
|
