piwik-script

Deutsch Intern
    Institute of Computer Science

    Informatik-Kolloquium

    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

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Contact

    Institut für Informatik
    Am Hubland
    97074 Würzburg

    Email

    Find Contact