Seminar in Artificial Intelligence, 3.0 ETCS / 2.0 Std. (WS 2015/16)

Did Gödel show that intelligence cannot be fully mechanized?

Organizer: Christian Fermüller

This course will be held in English.

Last update: October 7, 2016 (CF)
Check regularly for UPDATES of this page!

*** New/recent information ***

  • Organisational meeting (moved) takes place on
    Friday, October 21, 2016, 13:00-13:30
    Von Neumann Seminar Room, Favoritenstraße 9-11, ground floor

  • Topic and Prerequisites:

    Gödel's famous incompleteness theorem is one of the most frequently (mis)used results in the context of discussions about the possibility of 'strong AI'. Thousands of attempts to show that Gödel's results have severe consequences for the prospects of 'mechanizing intellingence' have appeared in books, papers and contributions to discussions on the internet. Everyone seriously interested in Artificial Intelligence should be able to assess this debate.

    The main aim of the seminar is to learn to critcially and precisely evaluate different kinds of interpretations of Gödel's theorem. Needless to say that this calls for some familiarity with basic notions from mathematical logic and a careful analysis of basic concepts in AI and related fields.

    Background of all presentations and discussions will be the book

    Torkel Franzen: Gödel's Theorem - An Incomplete Guide to its Use and Abuse
    Wellesley, Massachusetts, A K Peters, Ltd., 2005. x + 172 pp., ISBN 1-56881-238-8
    Click here for infomation of the publisher
    which does not presume any specific previous knowlegde of its readers, but is also highly esteemed among experts.
    There is no need to buy the book. Electronic version available here (password protected).


    Further meetings:

    The dates will be fixed at the first meeting (see above).

    Hints for the preparation of seminar talks and papers


    The evaluation (Benotung) will be based on the quality of the following four types of contributions:
    1. your seminar talk,
    2. your seminar paper,
    3. your evaluation of other seminar papers,
    4. your contributions to the discussions.


    Seminar papers, but also other comments, requests, etc., should be addressed to chrisf@logic.at.

    Check regularly for UPDATES of this page!

    [ LVAs 185/2 | Abteilung 185/2 | Institut 185 | Informatik | TU Wien | Server home page ]