Logik in der Informatik Prof. Dr. Martin Grohe

Aktuelles

Die erste Sitzung des Proseminar mit Einführung und Vergabe der Vortragsthemen findet am Freitag dem 15. April statt.

Einführung

Zentrale Ergebnisse der Logik sind Vollständigkeitssätze, die es im Prinzip ermöglichen, das logische Schließen zu automatisieren. Allerdings stößt man mit algorithmischen Verfahren zum logischen Schließen schnell an prinzipielle Grenzen. Das wird etwa deutlich in der "Unentscheidbarkeit der Logik der ersten Stufe", welche besagt, dass es keinen Algorithmus gibt, der entscheidet, ob ein gegebener Satz der Logik der ersten Stufe erfüllbar ist.

Die Grenzen der formalen Methode werden wir in diesem Proseminar genauer untersuchen. Im Mittelpunkt werden dabei die Gödelschen Unvollständigkeitssätze stehen.

Zeit und Raum

Freitags 9 - 11 im Erwin Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'307

Dozent

Prof. Dr. Martin Grohe
Sprechstunde in SS11: Dienstags 14-15 Uhr

Literatur

Alle Vorträge kommen aus folgendem Buch:

[S]	R. M. Smullyan, Gödel's Incompleteness Theorems.

Ergänzend sei auch noch auf die folgenden Bücher verwiesen:

[EFT]	H.-D. Ebbinghaus, J. Flum, W. Thomas, Einführung in die Mathematische Logik.
[BBJ]	G. S. Boolos, J. P. Burgess, R. C. Jeffrey, Computability and Logic.
[F]	T. Franzen, Gödel's Theorem.
[NN]	E. Nagel, J. R. Newman, Gödel's Proof.
[S2]	R. M. Smullyan, To Mock a Mockingbird - and Other Logic Puzzles.

Vorträge