Die Zeit der Sanduhren läuft ab

INFORMATIK AN DER UNI FREIBURG I: Forscherteam entwickelt Methode zur Beseitigung von Fehlern im Betriebssystem.

Fr, 6. Okt 2006
Computer & Medien

Wir benötigen Ihre Zustimmung um BotTalk anzuzeigen

Unter Umständen sammelt BotTalk personenbezogene Daten für eigene Zwecke und verarbeitet diese in einem Land mit nach EU-Standards nicht ausreichenden Datenschutzniveau.

Durch Klick auf "Akzeptieren" geben Sie Ihre Einwilligung für die Datenübermittlung, die Sie jederzeit über Cookie-Einstellungen widerrufen können.

Akzeptieren
Mehr Informationen

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 ...