Die Turing-Maschine wurde von einem menschlichen Verstand erfunden. Vermutlich kann nichts weniger Leistungsfähiges als eine Turingmaschine eine Turingmaschine erfinden.
Eine Turing-Maschine hat jedoch unendlich viel Band, während sich der Geist in einem endlichen Universum befindet und daher nur ein TM mit endlichem Band sein kann. Ein TM mit endlichem Band kann durch endliche Automaten simuliert werden, die strikt weniger leistungsfähig sind als eine Turingmaschine. Dies scheint zu implizieren, dass eine Turing-Maschine von einem Automaten erfunden wurde, der weniger leistungsfähig ist als eine Turing-Maschine, was der ursprünglichen Prämisse widerspricht.
Ist das ein Problem? Oder ist die ursprüngliche Prämisse falsch? Ist es möglich, dass endliche Automaten eine Maschine "erfinden", die leistungsfähiger ist, eine Art Bootstrapping, wenn Sie so wollen?
Während es schwierig ist, "erfinden" formal zu definieren, scheint es nicht, dass endliche Automaten sogar endliche TMs effektiv darstellen können. Auf der Wikipedia-Seite heißt es beispielsweise, dass ein DFA Billiarden von Zuständen benötigt , um ein TM mit einigen hundert Zuständen darzustellen. Um nur die nützliche Teilmenge des Anhaltens von TMs darzustellen, habe ich den Eindruck, dass eine DFA-Darstellung wahrscheinlich unsere Rechenkapazität übersteigt. Es scheint eine große Trennung zwischen DFAs und TMs zu geben, so dass es kaum vorstellbar ist, dass ein plausibles Bootstrapping von einem zum anderen wechselt.
Es gibt auch die damit verbundene Frage, wie endliche Automaten das Stoppproblem für TMs beweisen können.
quelle
Antworten:
Sie haben in der Tat ein Prämissenproblem. Wir sind keine FSMs oder TMs. Vergessen Sie nicht, dass alle diese rechentheoretischen Geräte einfache mathematische Abstraktionen sind, die aus einer Reihe von Axiomen und begrenzten Eingaben bestehen. Die rechentheoretischen Systeme (von Godel, Turing und Church) sollen lediglich den Nachweis erbringen, ob bestimmte Arten von Funktionen berechenbar sind oder nicht.
Im Gegensatz dazu:
Ein einfacher Beweis dafür, dass wir keine TMs sind, ist das, was Sie gerade skizziert haben: Wir können Turing-Maschinen erfinden, aber Turing-Maschinen können uns nicht nacheinander erfinden. Es ist für uns absolut trivial, den Endpunkt einer Unendlichkeit von TM-Konfigurationen zu sehen, bevor sie ausgeführt werden (obwohl es auch unendlich viele TMs gibt, für die wir den Endpunkt nicht sehen können), aber kein TM kann den Endpunkt eines Menschen trivial bestimmen, bevor er oder sie Leben.
Es gibt ein Sprichwort aus der Kartographie, das hier sehr nützlich sein kann: Die Karte ist nicht das Territorium
Diese axiomatischen Systeme sind sehr geschickt entwickelt, um auf einige winzige (wenn auch wichtige) Ideen zuzugreifen, aber der Versuch, einen Menschen auf das 7-Tupel und die kurze Reihe von Axiomen einer Turing-Maschine zu reduzieren, ist ungefähr so sinnvoll wie das Reduzieren des Menschen auf eine andere Zusammenfassung axiomatisches System. Während diese Systeme nützlich sind, um Aspekte der realen Welt zu sehen, sind sie keine vollständigen Bilder, und wir sind nicht mehr Finite-State-Maschinen oder Turing-Maschinen als Zahlentheorie oder Mengenlehre.
quelle
Einige Details der Turingmaschine
Kann ein schwaches System ein stärkeres erfinden?
Ich denke, die Antwort hier lautet ja, abhängig von Ihrer Definition. Zum Beispiel kann die Sprache aller gültigen Turingmaschinen mit einer kontextfreien Grammatik beschrieben werden, einer rechnerisch schwächeren Formalisierung. Sie können sogar eine reguläre Sprache beschreiben, die beschreibt, wie eine gültige Turingmaschine aussieht, und die endlich ist. (Spoiler-Alarm, das sagt nicht viel, da Sie jede Ganzzahl einer Turing-Maschine zuordnen können, also der regulären Sprache{ 0 , 1}}∗ kann die Menge aller gültigen Turingmaschinen sein).
Und es ist wichtig zu unterscheiden, ob man etwas erkennt oder eine Beschreibung von etwas erfindet und alle Dinge erfindet. Wir können erkennen, was eine Turing-Maschine ist, aber wir können nicht alle sehen, und aufgrund von Dingen wie dem Halting-Problem können wir sicherlich nicht alle verstehen.
Andere unendliche Dinge
Diese Frage unterscheidet sich letztendlich nicht von der Frage, wie ein endlicher Verstand die natürlichen Zahlen oder die Funktion verstehen kanny= x im R.2 . Beide sind unendlich, können aber auf endliche Weise beschrieben werden.
Aber es gibt Funktionen und Mengen und reelle Zahlen und solche, die wirklich unendlich sind und die niemals durch eine mögliche gesprochene oder geschriebene Formel beschrieben werden können (weil es in jeder menschlichen Sprache unzählige reelle, aber zählbar viele endliche Sätze gibt.) Und dort Es gibt mehr wahre Theoreme als Beweise, a la Gödel.
So können wir die Unendlichkeit beschreiben und über ihre Eigenschaften sprechen, vielleicht ohne sie wirklich zu verstehen, zumindest ohne jede Facette davon zu verstehen.
quelle