Damit wurde Alan Turing berühmt: Die Lösung des “Halteproblems”. EIn Nachtrag zu Turings hundertsten Geburtstag (über den ich bereits beim letzten Mal geschrieben habe).