Information and Communication Technology - News

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…

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…

Logik ist wie abstrakte Malerei

Porträts

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

Der Computer ist dumm

Kameraauge
© 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“…

Die Logik in der Informatik

Maschine
© 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…