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 Physik im Allgemeinen.
Viele Diskussionen über die Philosophy SE (wo ich normalerweise rumhänge) wenden sich jedoch der Möglichkeit der "Super-Turing" -Berechnung zu, und Argumente in der Frage der Philosophie des Geistes hängen häufig von der These ab, dass Church-Turing nur eine These ist und das dort Es gibt mehrere Vorschläge für Super-Turing-Berechnungen oder Hyperberechnungen.
Die am häufigsten zitierte Quelle hierfür ist der Artikel der Stanford Encyclopedia of Philosophy (SEP) über die Church-Turing-These .
Insbesondere enthält der Artikel einen Abschnitt mit dem Titel "Missverständnisse der These" , in dem Folgendes angegeben ist:
In Bezug auf Turings Artikel von 1936 scheint ein Mythos aufgetaucht zu sein, nämlich dass er dort die Grenzen des Mechanismus behandelte und ein grundlegendes Ergebnis dahingehend feststellte, dass die universelle Turing-Maschine das Verhalten jeder Maschine simulieren kann. Der Mythos ist in die Philosophie des Geistes übergegangen, im Allgemeinen mit schädlicher Wirkung.
[...] Turing hat weder gezeigt, dass seine Maschinen Probleme lösen können, die "durch Anweisungen, explizit festgelegte Regeln oder Verfahren" gelöst werden können, noch hat er bewiesen, dass die universelle Turing-Maschine "jede Funktion eines Computers berechnen kann". kann mit jeder Architektur rechnen ". Er hat bewiesen, dass seine Universalmaschine jede Funktion berechnen kann, die jede Turing-Maschine berechnen kann. und er brachte die hier als Turing-These bezeichnete These vor und brachte philosophische Argumente zur Unterstützung vor. Eine These über das Ausmaß wirksamer Methoden - das heißt über das Ausmaß von Verfahren einer bestimmten Art, die ein Mensch ohne Unterstützung von Maschinen ausführen kann - hat jedoch keine Auswirkungen auf das Ausmaß der Verfahren, die Maschinen durchführen sind in der Lage auszuführen, sogar Maschinen, die nach „ausdrücklich festgelegten Regeln“ handeln. Denn im Repertoire einer Maschine an atomaren Operationen kann es solche geben, die kein Mensch ohne Hilfe von Maschinen ausführen kann.
Der oben erwähnte Abschnitt und insbesondere die zitierten Passagen scheinen mir offensichtlich falsch zu sein, als ob der Autor nicht einmal das Konzept einer Turing-Maschine oder die These von Church-Turing versteht. Und doch wird der Artikel von jenen, die sich gegen die Church-Turing-These aussprechen, nicht nur in der Philosophy SE, sondern auch von relativ bekannten Philosophen wie Massimo Pigliucci ständig als Quelle zitiert . Der Hauptgrund, warum der Artikel so viel Gewicht hat, ist, dass die SEP als seriöse Quelle in der Philosophie-Community angesehen wird und die Artikel dort überprüft werden müssen und dass der Autor des Artikels, Jack Copeland , ein etablierter Philosoph ist, der ausführlich veröffentlicht hat auf Turing und auf AI.
Und doch, so wie ich es sehe, ist der Artikel in seiner Darstellung der These, der Reputation der Quelle und dem nicht widerstehenden Autor grundlegend falsch.
Meine Fragen:
Ist meine Interpretation der Church-Turing-These richtig?
Wie könnte man diejenigen widerlegen, die den Abschnitt "Missverständnisse" dieses Artikels als Rechtfertigung für die Idee verwenden, dass das Rechnen über die Turing-Grenze hinaus eine realistische Perspektive ist?
- Wird die Hyperberechnung von den gängigen Berechenbarkeitstheoretikern ernst genommen oder ist sie das CS-Äquivalent von Kaltfusion und Perpetual Motion?