| Veranstalter: |
Dr. Gunter Fuchs, Zi. 813 (Sekretariat Frau Pfeifer, Zi. 811) |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag, 12-14 Uhr, M3 |
| Zeit und Ort der Übung: |
Freitag, 16-18 Uhr (s.t.), SR7 |
| Beginn: |
Die erste Vorlesung findet am 20.04. statt. |
| Belegnummern: |
Vorlesung: 104300, Übungen: 104296 |
| Inhalt: |
Die Vorlesung gibt eine Einführung in die Prädikatenlogik der ersten Stufe. Es werden die Begriffe eines formalen Beweises und eines Modells eingeführt und gezeigt, dass logische Folgerung, die unter Verwendung des Modellbegriffs definiert ist, das gleiche ist wie Beweisbarkeit. Mit Hilfe der Berechenbarkeitstheorie wird dann, sofern es die Zeit erlaubt, der Gödelsche Unvollständigkeitssatz gezeigt, der besagt, dass die formale Beweisbarkeit von Sätzen nicht durch einen Algorithmus entschieden werden kann. Es wird auch die Mengenlehre entwickelt, die als Metatheorie dient. |
| Literatur: |
Es wird vorlesungsbegleitend ein Skript erstellt, das auf der Homepage des Dozenten heruntergeladen werden kann. Darüberhinaus sind diverse Bü über mathematische Logik geeignet: Ebbinghaus, Flum, Thomas - Einführung in die mathematische Logik; Joseph Shoenfield - Mathematical logic; Enderton - A mathematical introduction to logic.
|
