Hypercomputation bezieht sich auf Berechnungsmodelle, die mit Turing-Maschinen nicht simuliert werden können. (Hypercomputer sind physikalisch nicht unbedingt realisierbar!) Einige Hypercomputer haben Zugriff auf eine Ressource, mit der das Halteproblem für Standard-Turing-Maschinen gelöst werden kann. Nennen Sie dies eine "Supermacht": Ein Hypercomputer mit einer Supermacht kann entscheiden, ob eine Standard-Turing-Maschine terminiert.
Welche Arten von "Supermächten" verwenden Hypercomputer?
Die These von Ed Blakey schafft einen formalen Rahmen, um einige der wichtigsten Arten von Ressourcen zu klassifizieren, die für Hypercomputing verwendet werden. Es wird jedoch nicht versucht, einen umfassenden Überblick über die Supermächte zu geben. Ich bin nicht an einer Liste von Hypercomputern interessiert (es gibt eine nette Liste im Wikipedia-Artikel), sondern daran zu verstehen, welche "spezielle Sauce" jedes Modell verwendet, vielleicht als eine einzigartige Art von Ressource angesehen.
Diese Frage ist inspiriert von Wie grundlegend ist Unentscheidbarkeit? . Auch ist im Zusammenhang Was würde es bedeuten , Church-Turing - These zu widerlegen? Was zu vielen interessanten Diskussionen geführt hat, und gibt es derzeit Berechnungsmodelle mit der Möglichkeit, leistungsstärker als Turing Machines zu sein? .