Als «church-turing-thesis» getaggte Fragen

Bei Fragen zur Interpretation, Erweiterung und Gültigkeit der Church-Turing-These die Hypothese, dass eine Funktion von einem Menschen genau dann effektiv berechnet werden kann, wenn die Funktion berechenbar ist (auf einer Turing-Maschine).

2
Church-Turing-These und Rechenleistung neuronaler Netze
Die Church-Turing-These besagt, dass alles, was physikalisch berechnet werden kann, auf einer Turing-Maschine berechnet werden kann. Die Arbeit "Analoge Berechnung über neuronale Netze" (Siegelmannn und Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) behauptet, dass ein neuronales Netz einer bestimmten Form (die Einstellungen werden in der Arbeit vorgestellt) …
2
Verwenden Programmiersprachen allgemeine rekursive Funktionen als Grundlage?
Dies ist eine naive und daher möglicherweise falsch formulierte Frage, also entschuldigen Sie sich im Voraus! Meiner Ansicht nach kann eine Turing-Maschine als Berechnungsgrundlage für prozedurale / imperative Programmiersprachen angesehen werden. Ebenso ist der Lambda-Kalkül die Grundlage für funktionale Programmiersprachen. Ich habe kürzlich erfahren, dass die Church-Turing-These auch die wechselseitige …
5
Turingmaschine + Zeitdilatation = Halteproblem lösen?
Es gibt relativistische Raumzeiten (z. B. MH-Raumzeiten; siehe Hogarth 1994), in denen eine Weltlinie unendlicher Dauer in der Vergangenheit eines endlichen Beobachters enthalten sein kann. Dies bedeutet, dass ein normaler Beobachter auf eine unendliche Anzahl von Rechenschritten zugreifen kann. Vorausgesetzt, es ist möglich, dass ein Computer unendlich lange perfekt funktioniert …
3
Kann jeder selbstmodifizierende Algorithmus durch einen nicht selbstmodifizierenden Algorithmus modelliert werden?
Wenn wir ein beliebiges Computerprogramm haben, das seine Anweisungen ändern kann, ist es möglich, dieses Programm mit einem Programm zu simulieren, das seine Anweisungen nicht ändern kann? Bearbeiten: Ich bin neu in StackExchange, also nicht sicher, ob ich hier eine NEUE Frage stellen darf, aber hier ist: Ok, der Beweis, …
2
Analoge Computer und die Church-Turing-These
Ich möchte aus Nielsen & Chuang, Quantenberechnung und Quanteninformation, Ausgabe zum 10-jährigen Jubiläum, Seite 5 (Schwerpunkt Mine) zitieren: Eine Klasse von Herausforderungen für die starke Church-Turing-These kommt aus dem Bereich der analogen Berechnung. In den Jahren seit Turing haben viele verschiedene Forscherteams festgestellt, dass bestimmte Arten von analogen Computern Probleme …
2
Bedeutet dieser Artikel, dass Turing-Berechenbarkeit nicht dasselbe ist wie „effektiv berechenbar“?
Zunächst entschuldige ich mich, wenn dies gefragt wurde, aber ich habe wirklich nichts gefunden. Ich bin über diesen Artikel gestolpert . Es heißt, dass es ein Problem gibt, das nur Quantencomputer lösen können. Nach meinem Verständnis sollte dies intuitiv bedeuten, dass dieses Problem "effektiv berechenbar" ist, da wir eine effektive, …
1
Church-Turing und physische PDEs
Wenn ich über die Church-Turing-These lese, scheint es eine verbreitete Behauptung zu sein, dass "die physische Realität Turing-berechenbar ist". Was ist die Grundlage für diesen Anspruch? Gibt es theoretische Ergebnisse in dieser Richtung? Für den Kontext bin ich ein Forscher, der an physikalischen Simulationen arbeitet, daher bin ich mir natürlich …
1
Gilt die Church-Turing-These auch für künstliche Intelligenz?
Nach Church-Turings These ist es unmöglich, einen Algorithmus zu entwerfen, um das Stoppproblem zu entscheiden. Umfasst der Wortalgorithmus in diesem Zusammenhang künstliche Intelligenz oder nicht, dh gilt die Church-Turing-These auch für künstliche Intelligenz? Ist es möglich, in Zukunft ein Nachrichtensystem zu entwerfen, um dieses Problem zu entscheiden, oder wird nach …
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.