Jedes unentscheidbare Problem, das ich kenne, fällt in eine der folgenden Kategorien:
Unentscheidbare Probleme durch Diagonalisierung (indirekte Selbstreferenz). Diese Probleme, wie das Problem des Anhaltens, sind nicht zu entscheiden, da Sie einen angeblichen Entscheider für die Sprache verwenden könnten, um ein TM zu konstruieren, dessen Verhalten zu einem Widerspruch führt. Sie könnten auch viele unentscheidbare Probleme bezüglich der Komplexität von Kolmogorov in dieses Lager werfen.
Probleme, die aufgrund der direkten Selbstreferenz unentscheidbar sind. Zum Beispiel kann die universelle Sprache aus folgendem Grund als unentscheidbar gezeigt werden: Wenn sie entscheidbar wäre, wäre es möglich, Kleenes Rekursionssatz zu verwenden, um ein TM zu erstellen, das seine eigene Codierung erhält, und zu fragen, ob es seine eigene Eingabe akzeptieren wird macht dann das Gegenteil.
Probleme, die nicht zu entscheiden sind, weil bestehende, nicht zu entscheidende Probleme reduziert wurden. Gute Beispiele hierfür sind das Post-Correspondence-Problem (Reduktion vom Halteproblem) und das Entscheidungsproblem.
Wenn ich meinen Schülern Berechenbarkeitstheorie beibringe, nehmen auch viele Schüler dies zur Kenntnis und fragen mich oft, ob es Probleme gibt, die wir als unentscheidbar erweisen können, ohne letztendlich auf eine Art Selbstreferenztrick zurückzugehen. Ich kann nicht konstruktiv beweisen, dass es unendlich viele unentscheidbare Probleme gibt, indem ich ein einfaches Kardinalitätsargument verwende, das die Anzahl der TMs mit der Anzahl der Sprachen in Beziehung setzt, aber dies gibt kein spezifisches Beispiel für eine unentscheidbare Sprache.
Gibt es Sprachen, von denen bekannt ist, dass sie aus Gründen, die oben nicht aufgeführt sind, unentscheidbar sind? Wenn ja, was sind sie und welche Techniken wurden verwendet, um ihre Unentscheidbarkeit zu beweisen?
quelle
Antworten:
Ja, es gibt solche Beweise. Sie basieren auf dem Low Basis Theorem .
Siehe diese Antwort auf Gibt es Beweise für die Unentscheidbarkeit des Halteproblems, die nicht von der Selbstreferenzierung oder Diagonalisierung abhängen? Frage zur Theorie für mehr.
quelle
id
undpg
aus dem Link.Dies ist nicht gerade eine bejahende Antwort, sondern ein Versuch, etwas in der Nähe dessen zu finden, was über einen kreativen Blickwinkel verlangt wird. Es gibt in der Physik eine ganze Reihe von Problemen, die "weit entfernt" von mathematisch / theoretischen Formulierungen der Unentscheidbarkeit sind, und sie scheinen sich zunehmend von den ursprünglichen Formulierungen zu "entfernen" und "wenig zu ähneln", die das Halteproblem betreffen usw .; Natürlich verwenden sie das Halteproblem an der Wurzel, aber die Argumentationsketten sind zunehmend distanzierter geworden und haben auch einen starken "angewandten" Aspekt / Charakter. Leider scheint es in diesem Bereich noch keine großartigen Umfragen zu geben. Ein aktuelles Problem, das sich in der Physik als "überraschend" unentscheidbar erwiesen hat und viel Aufmerksamkeit auf sich gezogen hat:
Was Sie anscheinend in der Frage beobachten, ist, dass (informell) Unentscheidbarkeitsbeweise alle eine bestimmte "selbstreferenzielle" Struktur haben, und dies wurde formal in noch weiter fortgeschrittener Mathematik bewiesen, so dass sowohl das Turing-Stopp-Problem als auch der Satz von Godels dies können als Beispiele desselben zugrunde liegenden Phänomens angesehen werden. siehe zB:
Es gibt auch eine lange Meditation über dieses Thema der (intrinsischen?) Vernetzung von Selbstreferenzialität und Unentscheidbarkeit in den Büchern von Hofstadter. Ein weiterer Bereich, in dem Unentscheidbarkeitsergebnisse häufig vorkommen und anfänglich etwas "überraschend" waren, sind fraktale Phänomene. Das übergreifende Auftreten / die Bedeutung von unentscheidbaren Phänomenen in der Natur ist an dieser Stelle fast ein anerkanntes physikalisches Prinzip, das Wolfram zuerst als "Prinzip der rechnerischen Äquivalenz" beobachtete .
quelle