Bei dieser Frage geht es darum, ob jeder mathematische Satz auf die Frage reduziert werden kann, ob eine einzelne Turing-Maschine anhält. Insbesondere interessieren mich Vermutungen, die derzeit nicht bewiesen sind.
Zum Beispiel: Wikipedia sagt, dass es derzeit nicht bekannt ist, ob es ungerade perfekte Zahlen gibt. Da es entscheidend ist, ob eine bestimmte Zahl perfekt ist, könnte man eine Turing-Maschine schreiben, die jede ungerade Zahl nacheinander überprüft und anhält, wenn sie eine findet, die perfekt ist. (Diese Turing-Maschine nimmt keine Eingaben entgegen.) Wenn wir wüssten, ob diese Turing-Maschine anhält, würden wir wissen, ob die Vermutung wahr ist und umgekehrt.
Was ist jedoch als weiteres Beispiel mit der Vermutung der Zwillingsprimzahlen ? Es ist entscheidbar, ob eine bestimmte Zahl die erste Primzahl in einem Zwillingspaar ist, aber in diesem Fall können wir nicht einfach anhalten, wenn wir die erste finden, denn die Frage ist, ob es eine unendliche Zahl gibt. Mir ist nicht klar, ob es möglich ist, eine Turing-Maschine herzustellen, die genau dann anhält, wenn die Vermutung der Doppelprimzahlen wahr ist.
Wir können sicherlich eine Turing-Maschine herstellen, die genau dann anhält, wenn die Vermutung der Doppelprimzahlen innerhalb der Peano-Arithmetik oder eines anderen formalen Systems beweisbar ist, aber das ist eine andere Frage, da sie in dem von uns gewählten System möglicherweise wahr, aber nicht beweisbar ist.
Meine Fragen sind also
- Ist es möglich, eine Turing-Maschine herzustellen, die genau dann anhält, wenn die Vermutung der Doppelprimzahlen wahr ist? (Und wenn ja, wie?)
- Ist es im Allgemeinen möglich, eine Turing-Maschine herzustellen, die genau dann anhält, wenn eine bestimmte mathematische Aussage wahr ist? Kann diese Turing-Maschine algorithmisch aus der formalen Anweisung konstruiert werden?
- Wenn dies im Allgemeinen nicht möglich ist, gibt es eine Möglichkeit, mathematische Aussagen dahingehend zu klassifizieren, ob sie dem Anhalten einer einzelnen Turingmaschine oder einer Turingmaschine mit einem Orakel usw. entsprechen? Wenn ja, ist diese Klassifizierung für eine bestimmte Aussage entscheidbar?
Antworten:
Ihre Frage wird durch die arithmetische Hierarchie beantwortet . Das Vorhandensein einer ungeraden perfekten Zahl ist eine Anweisung. Sie können sie daher mit einer Σ 1- Maschine testen , die angehalten wird, wenn die Anweisung wahr ist. Die Twin-Prime-Vermutung ist eine Π 2- Anweisung. Sie können also ein TM mit Zugriff auf das anhaltende Orakel erstellen, das anhält, wenn die Anweisung falsch ist.Σ1 Σ1 Π2
Im engeren logischen Sinne können Sie immer eine Turing-Maschine erstellen, die die iff-Anweisung anhält :ϕ
Um zu sehen, dass diese Konstruktion gültig ist, betrachten Sie die logische Form Ihrer Aussage:
Sie können diese Verwirrung beseitigen, indem Sie etwas andere Fragen stellen:
Oben habe ich angegeben, dass Anweisungen eine solche Menge bilden.Σ1
quelle
quelle