純粋・応用数学・数学隣接分野（含むガロア理論）12

429 ：現代数学の系譜 雑談 ：2023/01/05(木) 21:27:21.15 ID:LLYxdg6H.net

>>428
つづき

さてさて
１）上記時枝 箱入り無数目の箱に、√2の10進展開の数を入れるとする
　√2＝1.4142・・ 最初の箱に1、二番目が4、三番目が1、四番目が4、五番目が2・・とする
２）√2＝1.4142・・による数列の存在は、数学ではコーシー列として実現できる。よって、箱に入れる数も決まる
３）なお、いまの場合、箱の数はただ0～9の一桁の整数でしかない。時枝では、箱には任意の実数が入るので遙かに複雑だ
４）さて、時枝では、回答者は、あるｎ番目以降の箱に入れた無限の0～9の数列を調べなければならない
　回答者は、箱の数列が√2であることを知らないのだ
５）もし、回答者が あるｎ番目以降の箱に入れた無限数列が、√2の10進展開によるものだと気づいたとする
　であれば、ｎ番目以降の無限数列が、正規数か否かが分かるはず。つまり、「正規数問題が解ける！」ｗｗ
　（必要ならば、1～n-1番目までの調査を追加するのは可能だし）
６）しかし、2023年現在の数学は、√2の10進展開が正規数か否かの判断はできないのだ
　つまり、回答者は無限個の箱の数を具体的に調べる手段を、2023年の数学は持っていないのです
７）これは、箱にたった10個の0～9の数しか使っていない場合です。この単純ケースでこれだｗ
　まして、箱に任意の実数を入れた数列について、具体的に調べる手段は、2023年の数学は持っていない
８）勿論、上記のチャンパーノウン定数同様、人工的に「これが決定番号でござる」とすることは可能なのだが
　それでは、確率計算はできないのです
９）時枝の決定番号なんて、とても とても なのですｗ
(引用終り)
以上