Fleißiger Biber
-
Ist ein Wert n bekannt, für den die Fleißige-Biber-Funktion von n nicht berechenbar ist?
-
7918
-
Kannst du das beweisen?
-
In 2016, Adam Yedida and Scott Aaronson obtained the first reasonable explicit upper bound on the minimum n for which Σ(n) is unknowable. To do so they constructed a 7918-state Turing machine whose behavior can never be proven based on the usual axioms of set theory (Zermelo–Fraenkel set theory with the axiom of choice), under reasonable consistency hypotheses (Stationary Ramsey Property).[1][2]
(Quelle: Wikipedia)
-
Und ich dachte SeppJ hätte nur mal wieder sein Orakel befragt.
Jetzt glaub ich auch dass Dieter Bohlen Bundeskanzler wird!
-
scrontch schrieb:
Und ich dachte SeppJ hätte nur mal wieder sein Orakel befragt.
Jetzt glaub ich auch dass Dieter Bohlen Bundeskanzler wird!Ich habe mein Orakel befragt, nämlich jenes, das der Schlangenmensch zitiert. Der Threadersteller ist ja ein bekannter Ignorant von Google und Wikipedia.
-
Einfach Justin Biber fragen. Der müsste es wissen.
