| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811) |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag, 14-16 Uhr, M5 |
| Zeit und Ort der Übung: |
Donnerstag, 16-18 Uhr , SR7 |
| Beginn: |
Die erste Vorlesung findet am 12.04. statt. |
| Belegnummern: |
Vorlesung: 101509, Übungen: 101513 |
| 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 der Gödelsche Unvollständigkeitssatz gezeigt, der besagt, dass die formale Beweisbarkeit von Sätzen nicht durch einen Algorithmus entschieden werden kann. |
| Literatur: |
Es wird vorlesungsbegleitend ein Skript erstellt, das auf der Homepage des Dozenten heruntergeladen werden kann.
|
