{{menu|Teaching|Lehrveranstaltungen im Wintersemester 2004/2005}}

{{Vorlesungsverzeichnis2|W2004}}
<!--01.10.04&#8211;28.02.05-->

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

* Grundbegriffe der Mathematischen Logik'', Heike Mildenberger'', VO 2h<br /> Di 13.30-15.00. (starts 2004-10-05.)

<blockquote>
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.
</blockquote>

* Proseminar zu den Grundbegriffen der Mathematischen Logik, ''Ren&eacute; Schipperus'', PS / 1h<br /> Mi 15.30-16.15.
* Proseminar zur Axiomatischen Mengenlehre I, ''Heike Mildenberger'' , PS / 2h<br /> Mo 17.15-18.45.
* Axiomatische Mengenlehre I, ''Ren&eacute; Schipperus'', VO / 3h<br /> 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<br /> Mi, Do 13-14 Uhr.  (starts  2004-10-06)

<blockquote>
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.
</blockquote>
* Projektseminar aus Logik und Grundlagenforschung der Mathematik, ''Sy D. Friedman'', SE / 2h<br /> Mi, Do 14.15-15.15. (starts 2004-10-13)

<blockquote>
In diesem Seminar werden die Forschungsprojekte von Diplomanden und Doktoranden präsentiert.
</blockquote>
* Seminar für Neuroinformatik, ''Curt Christian'' (gem. mit ''Claudia Neubert''),SE / 2st<br /> Fr 10.30-12.00	Beginn: n.Ü.
* Privatissimum: Axiomatische Mengentheorie, ''Sy D. Friedman'',SE / 2h<br /> Di 16.00-17.30 Beginn: 2004-10-05