Kurt Gödel Research Center

Lehrveranstaltungen im Wintersemester 2004/2005

Siehe auch den Abschnitt Logik im Vorlesungsverzeichnis der Universität Wien.

Ort: Seminarraum 101 (Währinger Str. 25)

• Grundbegriffe der Mathematischen Logik, Heike Mildenberger, VO 2h
  Di 13.30-15.00. (starts 2004-10-05.)

Diese Vorlesung führt in die grundlegenden Ideen der modernen Logik ein.

Zuerst befassen wir uns mit der Aussagenlogik und beweisen einen Kompaktheitssatz. Dann werden wir uns mit der Logik der ersten Stufe beschäftigen, die als Rahmen für die gesamte Mathematik angesehen werden kann. Wir beweisen den Gödel'schen Vollständigkeitssatz, der besagt, dass alle beweisbaren Aussagen der Mathematik durch einen Computer aufgelistet werden können. Danach skizzieren wir die Beweise der Gödel'schen Unvollständigkeitssätze. Diese Sätze implizieren, dass kein Computer allgemein entscheiden kann, welche Aussagen der Mathematik wahr und welche falsch sind. Zum Schluss wird die axiomatische Grundlage der Mathematik, das Axiomensystem von Zermelo und Fraenkel, vorgestellt.

Es werden keine Vorkenntnisse in der Mathematischen Logik vorausgesetzt, wohl aber genügend Erfahrung im mathematischen Beweisen.

Zu dieser Vorlesung gibt es ein Skript auf Deutsch, das wochenweise erstellt wird. Ein Zeugnis kann durch das Bestehen einer Klausur am Semesterende erworben werden.

• Proseminar zu den Grundbegriffen der Mathematischen Logik, René Schipperus, PS / 1h
  Mi 15.30-16.15.
• Proseminar zur Axiomatischen Mengenlehre I, Heike Mildenberger , PS / 2h
  Mo 17.15-18.45.
• Axiomatische Mengenlehre I, René Schipperus, VO / 3h
  Mo 13.30-14.45 und Fr 9.30-10.30.
• Ausgewählte Kapitel aus der Mathematischen Logik (Selected Topics in Mathematical Logic), Sy D. Friedman,VO / 2h
  Mi, Do 13-14 Uhr. (starts 2004-10-06)

This will be a course about absoluteness results in set theory. Beginning with Levy-Shoenfield absoluteness, we will turn to generalisations to higher levels of definability with respects to different classes of extensions. The methods required for this analysis come from forcing, fine structure theory and large cardinal theory. Some knowledge of forcing, but not of fine structure theory or of large cardinal theory, is assumed.

• Projektseminar aus Logik und Grundlagenforschung der Mathematik, Sy D. Friedman, SE / 2h
  Mi, Do 14.15-15.15. (starts 2004-10-13)

In diesem Seminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert.

• Seminar für Neuroinformatik, Curt Christian (gem. mit Claudia Neubert),SE / 2st
  Fr 10.30-12.00 Beginn: n.Ü.
• Privatissimum: Axiomatische Mengentheorie, Sy D. Friedman,SE / 2h
  Di 16.00-17.30 Beginn: 2004-10-05