Auseinandersetzung mit Logik: “Vienna Summer of Logic” ab 9. Juli

Ab 9. Juli wird Wien zum Logik-Woodstock. Ab 9. Juli wird Wien zum Logik-Woodstock. - © APA (Sujet)
Ab 9. Juli finden in Wien unter dem Dach des “Vienna Summer of Logic” insgesamt zwölf Konferenzen statt. Im Zentrum steht dabei die wissenschaftliche Auseinandersetzung mit Logik.

Mit mehr als 2.500 Forschern wird die am 9. Juli beginnende Veranstaltung “Vienna Summer of Logic” (VSL) nach Angaben der Verantwortlichen “die größte in der Geschichte der Logik” sein. Ein derart umfassendes Treffen von Experten aus den Forschungsbereichen Computerwissenschaften, Mathematische Logik und Künstliche Intelligenz habe es noch nie gegeben.

Den Anklang an den “Summer of Love” 1969 mit seinem Höhepunkt auf dem Musikfestival in Woodstock haben die VSL-Organisatoren von der Kurt Gödel Gesellschaft, der Technischen Universität (TU) Wien und dem Institute of Science and Technology (IST) Austria nicht ohne Grund gewählt, erklärten sie kürzlich.

Zum dritten Mal werden im Rahmen des VSL die drei mit jeweils 100.000 Euro dotierten “Kurt Gödel Fellowships” an vielversprechende Nachwuchswissenschafter auf den Gebieten Computerwissenschaften, Mathematische Logik und Künstliche Intelligenz vergeben.

“Vienna Summer of Logic” ab 9. Juli

Dass dieser Konferenz-Cluster in Wien über die Bühne gehen wird, sei auch darin begründet, dass sich die Stadt einer großen Tradition in der Wissenschaft von der schlüssigen und exakten Argumentation rühmen kann.

Bereits in den 1920er Jahren bildete sich mit dem “Wiener Kreis” ein einflussreicher Verbund von Naturwissenschaftern und Philosophen. In dessen Umfeld befassten sich vor allem der österreichische Mathematiker Kurt Gödel und der Philosoph Ludwig Wittgenstein mit zentralen Fragen der Logik.

Wissenschaftliche Auseinandersetzung mit Logik

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, so Helmut Veith vom Institut für Informationssysteme der TU Wien und Ko-Organisator des VSL.

Was alles auf Logik basiert, soll im Rahmen des VSL auch der allgemeinen Öffentlichkeit in einem ausführlichen Vermittlungsprogramm verständlich gemacht werden.

Highlights beim VSL 2014

Zu den wissenschaftlichen Highlights wird etwa die Eröffnungsrede des Mathematikers, Informatikers und laut Veith “lebenden Legende” der Logik, Dana Scott, von der Carnegie Mellon University in Pittsburgh (USA) zählen.

Weitere Keynote-Vorträge halten der Computerwissenschafter Christos Papadimitriou von der US-Universität Berkeley und der Pionier der automatisierten Fehlersuche in Computerprogrammen, Edmund Clarke.

Olympische Spiele der Logik in Wien

In Wien werden auch die ersten “Olympischen Spiele der Logik” über die Bühne gehen. Programmierer, respektive die von ihnen entwickelten Computersysteme, werden in zwölf Aufgabengebieten um die Wette Probleme lösen. Die Spiele sollen zukünftig alle vier Jahre ausgetragen werden. Die Organisatoren wollen damit eine neue wissenschaftliche Tradition begründen.

(APA/Red)

Leserreporter
Feedback


0Kommentare

Herzlichen Dank für Ihren Kommentar - dieser wird nach einer Prüfung von uns freigeschaltet. Beachten Sie, dass dies gerade an Wochenenden etwas länger dauern kann. Kommentare von registrierten Usern werden sofort freigeschaltet - hier registrieren!

noch 1000 Zeichen