Die Zeit der Sanduhren läuft ab
INFORMATIK AN DER UNI FREIBURG I: Forscherteam entwickelt Methode zur Beseitigung von Fehlern im Betriebssystem.
Dass die abstrakte Welt der höheren Mathematik ganz konkrete Auswirkungen auf den Alltag jedes Computernutzers hat, konnte jetzt ein internationales Forscherteam um den Freiburger Informatik-Professor Andreas Podelski unter Beweis stellen. Wer kennt nicht das folgende Problem: Ein Befehl, etwa zum Drucken eines Dokuments, wird abgeschickt, aber nichts passiert. Stattdessen erscheinen endlos ein Ladebalken oder eine Sanduhr auf dem Bildschirm. Die Lösung: die Mathematik des Unendlichen und ein eher zufällig entdecktes Resultat aus dem Jahr 1930.
Wenn man nach dem Absenden eines Befehls ewig warten muss und am Ende sogar der Computer abstürzt, handelt es sich dabei um einen so genannten ...
-Artikel auf badische-zeitung.de lesen
