巨大数探索スレッド14at MATH巨大数探索スレッド14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト606:132人目の素数さん 18/11/05 22:12:40.07 v/7m8GkC.net ①返り値そのものの大きさをはかる ②①が非現実的になったら、今度は指数で返り値の桁の数の大きさをはかる ③②も非現実的なスケール(指数タワー)になったら、今度はタワーの高さの数を数える 。。。 数えられるものを設定すればいいから、 数えられなくなっても数えられないことを嘆くことはない その繰り返しが再帰で、それが巨大数のはじまり 607:132人目の素数さん 18/11/05 22:25:35.99 Vwhxu5MO.net ④形式体系の表現能力で大きさを比べる ZFCの中で形式言語をエミュレートして、その中で定義される数をZFCの数と対応させることで、形式体系の表現能力を比べていく (ZFCでは解釈を無造作に行えないからplatnist's universeが必要だが) これが計算不可能巨大数の始まり 608:132人目の素数さん 18/11/05 22:27:34.96 NYF4HD98.net ただひたすらにでっかい数を求めるのが目的だし、そもそも実用じゃなくて興味だけが動機だって何度言われれば分かるんだ? マラソンの選手に「なんで車乗らないの?」とか言っちゃうタイプだろ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch