Dies mag eine grundlegende Frage sein, aber ich habe Artikel über Themen wie Nash-Gleichgewichtsberechnung und lineare Entartungstests gelesen und zu verstehen versucht und war mir nicht sicher, wie reelle Zahlen als Eingabe angegeben werden. Wenn beispielsweise angegeben wird, dass LDT bestimmte...
Ich kann mir kein solches Modell vorstellen, vielleicht irgendeine Form von typisierter Lambda-Rechnung? ein elementarer zellularer Automat? Dies würde Wolframs "Prinzip der rechnerischen Äquivalenz" beinahe widerlegen: Fast alle Prozesse, die nicht offensichtlich einfach sind, können als...
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen...
Ich habe Schwierigkeiten, das Konzept berechenbarer Funktionen zu vermitteln. Ich versuchte die Idee zu entwickeln, warum Forscher wie Hilbert / Ackermann / Godel / Turing / Church / ... den Begriff der "Berechenbarkeit" erfanden. Die Schüler fragten sofort: "Was bedeutet Berechenbarkeit?" und ich...
Da es keine abschließende Berechnung erlaubt, ist Coq notwendigerweise nicht vollständig. Welche Funktionsklasse kann Coq berechnen? (Gibt es eine interessante Charakterisierung
Ich habe Andrej Bauers Artikel Erste Schritte in der Theorie der synthetischen Berechenbarkeit gelesen . Abschließend stellt er fest, dass Unsere Axiomatisierung hat ihre Grenzen: Sie kann keine Ergebnisse in der Berechenbarkeitstheorie nachweisen, die sich nicht auf Orakelberechnungen relativieren...
Ein Tensor ist eine Verallgemeinerung von Vektoren und Matrizen auf höhere Dimensionen, und der Rang eines Tensors verallgemeinert auch den Rang einer Matrix. Der Rang eines Tensors ist nämlich die minimale Anzahl von Tensoren des Rangs 1, die sich zu summieren . Ein Vektor und eine Matrix sind...
In Programmiersprachen ist es beispielsweise üblich, einen X-in-X-Compiler / -Interpreter zu schreiben, aber auf einer allgemeineren Ebene können sich viele bekannte Turing-complete-Systeme auf beeindruckende Weise selbst simulieren (z. B. Simulation von Conways Spiel des Lebens in Conways Spiel...
Wenn ich einige aktuelle Threads zum Thema Quantencomputer ( hier , hier und hier ) lese, erinnere ich mich an eine interessante Frage zur Leistungsfähigkeit einer Art -norm preserving machine.ℓpℓp\ell_p Für Leute, die sich mit Komplexitätstheorie und Quantenkomplexität beschäftigen, ist Fortnows...
Ich hatte erst kürzlich eine Diskussion über Turingmaschinen, als ich gefragt wurde: "Ist die Turingmaschine von Automaten abgeleitet, oder ist es umgekehrt?" Ich wusste die Antwort natürlich nicht, aber ich bin neugierig, es herauszufinden. Die Turing-Maschine ist im Grunde eine etwas...
Betrachten , eine Funktion , die 1 zurückkehrt iff Nullen erscheinen nacheinander in . Jetzt gab mir jemand einen Beweis, dass berechenbar ist:n π f ( n )f( n )f(n)f(n)nnnππ\pif( n )f(n)f(n) Entweder für alle n, erscheint in , oder es ist am st erscheint in und nicht. Für die erste Möglichkeit ;...
Ich habe irgendwo gelesen, dass eine Turing-Maschine dies nicht berechnen kann und es daher unentscheidbar ist, aber warum? Warum ist es einer Maschine rechnerisch unmöglich, die Analysebäume zu generieren und eine Entscheidung zu treffen? Vielleicht irre ich mich und es kann getan...
Es ist bekannt, dass die S- und K-Kombinatoren Turing Complete sind. Gibt es Kombinatoren, die ausreichen, um (nur) die primitiven rekursiven Funktionen zu
Was sind die Einschränkungen der gesamten funktionalen Programmierung? Es ist nicht vollständig für Turing, unterstützt jedoch eine große Teilmenge der möglichen Programme. Gibt es wichtige Konstrukte, die Sie in einer Turing-vollständigen Sprache schreiben könnten, aber nicht in einer...
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der...
( n + 1 )(n+1)(n + 1) Punkte sind erforderlich, um ein Polynom des Grades eindeutig zu bestimmennnn; Beispielsweise bestimmen zwei Punkte in einer Ebene genau eine Linie. Wie viele Punkte sind erforderlich, um eine berechenbare Funktion eindeutig zu bestimmen f: N→ Nf:N→Nf : N \rightarrow N,...
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...
Nun, der Titel sagt so ziemlich alles. Die interessante Frage oben wurde von Kommentator Jay in meinem Blog gestellt (siehe hier und hier ). Ich vermute beide, dass die Antwort ja ist und dass es einen relativ einfachen Beweis gibt, aber ich konnte es nicht ohne weiteres sehen. (In groben Zügen...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Ich weiß, dass es unmöglich ist, die Äquivalenz für einen nicht typisierten Lambda-Kalkül zu bestimmen . Zitat von Barendregt, HP Der Lambda-Kalkül: seine Syntax und Semantik. Nordholland, Amsterdam (1984). :ββ\beta Wenn A und B disjunkt sind, nicht leere Mengen von Lambda-Termen, die unter...