Alan Turing

Agora

Alan Turing

1912–1954

Erster Zugangbewusst vereinfacht – das Porträt erzählt mehr

Was sich Schritt für Schritt nach Regeln berechnen lässt, kann eine einzige einfache Art von Maschine berechnen – und statt zu fragen, ob Maschinen denken, sollten wir fragen, ob sie sich ununterscheidbar von einem Menschen unterhalten können.

Einordnung

Natur- & Humanwissenschaften · Nordeuropa · Geist & Bewusstsein, Logik, Wissenschaft

Bestimmte 1936 mit der „Turingmaschine“, was berechenbar ist; 1950 schlug er vor, die Frage „Können Maschinen denken?“ durch ein Imitationsspiel zu ersetzen – den Turing-Test – und eröffnete so die Philosophie der künstlichen Intelligenz.

Kernideen

Turingmaschine
Universelle Maschine und Unentscheidbarkeit
Imitationsspiel

Auf der Sternkarte öffnen

Einfluss

Beeinflusst von 4

David Hilbert

beeinflusst von
Turing beantwortete Hilberts und Ackermanns Entscheidungsproblem (Grundzüge der theoretischen Logik, 1928) negativ und bestimmte Berechenbarkeit über seine Maschinen („On Computable Numbers“, 1936). A. M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem” (1936–37); D. Hilbert and W. Ackermann, Grundzüge der theoretischen Logik (1928); SEP “Hilbert’s Program”; SEP “Alan Turing”
Beleg: KI-Entwurf
David Hilbert › 1862–1943
Bertrand Russell

beeinflusst von
Turing studierte, so Hodges, 1933 Russells Einführung in die mathematische Philosophie und passte später dessen Typentheorie an („Practical Forms of Type Theory“, 1948). A. Hodges, Alan Turing: The Enigma (1983); A. M. Turing, “Practical Forms of Type Theory”, Journal of Symbolic Logic 13 (1948); B. Russell, Introduction to Mathematical Philosophy (1919)
Beleg: auch in InPhO · InPhO
Bertrand Russell › 1872–1970
Ludwig Wittgenstein

beeinflusst von umstritten
Turing besuchte Wittgensteins Cambridger Vorlesungen über die Grundlagen der Mathematik (1939) und stritt mit ihm über Widersprüche; wie weit dies Turings Werk prägte, ist umstritten. C. Diamond (ed.), Wittgenstein’s Lectures on the Foundations of Mathematics, Cambridge, 1939 (1976); J. Floyd, “Turing on ‘Common Sense’: Cambridge Resonances”, in J. Floyd and A. Bokulich (eds.), Philosophical Explorations of the Legacy of Alan Turing (2017)
Beleg: KI-Entwurf
Ludwig Wittgenstein › 1889–1951
Kurt Gödel

beeinflusst von
Turing setzte seinen Unlösbarkeitsbeweis für das Entscheidungsproblem zu Gödels Unvollständigkeitssatz in Beziehung und codierte, wie Gödels Arithmetisierung, Maschinen als Zahlen („On Computable Numbers“, 1936). A. M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem”, Proceedings of the London Mathematical Society 42 (1936–37); K. Gödel, Monatshefte für Mathematik und Physik 38 (1931); SEP “Alan Turing”
Beleg: KI-Entwurf
Kurt Gödel › 1906–1978

Beeinflusste 4

Hilary Putnam

beeinflusste
Putnam bildete mentale Zustände nach den Zuständen einer Turingmaschine und begründete so den Maschinenfunktionalismus („Minds and Machines“, 1960; „Psychological Predicates“, 1967). H. Putnam, “Minds and Machines”, in S. Hook (ed.), Dimensions of Mind (1960); “Psychological Predicates” (1967), repr. as “The Nature of Mental States”; SEP “Functionalism”
Beleg: auch in InPhO · InPhO
Hilary Putnam › 1926–2016
Jerry Fodor

beeinflusste
Fodor baute seine komputationale Theorie des Geistes auf Turings Modell der Berechnung: Denken ist regelgeleitete Verarbeitung von Symbolen in einer Sprache des Geistes (The Language of Thought, 1975). J. A. Fodor, The Language of Thought (1975); The Mind Doesn’t Work That Way (2000); SEP “The Computational Theory of Mind”
Beleg: KI-Entwurf
Jerry Fodor › 1935–2017
Daniel Dennett

