Information and Communication Technology - News

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…

Olympisch? Logisch!

Die TU Wien ist der erste Austragungsort der Olympischen Spiele der Logik: Teams aus der ganzen Welt entwickelten Computerprogramme, die nun beim…

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…

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…

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

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…