Computerwissenschaften halting-problem

3

Problem stoppen - ein Problem, das mich stört

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 Problem lautet "Nein". Mit anderen Worten, es …

8 computability halting-problem

1

Gilt die Church-Turing-These auch für künstliche Intelligenz?

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 Nachrichtensystem zu entwerfen, um dieses Problem zu entscheiden, oder wird nach …

8 computability artificial-intelligence halting-problem church-turing-thesis

3

Gödels (erster) Unvollständigkeitssatz und das Halteproblem - Wie einschränkend ist es?

Als ich zum ersten Mal von diesen Dingen hörte, war ich sehr fasziniert, als ich dachte, dass dies der Mathematik und den Naturwissenschaften im Allgemeinen wirklich Grenzen setzt. Aber wie praktisch relevant sind diese Dinge? Für das Halteproblem: Gibt es mehr als einige künstlich konstruierte Fälle, in denen man nicht …

8 computability logic halting-problem applied-theory

3

Die "Direktionalität" von Reduktionen?

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, einen Entscheider für …

7 computability turing-machines reductions halting-problem

1

Warum ist das Halteproblem halb entscheidbar?

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, die anhält, wenn ein …

7 computability turing-machines halting-problem semi-decidability

3

Unentscheidbarkeit, ob ein Programm wahr oder falsch zurückgibt

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 und auf alle Eingaben eine Antwort …

7 undecidability decision-problem halting-problem

6

Wie ist Turings Lösung für das Halteproblem nicht einfach „Failure By Design“?

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 Element …

7 computability halting-problem

Als «halting-problem» getaggte Fragen