Turing, Alan m. (1912–1954)

Alan Mathison Turing wurde am 23. Juni 1912 in London geboren und starb am 7. Juni 1954 in seinem Haus in der Nähe von Manchester. Er litt unter der konventionellen Schulbildung der englischen oberen Mittelklasse, besiegte jedoch die Konvention, indem er ein schüchterner, exzentrischer, aber athletischer Cambridge-Mathematiker wurde. Der Zweite Weltkrieg veränderte Turings Leben, indem er ihm eine entscheidende Rolle beim Brechen deutscher Chiffren einräumte, mit besonderer Verantwortung für den Atlantikkrieg. Danach leitete Turing das Design elektronischer Computer und das Programm für künstliche Intelligenz. 1950 begann er eine weitere Karriere als mathematischer Biologe, wurde jedoch wegen Homosexualität strafrechtlich verfolgt. Seine letzten zwei Jahre waren, obwohl sie von Bestrafung und Sicherheitsrisiko überschattet waren, bis zu seinem Tod durch Zyanidvergiftung von heftiger und trotziger Arbeit geprägt.

Turings Papier Computermaschinen und Intelligenz erschien 1950. Dies, sein einziger Beitrag zu einer philosophischen Zeitschrift, war es, einer der am häufigsten zitierten zu werden. Er dachte über die Frage "Kann eine Maschine denken" nach und gab ein Argument an, das mit allen früheren Spekulationen über Homunkuli und Roboter und mit allen früheren Diskussionen über Geist, Materie, freien Willen und Determinismus brach. Es basierte auf seiner eigenen Aufklärung der mathematischen Berechenbarkeit, wie sie 1936 erreicht wurde. Es spiegelte auch seine einzigartige Erfahrung mit praktischer Berechnung wider.

Turings Berechenbarkeit ergab sich aus der langen Suche nach einer logischen Grundlage für die Mathematik, bei der Bertrand Russell eine herausragende Rolle gespielt hatte. 1931 zeigte Gödel, dass kein formales Beweisschema wie das von Russell vorgesehene die Mathematik einschließen konnte. 1935 ging Turing auf die weitere offene Frage ein, ob es eine bestimmte Methode geben könne, um zu entscheiden, ob ein bestimmter Vorschlag formell bewiesen werden könne. Die Frage drehte sich darum, eine Definition von "Methode" zu finden, und dieser Turing lieferte seine "Turing-Maschine" -Konstruktion. Dies war mathematisch äquivalent zu der Definition von "effektiv berechenbar", die der Logiker Alonzo Church etwas früher angeboten hatte, aber Church akzeptierte, dass Turings Argumentation eine natürliche und überzeugende Begründung lieferte. Ihre Behauptungen zusammen werden als Church-Turing-These bezeichnet. Aus der Annahme dieser These folgt, dass es keine wirksame Methode zur Entscheidung über die Beweisbarkeit gibt. Viele andere mathematische Fragen der Entscheidbarkeit wurden ebenfalls gelöst.

Turings These basierte darauf, die Handlungen eines menschlichen Geistes zu analysieren, wenn er einer Regel folgt, und sie in formale Handlungen des Lesens und Schreibens zu übersetzen. Im Allgemeinen sollte Turings Formalismus erfassen, was durch einen "rein mechanischen Prozess" ausgeführt werden kann, und dies als einen interpretieren, der "von einer Maschine ausgeführt werden kann". So fand Turing eine neue Verbindung zwischen dem Geist und der materiellen Welt. Einerseits gab er eine neue logische Analyse der mentalen Operationen, andererseits implizierte das Kriterium der "Effektivität" etwas, das physisch implementiert werden konnte.

Als Mathematik bedeutete Turings Argument Codierungsoperationen on Symbole by Symbole, eher als Gödel kodierte Theoreme darüber zu erfahren, Zahlen by Zahlen. Turing nutzte dies aus, indem es eine "universelle" Maschine beschrieb, die die Arbeit jeder Turing-Maschine erledigen konnte. Dieses Konzept führte direkt zum modernen Computer, in dem Programm und Daten als Symbole gespeichert und manipuliert werden. 1936 verfügte Turing über keine Technologie zur Umsetzung dieser Idee. Er hat weitere wichtige Arbeiten zur Erforschung der Mathematik der Unberechnbarkeit durchgeführt, die die Rolle der menschlichen Intuition in der Mathematik berührten. Er diskutierte auch die Grundlagen der Mathematik mit Wittgenstein. Aber dann brachten ihn sechs Jahre Kriegsarbeit zurück zur "universellen Maschine". Er hatte die Erfahrung der fortschrittlichen Elektronik und damit die Mittel gesammelt, um seine Idee in die Praxis umzusetzen.

Turings zentrales Interesse am Rechnen lag in seiner Rolle bei der Untersuchung der Natur des Geistes. Er beschrieb seinen Computerplan für die Nachkriegszeit als "Aufbau eines Gehirns" und behauptete dies mit zunehmendem Vertrauen jeglicher Handlungen des Geistes, einschließlich kreativer Handlungen, könnten als berechenbare Operationen beschrieben werden. Turings ausgefeilte kryptoanalytische Arbeit hatte ihn mit dem scheinbar grenzenlosen Umfang des Berechenbaren beeindruckt. Er lehnte nun Argumente ab, die aus Gödels Theorem abgeleitet wurden und auf einen nicht berechenbaren Aspekt des menschlichen Geistes hinweisen. Er betonte, dass jede berechenbare Operation auf einer einzigen universellen Maschine implementiert werden könne: dem Computer. Daher könnte der Computer mit der menschlichen Intelligenz mithalten.

