Als «hypercomputation» getaggte Fragen

3
Wie überwinden Modelle der Hyperberechnung das Halteproblem?
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. …
3
Missverständnis der Church-Turing-These?
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 bedeuten. Es wäre ein paradigmenwechselndes Ergebnis für Mathematik und …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.