In diesem Seminar soll, zur Ergänzung der Vorlesung Logik und Berechenbarkeit, eine einfache Version des Gödelschen Unvollständigkeitssatzes beweisen werden, aufgeteilt auf fünf Vorträge gestützt auf das entsprechende Kapitel aus P. G. Hinman, Fundamentals of mathematical logic.
Diese Veranstaltung findet im Rahmen des Seminars AK Zahlentheorie 501.028 statt, d.h., Seminarteilnehmer mögen 501.028 inskribieren, falls sie das noch nicht getan haben. Auch Nicht-Seminarteilnehmer sind als Zuhörer herzlich willkommen.
Mo 17.01. 10- 12 Seminarraum 1 (Geometrie): Tanja Mayer - Einleitung und rekursive Funktionen und Relationen Teil 1;
Mi 19.01. 15- 17 SR C208: Michaela Klopf - rekursive Funktionen und Relationen Teil 2 und rekursiv aufzählbare Mengen und Relationen;
Fr 21.01. 10- 12, Seminarraum Genomik und Bioinformatik: Stefan Planitzer - Gödelnummern und Definierbarkeit in der Arithmetik.
Es folgen zwei Vorträge im März.