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).
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...
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...
Es gibt viele (und ich meine viele) zählbare Sprachen, die Turing-entscheidbar sind. Kann jede unzählige Sprache entscheidend
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....
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...
Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug!...
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...
Ich hoffe, meine Frage macht Sinn: Ausgehend von der Annahme, dass der untypisierte Kalkül der Leistung einer Turing-Maschine entspricht, was entspricht in einer Turing-Maschine das Hinzufügen von Typen zum \ Lambda- Kalkül? Gibt es eine Art Automaten analog zur Eingabe, ob statisch oder...
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...
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...
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...