Computational Science and Engineering - News

Logische Methoden in der Computerwissenschaft und Teilchenphysik: Zwei neue Doktoratskollegs an der TU Wien

Zwei neue Doktoratskollegs an der TU Wien wurden vom Wissenschaftsfonds FWF genehmigt: „Logik in der Informatik“ und „Teilchen und Wechselwirkungen“.…

Gott aus dem Computer?

Der Wiener Logiker Kurt Gödel versuchte, die Existenz Gottes durch reine Logik zu beweisen. TU Wien und FU Berlin konnten die Richtigkeit des Beweises…

Elektrischer Strom für Wiener Taxis? [1]

Wenn man an Wiens Taxi-Standplätzen Schnellladestationen installieren würde, könnte man Funkttaxi-Flotten elektrisch fahren lassen – das ist das…