Institut für Informatik



    Im Wintersemester 2008/2009 findet im Rahmen des Informatik-Kolloquiums folgender Vortrag statt:

    Montag, 27. Oktober 2008, 17:00 Uhr, Turing-Hörsaal

    Prof. Dr. Cristian Calude (University of Auckland, New Zealand)

    “Incompleteness: A Personal Perspective"

    After proving the completeness of the system of predicate logic in his doctoral dissertation (1929), Gödel has continued the investigation of the completeness problem for more comprehensive formal systems, especially for systems encompassing all known methods of mathematical proof. In 1931 Gödel proved his famous (first) incompleteness theorem, which in modern terms reads: "Every computably enumerable, consistent axiomatic system containing elementary arithmetic is incomplete, that is, there exist true sentences unprovable by the system."

    Our aim is to present a personal view of the incompleteness phenomenon. We will focus on interesting/natural concrete independent sentences, on the source of incompleteness, and on how common the incompleteness phenomenon is. Some open questions will be briefly stated.

    Zu diesem Vortrag nebst anschließender Diskussion laden wir Sie herzlich ein.

    Die Dozenten der Informatik