Information and Communication Technology - News

Preise für die Stars der Logik

Olympische Sieger: Martina Seidl, Armin Biere, Georg Moser

Bei der Award Ceremony des Vienna Summer of Logic wurden die Sieger der Olympischen Spiele der Logik geehrt. Eine Reihe weiterer Preise für…

Heinz Zemaneks Mailüfterl

Kontrollpult des Mailüfterl

Ein wichtiges Stück Computergeschichte entstand an der TU Wien: Das Mailüfterl war einer der weltweit ersten Computer, die mit Hilfe von Transistoren…

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…