Laut Wikipedia können Turing-Maschinen mit Orakeln ausgestattet werden , die das Halteproblem lösen; aber dann entsteht ein neues anhalteproblem - ob maschinen, die sich selbst entsprechen, dh mit dem orakel, anhalten werden. Dies führt zu einer Hierarchie von Drehmaschinen mit zunehmend schwierigeren Halteproblemen. (Diese Hierarchie kann in den transunendlichen (ordinalen) Bereich fortgesetzt werden, indem ordinale Arithmetik verwendet wird, was zeigt, dass es zutiefst orakelhafte Orakel oder entsprechend zutiefst schwierige Halteprobleme gibt).
Angenommen, wie einige postulieren, dass das Universum eine Turing-Maschine ist, und angesichts der Tatsache, dass es eine klar definierte theoretische Hierarchie von Turing-Maschinen unterschiedlicher Stärke gibt, welche Beweise haben wir dafür, dass das Universum das einfachste sein muss, das heißt das erste in dieser Begriff? Außer Occams Razor zu verwenden und einfach die einfachste Wahl zu treffen? Könnte es tatsächlich mit einer Art Orakel ausgestattet sein?
Hinweis: Oracles als Idee wurde von Turing als Wahlmaschine postuliert, aber von ihm nicht weiterverfolgt oder ausgearbeitet.
Das Universum ist keine Turing-Maschine. Es ist kein endloses Band, auf dem irgendein Kopf nach lokalen Regeln herumhüpft. Wenn es auf einer Turing-Maschine simuliert wird, befinden wir uns in der Simulation, unabhängig davon, ob es anhält oder nicht. Sicher, es könnte jede Art von Orakel haben oder keines, und das könnte für die Entitäten (falls vorhanden) nützlich sein, die das Universumsprogramm ausführen, aber für uns in einem Universum, das durch einen Standard (orakelfrei) simuliert werden könnte ) Turing-Maschine auf willkürliche Genauigkeit, es ist irrelevant. (Ein effektiv endliches Universum, wie es unseres scheint, ist sowieso streng schwächer als eine unendliche Turing-Maschine.)
Mosibur Ullah
Rex Kerr
Mosibur Ullah
Rex Kerr