beeinflusste
Dennett verteidigte Turings Test als faires Kriterium („Can Machines Think?“, 1985) und stellte Turing neben Darwin als Entdecker von Kompetenz ohne Verständnis (From Bacteria to Bach and Back, 2017). D. C. Dennett, “Can Machines Think?” (1985), in Brainchildren (1998); From Bacteria to Bach and Back (2017); SEP “The Turing Test”
Beleg: auch in InPhO · InPhO
Daniel Dennett › 1942–2024
Luciano Floridi

beeinflusste
Floridi nannte Turings Umwälzung die vierte Revolution nach Kopernikus, Darwin und Freud: Wir sind informationelle Organismen („Inforgs“) unter anderen intelligenten Akteuren (The Fourth Revolution, 2014). L. Floridi, The Fourth Revolution: How the Infosphere Is Reshaping Human Reality (2014); The Philosophy of Information (2011)
Beleg: KI-Entwurf
Luciano Floridi › geb. 1964

Kritik

Kritisiert von 1

John Searle

kritisiert von
Searles Chinesisches Zimmer richtete sich gegen den Turing-Test als Kriterium des Verstehens: Ein Programm, das ihn durch Symbolmanipulation besteht, müsse nichts verstehen („Minds, Brains, and Programs“, 1980). J. R. Searle, “Minds, Brains, and Programs”, Behavioral and Brain Sciences 3 (1980), 417–457; A. M. Turing, “Computing Machinery and Intelligence”, Mind 59 (1950)
Beleg: KI-Entwurf
John Searle › 1932–2025

Werke

1936Über berechenbare Zahlen mit einer Anwendung auf das Entscheidungsproblem (On Computable Numbers, with an Application to the Entscheidungsproblem)
Aufsatz in den Proceedings of the London Mathematical Society: Eine Maschine, die Symbole auf einem Band liest und schreibt, erfasst, was ein Mensch tun kann, der nach einer festen Regel rechnet; eine einzige „universelle“ Maschine kann die Arbeit jeder anderen übernehmen, und Hilberts Entscheidungsproblem hat keine mechanische Lösung – ein Ergebnis, zu dem Alonzo Church zur selben Zeit auf anderem Weg kam.
1950Rechenmaschinen und Intelligenz
Können Maschinen denken? Das Imitationsspiel.

Position

1936 bestimmte Turing, was es heißt, dass etwas berechenbar ist, indem er sich eine einfache Maschine dachte, die Symbole auf einem Band liest und schreibt. Diese „Turingmaschine“ zeigte Macht und Grenzen mechanischen Rechnens zugleich – manche Probleme kann kein Algorithmus je lösen – und wurde zur theoretischen Grundlage des Computers. 1950 fragte er, ob Maschinen denken können, und ersetzte die Frage durch einen Test: Wenn eine Maschine sich so unterhalten kann, dass wir sie nicht von einem Menschen unterscheiden, haben wir keinen guten Grund, ihr Intelligenz abzusprechen. Viele Einwände beantwortete er vorab und eröffnete so die Philosophie des Geistes und der künstlichen Intelligenz in ihrer heutigen Form.

Leben & Kontext

Alan Turing wurde 1912 in London geboren, studierte Mathematik am King’s College in Cambridge und promovierte in Princeton. Im Zweiten Weltkrieg spielte er in Bletchley Park eine führende Rolle bei der Entschlüsselung der deutschen Enigma. Danach entwarf er frühe Computer in London und Manchester. 1952 wurde er wegen einer Beziehung zu einem Mann der „groben Unzucht“ (gross indecency) schuldig gesprochen – sexuelle Handlungen zwischen Männern waren in Großbritannien damals strafbar – und vor die Wahl gestellt zwischen Gefängnis und einer Bewährung unter der Auflage einer Hormonbehandlung; er nahm die Behandlung hin. Er starb 1954 an einer Zyanidvergiftung, die die amtliche Untersuchung als Suizid einstufte. 2009 entschuldigte sich die britische Regierung, 2013 wurde er postum von der Krone begnadigt.