Turings Artikel von 1950 fasste diese Argumente für eine breite Leserschaft zusammen. Seine zugrunde liegende Ansicht nahm eine physische Grundlage für Mind an, aber anstatt dafür zu argumentieren, appellierte er an ein Argument aus der externen Beobachtung. Er vertrat die Auffassung, dass einem Computer, der das Erscheinungsbild von Intelligenz aufweist, Intelligenz gutgeschrieben werden sollte. Er vermied es daher, die Realität des Bewusstseins zu diskutieren, und versuchte, seinen traditionellen philosophischen Primat zu umgehen. Stattdessen illustrierte er sein "Nachahmungsspiel" mit einem provokativ weiten Blick auf "Intelligenz" und genoss es, die Rolle eines neuen Galileo zu spielen, der dem orthodoxen Glauben an die einzigartig menschliche Natur des Geistes widersprach.

Dieses "Nachahmungsspiel", der sogenannte "Turing-Test" für Intelligenz, war nicht der einzige Inhalt dieses Papiers. Er entwarf auch ein konstruktives Programm für die Forschung im Bereich der künstlichen Intelligenz, das er als eine Kombination von "Top-Down" -Methoden durch Programmierung und "Bottom-Up" -Methoden unter Verwendung von Netzwerken sah, die in der Lage sind, Funktionen durch Training zu entwickeln. Turing sah in der Selbstmodifikation in Maschinen eine wichtige Analogie zur menschlichen geistigen Entwicklung. Seine Zweifel und Vorbehalte konzentrierten sich auf die Frage, eine gültige Linie zu definieren, die den Geist von der Außenwelt trennt, mit der er interagiert.

Turing machte innerhalb von fünfzig Jahren eine Prophezeiung über Fortschritte, die sich, obwohl vorsichtig ausgedrückt, immer noch als zu optimistisch erwies. Einige Protagonisten der künstlichen Intelligenz sehen Turings ehrgeiziges Ziel als Ablenkung von systematischer Forschung. Aber viele Denker fanden es wichtig, Turings Argumente fortzusetzen. Lucas belebte den Einwand aus Gödels Satz, den Turing zurückgewiesen hatte. Hofstadter und Dennett verteidigten daraufhin energisch Turings Ansicht. Ein neues Argument wurde von Penrose vorgebracht. Dies teilt mit Turing einen völlig materialistischen Standpunkt, besagt jedoch, dass es in der Physik des Gehirns nicht berechenbare Elemente geben muss, die sich aus dem Reduktionsprozess der Quantenmechanik ergeben. Ein später Vortrag von Turing zeigt, dass auch er diese Frage in Betracht gezogen hat, aber der Tod hat die physikalischen Untersuchungen, die er 1953 und 1954 durchgeführt hat, unterbrochen. Das Verhältnis der Berechenbarkeit zur Physik, insbesondere zur materiellen Grundlage des Geistes, ist die zentrale Frage verlassen von Turings Arbeit.

Als Mensch war Alan Turing höchst mutwillig und alles andere als seelenlos, doch er versuchte, den Willen zu mechanisieren und verspottete das Konzept der Seele. Er war sehr originell und widersetzte sich der sozialen Konformität, versuchte jedoch, Kreativität als Lernprozess zu erklären. Wahrhaftigkeit war für ihn von größter Bedeutung, doch er verpflichtete sich, Staatsgeheimnisse zu schaffen und Intelligenz durch Nachahmung zu definieren. Das paradoxe Leben und Sterben von Alan Turing fasziniert weiterhin.

[VORLÄUFIGE VOLLAUTOMATISCHE TEXTÜBERSETZUNG - muss noch überarbeitet werden. Wir bitten um Ihr Verständnis.] Künstliche Intelligenz; Kirche, Alonzo; Berechenbarkeitstheorie; Rechenmaschinen; del, Kurt; Logikmaschinen; Maschinenintelligenz; Russell, Bertrand Arthur William.

Literaturverzeichnis

Primärarbeiten

Das Wesentliche Turing, herausgegeben von BJ Copeland. Oxford: Oxford University Press, 2004.

Gesammelte Werke von AM Turing, herausgegeben von RO Gandy et al. Amsterdam: Elsevier, 1992–2001.

Nebenarbeiten

Diamond, C., ed. Wittgensteins Vorlesungen über die Grundlagen der Mathematik, Cambridge 1939. Hassocks, Großbritannien: Harvester, 1976.

Herken, R., ed. Die universelle Turingmaschine. Oxford: Oxford University Press, 1988.

Hofstadter, DR und DC Dennett. Der Geist ist ich. New York: Basic, 1981.

Hodges, A. Alan Turing: Das Rätsel. New York: Simon & Schuster, 1983.

Hodges, A. Turing: Ein Naturphilosoph. London: Routledge, 1997.

Penrose, R. Der neue Geist des Kaisers. Oxford: Oxford University Press, 1989.

Teuscher, C., ed. Alan Turing: Leben und Vermächtnis eines großen Denkers. Berlin: Springer, 2004.

Andrew Hodges (2005)