Turing

Das kann eigentlich nur sehenswert werden: Benedict Cumberbatch wird in »The Imitation Game« den Mathematiker und Demiurgen des Digitalen Alan Turing zu Zeiten des Zweiten Weltkrieges spielen. Es wurden keine Kosten und Mühen gescheut, um eine »Bombe« eigens für den Film zu bauen. Die »Bombe« genannte Maschine half in Bletchley Park bei der Entschlüsselung der Nachrichten, deren Inhalt mit der von Kriegsgegner Deutschland verwendeten Enigma verschlüsselt worden war. Bis zu dreitausend Nachrichten konnte die Maschine pro Tag verarbeiten. »

Wer sich auf technische Artefakte verlassen muss, weil Leib und Leben oder gar guter Kaffee davon abhängen, wird einen großen Bogen um smarte Technik schlagen. Das ist klug.

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