[ Lehrveranstaltungen 185/2 ]     [ AG Theoretische Informatik und Logik ]     [ Fachbereich Informatik ]     [ Technische Universität Wien ]

2.0 SE Seminar aus Theoretischer Informatik (185.221, WS 2004)

Lehrveranstaltungsleiter: Christian Fermüller, Alexander Leitsch


Letzte Änderung: 7.12.2004 (CF)

Diese Lehrveranstaltung ist Teil der Magisterstudien Computational Intelligence und Software Engineering & Internet Computung (jeweils Wahllehrveranstaltung im Bereich Theoretische Informatik) sowie Teil des Diplomstudiums Informatik (Wahlfach Artificial Intelligence und Theoretische Informatik).

Termine

Folgende Vortragstermine und Vortragsthemen wurden bei der Vorbesprechung am 21.10. vereinbart:

No. Datum Thema Vortragender
1. 11.11. Arithmetization Franz Berger
2. 18.11. Representability of Recursive Functions Adrian Prantl
3. 25.11. Indefinability, Undecidability, Incompleteness Christian Walter
4. 2.12. The Unprovability of Consistency Markus Leitner
5. 9.12. Independence of Goodstein's Theorem Georg Gutjahr
Zeit jeweils Donnerstag, 9:30 - 11:30
Ort: Seminarraum E1852, Favoritenstraße 9 / Stiege 1 / 3. Stock (gelber Bereich)

Thema: Gödels Unvollständigkeitssatz

Gödels Beweis, dass jedes hinreichend aussagekräftige, formale Beweissystem unvollständig sein muss (d.h. nicht erlaubt alle `wahren' Formeln der entsprechenden Sprache abzuleiten) ist eines der zentralen und faszinierensten Einsichten der Grundlagenforschung schlechthin. Insbesonders hat es grundsätzliche Konsequenzen für die Informatik.

In diesem Seminar soll einführende und weiterführende Literatur zu diesem Thema in Vorträgen erarbeitet und besprochen werden.

Eine wesentliche Textgrundlage werden entsprechende Kapiteln aus dem Buch

sein. (Vorträge jeweils zu den Kapiteln 15. 16, 17 und 18).
(Shttp://www.princeton.edu/~jburgess/addenda.htm
Darüber hinaus die undergraduate thesis (entspricht in etwa einer Bakkalaureatsarbeit) in Vorträgen erarbeitet werden.
Zu Goodstein's Theorem siehe auch: JAVA-Applet zur Goodstein-Sequenz

NEU: Derzeit steht eine Vorab-Version des Lehrbuchs Gödel's Theorems - an Introduction von Peter Smith (University of Cambridge) zur Verfügung: ( [Download page]).


Valid HTML 4.01! Viewable With Any Browser C.Fermüller