problème de l’arrêt
Ein fundamentales Problem der theoretischen Informatik, das besagt, dass es keinen Algorithmus gibt, der für jedes beliebige Programm und jede Eingabe entscheidet, ob das Programm endet oder ewig weiterläuft.
Un problème fondamental de l'informatique théorique, selon lequel il n’existe aucun algorithme capable, pour tout programme et toute entrée donnés, de déterminer si le programme se termine ou s’exécute indéfiniment.
-
Alan Turing bewies die Unlösbarkeit des Halteproblems.
-
Das Halteproblem ist ein zentrales Konzept der theoretischen Informatik.
-
Man kann das Halteproblem nicht mit einem Algorithmus lösen.