Olympisch? Logisch! Die Medaille, die bein den Olympischen Spielen der Logik vergeben wird, zeigt den Wiener Logiker Kurt Gödel (Foto: Münze Österreich AG) Der Vienna Summer of Logic 2014 - die größte wissenschaftliche Veranstaltung in der Geschichte der Logik
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. Muskelkraft wird bei den olympischen Spielen der Logik nicht gefragt sein. Stattdessen kommt es auf Schnelligkeit, Anpassungsfähigkeit und Intelligenz an, wenn Computerprogramme, entwickelt von Forschungsteams aus der ganzen Welt, bei Logik-Wettbewerben gegeneinander antreten. Die olympischen Spiele sind Teil des ,,Vienna Summer of Logic", der größten wissenschaftlichen Veranstaltung in der Geschichte der Logik. Für Informatik-Interessierte gibt es kommentierte Liveübertragungen auf ,,Big Screens" an der TU Wien, die Preisverleihungs-Zeremonien finden am 17. und am 21. Juli statt. Von nun an im Vier-Jahres-Takt - ,,Citius, Maius, Potentius - schneller, größer, mächtiger", so lautet das Motto der olympischen Spiele der Logik. ,,Wettbewerbe, bei denen Teams unterschiedlicher Universitäten Programmcodes gegeneinander antreten ließen, gab es bereits", sagt Hauptorganisator Thomas Krennwallner (Institut für Informationssysteme, TU Wien).
UM DIESEN ARTIKEL ZU LESEN, ERSTELLEN SIE IHR KONTO
Und verlängern Sie Ihre Lektüre, kostenlos und unverbindlich.
