On Computable Numbers, with an Application to the Entscheidungsproblem (Turing-Maschine)
Kann Kann eine Maschine denken? (Turing-Test)
Computing Machinery and Intelligence, in: Anderson, 1964
Literatur über Turing:
Turing-Page by Andrew Hodges
Hofstadter: Gödel, Escher Bach
|
Alan Mathison Turing (1912-1954) war ein britischer Logiker, der als Erfinder der sogenannten Turing-Maschine (Berechenbarkeitsmodell) massgeblich an der Entwicklung der Computer-Technologie (theoretischen Informatik) beteiligt war und die Erfindung des sogenannten Turing-Tests auch die KI-Forschung stark beeinflusste. Während des Zweiten Weltkrieges war er an der Entzifferung der mit der Enigma verschlüsselten deutschen Funksprüche beteiligt. Der Großteil seiner Arbeiten blieb nach Kriegsende jedoch unter Verschluss.
A. Turing hat mit seiner Bezeichnung "Maschine" (die A. Church dann Turing-Maschine nannt) eine begriffliche Konfusion und mit seinem "Turing-Test" ein sachliche Konfusion produziert. Die Turing-Maschine wird von A. Turing zunächst als Universal Computabel Machine, dann als Universal Machine bezeichnet. Es ist ein universelles Steuerungsgrät (Computerprozessor) keine Maschine. |
Die Turing-Maschine/ Die Church-Turing-These
Church undTuring stellten unabhängig voneinander folgende Behauptung auf: »Wenn ein Problem, welches in eine Turing-Maschine eingegeben wird, von dieser nicht gelöst werden kann, so kann das Problem auch nicht von Menschen gelöst werden.
Der Umkehrschluß bedeutet dann, daß alles, was vom Menschen gedacht oder gewußt werden kann, auch berechenbar ist (von einer Turing-Maschine lösbar).