Mathematische Logik (V2A4)
Dozenten
- Prof. Dr. Stefan Geschke
- Dr. Bernhard Irrgang
Zeit und Ort
Vorlesung: Montag 14:15-16:00 und Mittwoch 13:15-15:00, beide im Gr.Hörsaal, Wegelerstrasse 10
Übungsgruppen: Montag und Freitag, 10 - 12, beide im Zeichensaal (Wegelerstr.)
und Montag 12 - 14 Uhr, Seminarraum G (Gebäude Wolfgang-Paul-Hörsaal, Kreuzbergweg)
Inhalt
Die mathematische Logik untersucht mit mathematischen Methoden den Begriff des formalen Beweises. Wir betrachten die Aussagenlogik, Sprachen erster Stufe und ihre Semantik (Bedeutung), formale Beweise in der Prädikatenlogik erster Stufe und den Gödelschen Vollständigkeitssatz. Dieser besagt, dass alles, was aus einem Axiomensystem folgt, aus den Axiomen schon formal beweisbar ist. Außerdem werden wir die Gödelschen Unvollständigkeitssätze beweisen.Skript
Übungsblätter
Last changed: July 7, 2010