Alan Turing (1912-1954) war ein britischer Mathematiker, Logiker und Informatiker, dessen Arbeit von 1936 über berechenbare Zahlen das theoretische Modell einführte, das heute als Turingmaschine bekannt ist, und damit die theoretische Grundlage für künstliche Intelligenz und moderne Computertechnik legte. Während des Zweiten Weltkriegs leitete er die Codeknacker-Bemühungen in Bletchley Park, wo seine Arbeit an der Bombe-Maschine dazu beitrug, die deutsche Enigma-Chiffre zu brechen, was erheblich zu den Kriegsanstrengungen der Alliierten beitrug.
Frühes Leben und theoretische Arbeit
Nach seiner Ausbildung in Cambridge und Princeton bewies Turing 1936, dass kein einzelner Algorithmus für jedes mögliche Programm entscheiden konnte, ob es anhalten würde – ein Ergebnis, das als Halteproblem bekannt wurde. Die abstrakte „Turingmaschine“, die er zur Beweisführung entwickelte, wurde zum Standardmodell der theoretischen Informatik und erwies sich später als gleichwertig mit dem Lambda-Kalkül und anderen Formalismen, die von Alonzo Church entwickelt wurden.
Bletchley Park
Ab 1939 arbeitete Turing bei der britischen Government Code and Cypher School in Bletchley Park. Er entwarf die elektromechanische Bombe, die die Suche nach den täglichen Einstellungen der deutschen Enigma-Maschine automatisierte, und seine kryptoanalytische Arbeit wird weithin dafür anerkannt, den Krieg verkürzt zu haben. Das Ausmaß seines Kriegsbeitrags blieb jahrzehntelang nach seinem Tod geheim.
Nachkriegszeit und „Computing Machinery and Intelligence“
Nach dem Krieg arbeitete Turing an frühen speicherprogrammierten Computern am National Physical Laboratory und an der Universität Manchester und trug Entwürfe für die Automatic Computing Engine bei. 1950 veröffentlichte er „Computing Machinery and Intelligence“ in der Zeitschrift Mind und schlug darin vor, was als Turing-Test bekannt wurde: Anstatt zu fragen, ob eine Maschine „denken“ kann – ein vager und umstrittener Begriff –, schlug Turing vor, Maschinen danach zu beurteilen, ob ihre Konversation von der eines Menschen nicht zu unterscheiden war. Der Artikel antizipierte Einwände, die jahrzehntelang wiederkehren sollten, darunter Argumente aus dem Bewusstsein, mathematische Grenzen und den „Lovelace-Einwand“, der Ada Lovelace zugeschrieben wird, und bleibt ein Bezugspunkt für Debatten über allgemeine künstliche Intelligenz und darüber, was als maschinelles Verständnis gilt.
Verfolgung und Tod
1952 wurde Turing nach britischem Recht wegen homosexueller Handlungen strafrechtlich verfolgt, die damals eine Straftat darstellten, und akzeptierte chemische Kastration als Alternative zum Gefängnis. Er starb 1954 an einer Zyanidvergiftung, die von der Untersuchung als Selbstmord eingestuft wurde, obwohl die Umstände von Biografen umstritten sind. Er erhielt 2013 posthum eine königliche Begnadigung, und das „Alan-Turing-Gesetz“ von 2017 begnadigte rückwirkend andere Männer, die nach demselben Gesetz verurteilt worden waren.
Vermächtnis
Turing gilt weithin als Gründungsfigur der Informatik und des Feldes, das später beim Dartmouth-Workshop 1956 als künstliche Intelligenz benannt wurde, obwohl er dessen Entstehung nicht mehr erlebte. Der Turing Award, die höchste Auszeichnung der Informatik, ist nach ihm benannt, und der Turing-Test bleibt ein kultureller Bezugspunkt, der oft lose herangezogen wird, wenn ein Chatbot oder großes Sprachmodell überzeugend menschenähnlichen Text erzeugt – ein Vergleich, den viele Forscher als schlechten Test für echte maschinelle Intelligenz oder Verarbeitung natürlicher Sprache betrachten.