Ich verstehe, dass die meisten Probleme trivial sind, wenn ein haltendes Orakel verfügbar ist (oder, ich denke gleichwertig, Hyperberechnung). Die Anwendung des Arguments, das das Halteproblem anzeigt, ist für eine Turing-Maschine jedoch unmöglich. Dies zeigt auch, dass es für ein Turing-Orakel...
Ich las eine Antwort auf eine kürzlich gestellte Frage und kam mir ein seltsamer, vergänglicher Gedanke in den Sinn. Meine Bitte könnte verraten, dass meine Theorie ernsthaft fehlt (meistens wahr) oder dass es für mich einfach zu früh ist, diese Seite zu lesen. Nun, mit dem Haftungsausschluss aus...
In Chaitins Meta Math! Die Suche nach Omega , er spricht kurz über Hilberts 10. Problem. Er sagt dann, dass jede diophantinische Gleichung in zwei gleiche Polynome mit positiven ganzzahligen Koeffizienten geändert werden kann: p = 0p = 0p=0p=0 .p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Dann sagt er,...
Ich habe versucht herauszufinden, ob das Problem des Anhaltens für eindimensionale 3-Symbol-Zellularautomaten entscheidbar ist. Definition Es sei die Konfiguration des Systems zum Zeitpunkt i . Formaler f : A ∗ × N → A ∗ , wobei A das Alphabet ist.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times...
In dem Halteproblem sind wir interessiert, ob es eine Turingmaschine , die erkennen kann, ob eine gegebene Turingmaschine M an einem gegebenen Eingang i anhält oder nicht . Normalerweise beginnt der Beweis mit der Annahme, dass ein solches T existiert. Dann betrachten wir einen Fall, in dem wir i...
Diese Frage kam mir über das Problem des Anhaltens und ich konnte online keine gute Antwort finden und fragte mich, ob jemand helfen kann. Ist es möglich, dass das Stoppproblem für jedes TM an einem Eingang entscheidbar ist, solange der Eingang nicht das TM selbst ist? Grundsätzlich: Halts(TM, I)...
Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich...
Nach dieser Quelle ist Chaitins Konstante normal.ΩΩ\Omega Jede Stoppwahrscheinlichkeit ist eine normale und transzendentale reelle Zahl, die nicht berechenbar ist, was bedeutet, dass es keinen Algorithmus gibt, um ihre Ziffern zu berechnen. In der Tat ist jede Stoppwahrscheinlichkeit...
Nach Church-Turings These ist es unmöglich, einen Algorithmus zu entwerfen, um das Stoppproblem zu entscheiden. Umfasst der Wortalgorithmus in diesem Zusammenhang künstliche Intelligenz oder nicht, dh gilt die Church-Turing-These auch für künstliche Intelligenz? Ist es möglich, in Zukunft ein...
Meines Wissens fragt das Problem beim Anhalten, ob es ein Programm gibt, das entscheidet, ob ein getestetes Programm unter Berücksichtigung einiger Eingabedaten (unabhängig davon, um welches Programm es sich handelt oder welche Eingabedaten wir geben) beendet wird oder nicht. Die Antwort auf dieses...
Ich versuche einen Weg zu finden, um die Idee des Halting Problem-Beweises so zugänglich wie möglich zu erklären (für CS-Studenten). Das einfachste Argument, das ich gefunden habe, ist dieses ; Dies ist genau die Art der Behandlung, die ich anstrebe. Die Selbstreferenz (insbesondere die...
Betrachten Sie das Problem, eine Eingabe-Turing-Maschine zu nehmen und festzustellen, ob die endgültige Zelle a ist 000 oder 111nach der Berechnung wird angehalten. In Fällen, in denen etwas anderes geschrieben wird oder nicht angehalten wird, dürfen Sie eine Antwort geben (aber Sie müssen anhalten...
Dies ist bekannt über das Halteproblem und die Halbentscheidbarkeit: Das Halteproblem besagt, dass wir für eine gegebene Eingabe x und eine Maschine H nicht sagen können, ob die Maschine H bei Eingabe x anhält oder nicht. Eine Sprache gilt als halbentscheidbar, wenn es eine Turing-Maschine gibt,...
Ich war etwas verwirrt mit der Richtung der Reduzierungen, die verwendet wurden, um zu zeigen, dass bestimmte Sprachen nicht rekursiv sind. wir zum Beispiel an, wir möchten feststellen, ob das ( ) unentscheidbar ist. Ich weiß, wir können davon ausgehen, dass es entscheidbar ist, und dann versuchen,...
Es fällt mir schwer, Turings Lösung für das Halteproblem als Logiker und nicht als Ingenieur zu sehen. Hier ist mein Verständnis des Halteproblems: Sei die Menge aller Turingmaschinen. MMM Lassen für alle die Turing - Maschinen in die Menge aller Eingänge sein . iiiMMM Sei jedes Element in ein...