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

Kein Zweifel: Er war ein Genie. Alan Turing, ein Mathematiker von historischer Bedeutung, Mitbegründer der Informatik, philosophischer Impulsgeber und Kriegsheld im Kampf gegen die Nazis, hat in seinem kurzen Leben Unglaubliches geleistet. Am 23. Juni 2012 wäre er hundert Jahre alt geworden.