Technische Universität Wien
> Zum Inhalt

Vienna Summer of Logic 2014: All You Need is Logic

Die größte wissenschaftliche Veranstaltung in der Geschichte der Logik findet im Juli an der TU Wien statt. Für den "Vienna Summer of Logic" wird Forschungsprominenz aus der ganzen Welt nach Wien kommen – in eine Stadt, die eng mit der Geschichte der Logik verknüpft ist.

http://vsl2014.at     

Details

 

 

 

 

Nach oben

Die Logik in der Informatik

Foto: Projet Rubens, ENS Lyon, Creative Commons

Logik und Informatik sind zwei Wissenschaften, die eng miteinander verwoben sind. Ohne Logik-Grundlagenforschung kommt die Computerwissenschaft längst nicht mehr aus. Logik in der Informatik ist eines der Schwerpunktthemen beim "Vienna Summer of Logic 2014".

Details

Nach oben

Der Computer ist dumm

Graphik: Cryteria, Lizenz: Creative Commons Attribution 3.0 Unported

Die künstliche Intelligenz macht große Fortschritte. Die TU Wien ist ein wichtiges Zentrum dieser Forschungsrichtung, beim "Vienna Summer of Logic" werden mehrere Konferenzen über künstliche Intelligenz stattfinden.

Details

Nach oben

Logik ist wie abstrakte Malerei

Zwei Meister ihres Faches, mit Hut: David Hilbert und Vincent van Gogh

Die moderne Logik brachte eine Entfesselung der Mathematik. Auch dort, wo Sprache und Anschauung versagen, lassen sich mit Hilfe der Logik schlüssige Gedankengebäude errichten.

Details

Nach oben

Das Silberne Zeitalter der Österreichischen Logik

Prägende Köpfe für Philosophie und Logik: Oben: Moritz Schlick (l) und Kurt Gödel, unten: Ludwig Wittgenstein (l) und Karl Popper

Wien ist wieder eine Welthauptstadt der Logik, mehr als 80 Jahre nachdem Kurt Gödel hier seinen Unvollständigkeitssatz niederschrieb. Der Wiener Kreis brachte einst das goldene Zeitalter der Logik. Nun ist ein neues "silbernes Zeitalter" angebrochen.

Details 

Nach oben

Dieser Satz ist falsch

Kurt Gödel, 1925

Der große Wiener Logiker Kurt Gödel untersuchte Sätze, die Aussagen über sich selbst treffen – und brachte damit unser Bild von der Mathematik gehörig ins Wanken.

Details

Nach oben

Die ersten Olympischen Spiele der Logik

Olympisch? Logisch!

Die TU Wien ist der erste Austragungsort der Olympischen Spiele der Logik: Teams aus der ganzen Welt entwickelten Computerprogramme, die nun beim "Vienna Summer of Logic" gegeneinander antreten.

Details

Nach oben

Vienna Summer of Logic 2014 | in aller Öffentlichkeit

Ausstellung: "Kurt Gödel und die Ursprünge der Logik in Wien"

Kongresse wie der Vienna Summer of Logic 2014 sind trotz Internet und sozialer Medien Knotenpunkte des wissenschaftlichen Informationsaustauschs – oft mit entscheidender Bedeutung für die Weiterentwicklung des jeweiligen Feldes, weil sich die wichtigsten ForscherInnen auf ihrem Gebiet persönlich treffen und austauschen. Die Öffentlichkeit bekommt von diesen Kongressen und ihrer Bedeutung oft nichts oder nur wenig mit. Mit der Reihe in aller Öffentlichkeit bietet der Vienna Summer of Logic 2014 ein Vermittlungsprogramm für die interessierte Öffentlichkeit, das in seiner Dichte und Menge ein Novum für einen wissenschaftlichen Kongress dieser Art ist.

Ausstellung: "Kurt Gödel und die Ursprünge der Logik in Wien"
Akademie der Bildenden Künste Wien. Täglich 15. Juli – 24. Juli; 10.00-18.00; Eintritt frei

Eröffnung: 14. Juli, 18.30, mit Patricia Blanchette (U Notre Dame) und Peter Weibel (Angewandte/ZKM Karlsruhe).  


Nach oben

LogicLounge auf dem Karlsplatz

LogikerInnen präsentieren im Dialog Aspekte ihrer Wissenschaft
"Heuer am Karlsplatz" in der Kunsthalle Wien Karlsplatz; 17.00-18.00

  • 14. Juli / Christos Papadimitriou (UC Berkeley) – Helmut Veith (TU Wien) / Logic goes Pop
  • 15. Juli / Georg Gottlob (U Oxford) – Oliver Lehmann (Klub der Bildungs- und Wissenschaftsjournalisten) / Gödel, Escher, Bach und Falco: Die Wiederentdeckung der Logik im Wien der 1980er
  • 16. Juli / Richard Zach (U Calgary) – Thomas Kramar (Die Presse) / Der unvollständige Kurt Gödel
  • 19. Juli Roderick Bloem (TU Graz) – Michael Fleischhacker (NZZ) / Die Wahrheit als Zahlenspiel
  • 20. Juli  / Byron Cook (UC London) – Katharina Gsöllpointner (Angewandte) / Die Logik der Symbole: Wie man eine neue Sprache erfindet
  • 22. Juli / Moshe Vardi (Rice U) – Herbert Hrachovec (U Wien) / Drohnen mit schlechtem Gewissen: Die Ethik der Künstlichen Intelligenz
  • 23. Juli  / Agata Ciabattoni (TU Wien) – Tanja Traxler (Der Standard) / Weibliche Logiken

Treffpunkt für FreundInnen der Logik im "Heuer am Karlsplatz" während des Vienna Summer of Logic 2014 • Erläuterungen in exakt einer Stunde live und vor Publikum • Reverenz an antikes philosophisches Symposium

Die LogicLounge ist ein temporärer Treffpunkt  für FreundInnen der Logik aus den Wissenschaften und der Öffentlichkeit. Während des Vienna Summer of Logic 2014 präsentieren LogikerInnen aus den Bereichen Philosophie, Mathematik, Computerwissenschaften und Künstliche Intelligenz die Grundlagen der "Wissenschaft von der schlüssigen und exakten Argumentation". In Diskussion mit ihren GesprächspartnerInnen werden die WissenschaftlerInnen live und vor Publikum innerhalb exakt einer Stunde von 17.00-18.00 an sieben Terminen vom 14. bis 23. Juli Einblicke in die Jahrtausende-alte Disziplin der Logik ermöglichen. Damit würdigen sie das antike Konzept des philosophischen Symposiums (vom Griechischen συμπίνειν sympinein, "gemeinsam trinken").

Veranstaltungsort ist das Heuer am Karlsplatz in der Kunsthalle Wien Karlsplatz, die in unmittelbarer Nähe der drei Tagungsorte des Vienna Summer of Logic liegt. Somit wird die LogicLounge zum informativen und amüsanten Epizentrum der weltgrößten Konferenz zum Thema Logik. Weitere Informationen über die TeilnehmerInnen und das Programm unter http://vsl2014.at/public-events 

Nach oben

Öffentliche Vorlesungen

Kuppelsaal TU Wien (Karlsplatz 13); 19.00

  • 15. Juli / Karl Sigmund (U Wien) / Gödel in Wien
  • 21. Juli / Friedrich Stadler (U Wien) / Wiener Kreis(e) – Zwischen Philosophie und Wissenschaft im kulturellen Kontext

Nach oben