Ich musste heute wieder an das Halteproblem denken.
Das ist ja das Problem, ein Computerprogramm D(p,x) zu schreiben, was als Eingabe ein beliebiges Programm p und seine Eingabe x erhält und immer korrekt und nach endlicher Zeit ausgibt, ob p mit Eingabe x jemals endet oder endlos läuft.
So ein Programm D kann nicht existieren. Und der Beweis ist ein wundersam einfaches Diagonalargument.
🧵
mdt
turingmachine