Zeit: Mo, Do 10:30-12:00

Beginn: 2007-03-08

Vorbesprechung: Mo 5. 3. 2007, 13:00

Diese vierstündige Vorlesung führt in die grundlegenden Ideen der mathematischen Logik ein. Wir stellen die Sprache der ersten Stufe vor und beweisen die Gödelschen Sätze. Zum Beweisen der Unvollständigkeitssätze beschäftigen wir uns auch mit einigen Grundlagen aus der Rekursionstheorie und der Beweistheorie.

Kenntnisse aus der Grundbegriffe-Vorlesung sind nützlich, aber nicht unbedingt erforderlich.