Alan Turing, Pionier der Informatik und Codeknacker im Zweiten Weltkrieg, ist einer der wichtigsten und einflussreichsten Denker des zwanzigsten Jahrhunderts. In diesem Band werden erstmals seine wichtigsten Schriften einem breiten, nicht spezialisierten Publikum zugänglich gemacht. Sie sind sowohl in ihrem eigenen Recht als auch in ihrer historischen Bedeutung faszinierend zu lesen: zeitgenössische Berechnungstheorie, Kognitionswissenschaft, künstliche Intelligenz und künstliches Leben stammen alle aus diesem bahnbrechenden Werk, das auch reich an philosophischen und logischen Einsichten ist. Eine Einführung von Turing-Experte Jack Copeland bietet den Hintergrund und führt den Leser durch die Auswahl. Über Alan Turing: Alan Turing FRS OBE (1912-1954) studierte Mathematik am King's College Cambridge. Er wurde im März 1935 im Alter von nur 22 Jahren zum Fellow des King's gewählt. Im selben Jahr erfand er die abstrakten Rechenmaschinen – heute einfach Turingmaschinen genannt – nach denen alle nachfolgenden digitalen Computer mit gespeicherten Programmen modelliert sind. Von 1936 bis 1938 setzte Turing sein Studium an der Princeton University fort. Er schloss ein Doktorat in mathematischer Logik ab, das das Konzept der 'Intuition' in der Mathematik analysierte und die Idee der orakelhaften Berechnung einführte, die nun grundlegend in der mathematischen Rekursionstheorie ist. Ein 'Oracle' ist ein abstraktes Gerät, das in der Lage ist, mathematische Probleme zu lösen, die zu schwierig für die universelle Turingmaschine sind. Im Sommer 1938 kehrte Turing zu seinem Fellowships am King's zurück. Als der Zweite Weltkrieg 1939 begann, trat er in das Kriegshauptquartier der Government Code and Cypher School (GC&CS) in Bletchley Park, Buckinghamshire, ein. Aufbauend auf früheren Arbeiten polnischer Kryptoanalytiker trug Turing entscheidend zur Konstruktion von elektromechanischen Maschinen ('Bomben') bei, die verwendet wurden, um Enigma zu entschlüsseln, den Code, mittels dessen die deutsche Armee versuchte, ihre Funkkommunikation zu schützen. Turings Arbeit an der Version von Enigma, die von der deutschen Marine verwendet wurde, war entscheidend für den Kampf um die Vorherrschaft im Nordatlantik. Er beteiligte sich auch an der Attacke auf die Cipher, die als 'Fisch' bekannt sind. Basierend auf dem binären Fernschreiber-Code wurde Fisch während der späteren Kriegsteile anstelle von morsebasierter Enigma für die Verschlüsselung von hochrangigen Signalen verwendet, zum Beispiel Nachrichten von Hitler und anderen Mitgliedern des deutschen Oberkommandos. Es wird geschätzt, dass die Arbeit der GC&CS den Krieg in Europa um mindestens zwei Jahre verkürzt hat. Turing erhielt den Orden des Britischen Empire für die Rolle, die er spielte. Im Jahr 1945, als der Krieg beendet war, wurde Turing zum National Physical Laboratory (NPL) in London rekrutiert, mit dem Auftrag, einen elektronischen Computer zu entwerfen und zu entwickeln – eine konkrete Form der universellen Turingmaschine. Turings Bericht, der sein Design für die Automatic Computing Engine (ACE) darstellt, war die erste relativ vollständige Spezifikation eines elektronischen allgemeinen digitalen Computers mit gespeichertem Programm. Verzögerungen, die außerhalb von Turings Kontrolle lagen, führten dazu, dass das NPL das Rennen um den Bau des weltweit ersten funktionierenden elektronischen digitalen Computers mit gespeichertem Programm verlor – eine Ehre, die im Juni 1948 an das Royal Society Computing Machine Laboratory an der Universität Manchester ging. Entmutigt durch die Verzögerungen am NPL übernahm Turing in diesem Jahr die stellvertretende Direktion des Royal Society Computing Machine Laboratory. Turing war ein Gründungsvater der modernen Kognitionswissenschaft und ein führender früher Verfechter der Hypothese, dass das menschliche Gehirn zu großen Teilen eine digitale Rechenmaschine ist, und theorierte, dass der Cortex bei der Geburt eine 'ungeordnete Maschine' ist, die durch 'Training' organisiert wird 'in eine universelle Maschine oder etwas Ähnliches'. Er war auch ein Pionier der künstlichen Intelligenz. Turing verbrachte den Rest seiner kurzen Karriere an der Universität von Manchester, wo er im Mai 1953 zu einer eigens geschaffenen Dozentur in der Theorie der Informatik ernannt wurde. Er wurde im März 1951 (eine hohe Auszeichnung) zum Fellows der Royal Society of London gewählt.
