巨大数探索スレッド7at MATH巨大数探索スレッド7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト700:１３２人目の素数さん 07/10/22 21:56:51 >B アルゴリズムを事実上調べる術は無いが >計算可能なもの、概念のみ （あんまり意味ない） > >>430 ごめん、これ何いいたいのかぜんぜん分からないや。 >C 厳密に定義可能なもの > >>538 の B[a](n) + 多変数C1 単に集合論の意味での関数を言ってるのなら、 もうそれこそ際限なく大きな関数があると思う。 BBはむしろ計算不可能な関数の一種の下限と 考えられていることに意味があると思う。 701:たろう 07/10/22 22:01:37 >>699 書き方がまずかったかな。 多変数C1 は帰納的でない順序数も生成しますが、 C1(C1で生成した大きな順序数, 0) とすることで、 大きな帰納的順序数が作れます。 この大きな順序数とHardy Functionを組み合わせて作ります。 具体的には、 H[ C1(C1(1, 0がn個),0) ](n) こんな関数。 具体的な収束列は、>>571 の多変数C1 のところに定義してあります。 702:１３２人目の素数さん 07/10/22 22:09:21 >D 概念のみ > Hardy Function + >>575 これ、Cとの区別の仕方がようわからん。 思うんだけど、ここでいきなりω1_CKの先とか そんなすごいことやんなくていいんだよ。 そうじゃなくて例えばΓ_0レベルでも、 ε_0レベルでふぃっしゅ氏がやったような 形まできっちり仕掛けが説明できれば、 そのほうが成果としては分かりやすいんだけどね。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch