Entschuldigung für den eingängigen Titel. Ich möchte verstehen, was man tun muss, um die These von Church-Turing zu widerlegen. Irgendwo, wo ich lese, ist es mathematisch unmöglich, das zu tun! Warum? Turing, Rosser usw. verwendeten unterschiedliche Begriffe, um zu unterscheiden zwischen: "was kann...
Ich sehe in den neunziger Jahren viel Forschung über Hypercomputing , aber in den letzten Jahren scheint es wenig Arbeit zu diesem Thema zu geben. Stimmt es, dass die Forschung in diesem Bereich zum Erliegen gekommen ist? Wenn ja, woran könnte das liegen? Hat sich dieser Bereich überzeugend als...
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...
Mein Verständnis der Church-Turing-These ist: Es begrenzt, was durch einen diskreten und endlichen Prozess berechnet werden kann . Obwohl dies immer noch eine These und kein Theorem ist, würde dies, wenn es widerlegt würde, nicht nur eine Aktualisierung unserer aktuellen Berechnungsmodelle...