Für Pi und e ist bis Heute ungeklärt, ob sie stochastisch sind - oder wie man das nennt. Dies würde bedeuten, dass eine beliebig vorgegebene Codegruppe wie 47 11 unendlich oft in der Darstellung von Pi auftaucht.
Für dich wäre mal intressant, dich mit der Teorie von ===> Edward Nelson zu beschäftigen ===> Non-Standard Analysis ( NSA; IST ) Als Lehrbuch Alain Robert bei Wiley .
Nelson würde jetzt sagen, ich ===> idealisiere. Stell dir vor du hast einen Prozessor der Nonstandard Wortlänge n0 . So bald du bewiesen hast, dass die ersten n0 Nachkommastellen von Pi unabhängig sind ( im Sinne eines gegebenen statistischen Testkriteriums ) sind auch alle Standard Nachkommastellen unabhängig. Dann folgt aber aus Nelsons ===> Transferaxiom, dass sämtliche Stellen von Pi unabhängig sind.
Wirklich machbar ist das ja aalles nicht; n0 ist schon klein bisele größer als Gogoplex . Abermals folgt aus Transfer, dass ein minimaler Entscheidungsmodul - welcher also diesen Test ausführen soll mit der kleinst möglichen Anzahl an Assemblerbefehlen - Standard Länge haben muss .
" Für jedes Standard Problem gibt es eine Standard Lösung. "
Und damit hat es erstmals Sinn, in der Beweisteorie zu fragen nach der Länge eines Beweises, bevor man sich konkret daran macht, den Beweis auch zu führen.
