Arbeitsbereich, Institut :

Theoretische Informatik und Logik (185-2)
Institut für Computersprachen

Thema:
Unberechenbare Friseusen & intelligente Computer:
Grenzen der Berechenbarkeit, Utopie und Wirklichkeit künstlicher Intelligenz

Koordination und Betreuung:
Dr. Gernot Salzer

Du erlebst:  

Die theoretische Informatik und die Logik sind die formal-mathematischen Fundamente der Informatik. Einerseits bieten sie konkrete Hilfestellungen beim Lösen wichtiger Probleme, andererseits liefern sie grundlegende Erkenntnisse über das Wesen der Informatik.

Die Präsentation führt durch die Frühgeschichte der Informatik und zeigt die Grenzen der Berechenbarkeit auf. Das Friseusen-Paradoxon illustriert das Prinzip des Diagonalschlusses, der eine wesentliche Rolle spielt beim Nachweis, dass es informatisch relevante Probleme gibt, die trotz präziser Aufgabenstellung prinzipiell unlösbar sind. Weiters wird die bis heute andauernde Diskussion beleuchtet, ob es prinzipiell intelligente Computer geben kann und wenn ja, wie wir sie erkennen können.

Genauer Ort der Vorführung:
Favoritenstr . 9-11, Seminarraum 185/2 (HA0308), Stiege I, 3.Stock, gelber Bereich