Für eine Lösung des Halteproblems!
Alan Turing bewies 1936, dass nicht algorithmisch entschieden werden kann, ob ein Computerprogramm mit einer gegebenen Eingabe mit der Berechnung irgendwann fertig wird, also zu einem Endergebnis kommt. Dieses fundamentale Prinzip der theoretischen Informatik wird von Programmierern und vor allem deren Auftraggebern regelmäßig ignoriert, als sei es dadurch nicht mehr vorhanden. Ob Staatstrojaner, Facebook oder Betriebssysteme: Es kann insbesondere (in endlicher Zeit) nicht entschieden werden, ob bestimmte Berechnungen von der Software nicht vorgenommen werden. »