Heute ist Logik aus unserem Alltag nicht wegzudenken: Denn jedes Computerprogramm könne als eine sehr lange logische Formel gesehen werden und jegliche Kommunikation mit Computern ist ohne die Formel-Sprache der Logik nicht möglich. Kurt Gödel, Mathematiker, Philosoph und einer der bedeutendsten Logiker des 20. Jahrhunderts, veröffentlichte 1931 seinen bekannten “Unvollständigkeitssatz”. Vereinfacht gesagt, räumte er darin mit der Hoffnung auf, dass in der Mathematik als der exaktesten aller Wissenschaften alles bewiesen werden kann. Er konnte zeigen, dass es in jeder mathematischen Theorie wahre Sätze gibt, die nicht bewiesen werden können, es sei denn die Theorie enthält Widersprüche. Was alles auf Logik basiert, soll im Rahmen der Diskussionsveranstaltungen verständlich gemacht werden.
Diskussion
Begrüßung
Anita Eichinger, stlv. Direktorin der Wienbibliothek
Key Note
Friedrich Stadler, Professor an der Universität Wien, Institut Wiener Kreis, Präsident der Österreichischen Ludwig Wittgenstein Gesellschaft
Podium
Karl Sigmund, Professor an der Universität Wien, Fakultät für Mathematik
Gabriele M. Mras, Professorin an der Wirtschaftsuniversität Wien, Abteilung Philosophie
Peter Weibel, Professor an der Universität für angewandte Kunst und ZKM Karlsruhe
Moderation
Walter Hämmerle, Wiener Zeitung
Anschließend Brot & Wein