Mathematisches Kolloquium
Am Freitag, 16. Dezember 2005, um 16 Uhr c.t. spricht
Prof. Dr. Michael Rathjen
(University of Leeds )
im Hörsaal E27 über das Thema
Die Kunst von Ordinalzahlanalyse
Zusammenfassung: Ein Thema, das alle Zweige der Mathematischen Logik durchzieht, ist die Klassifikation von Mengen, Funktionen und Theorien mittels geeigneter transfiniter Hierarchien, deren Ordinalzahlstufen die Komplexität der zugrunde liegenden Objekte zu messen suchen. In der Beweistheorie zeigt sich dies in der Ordinalzahlanalyse, d. h. der Zuordnung von Ordinalzahlen zu Theorien, um die Stärke von Theorien zu erfassen. Die Beweistheorie wurde ursprünglich von Hilbert ins Leben gerufen, um ein für alle Mal die Konsistenz der Mathematik mit unbedenklichen Methoden zu erweisen. Die ordinalzahltheoretische Wendung der Beweistheorie schreibt sich auf Gentzens Konsistenzbeweis (1936) für die Arithmetik zurück. Im Vortrag sollen die ordinalzahltheoretischen Ideen und Ergebnisse in der Beweistheorie von Gentzen über Schütte bis zu den jüngsten Entwicklungen nachgezeichnet werden.
Alle Interessierten sind hiermit herzlich eingeladen. Eine halbe Stunde vor dem Vortrag gibt es Kaffee und Tee im Sozialraum (Raum 448) im 4. Stock.
Treffpunkt zum Abendessen um 18.00 Uhr wird noch bekannt gegeben.