[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
672: 2017/09/28(木)21:47 ID:Rb/XHUBQ(2/3) AAS
>>662ペンテーション空間というものはもっと複雑かもしれん、φ(2,0)になるみたいな
673: 2017/09/28(木)21:50 ID:arHKK2ce(2/3) AAS
でもビジービーバーより小さい数しか作れないんでしょ？
674: 2017/09/28(木)22:06 ID:tUymsa3N(2/3) AAS
ビジービーバーはある意味反則だからなｗ
675: 2017/09/28(木)22:10 ID:arHKK2ce(3/3) AAS
どういう意味で反則？
676: 2017/09/28(木)22:30 ID:tUymsa3N(3/3) AAS
またまたとぼけちゃってｗ
677(1): 2017/09/28(木)22:34 ID:Rb/XHUBQ(3/3) AAS
計算可能レベルは科学で不可能レベルは魔法
678: 2017/09/29(金)00:47 ID:UCkV4e7a(1) AAS
>>677
屁理屈の方が近くないか?
679: 2017/09/29(金)00:53 ID:ePOxm/dc(1/2) AAS
計算可能関数はビジービーバー関数より弱いから競わせないでしょ。勝負はついているもの。
680(1): 2017/09/29(金)05:15 ID:L1WaDal2(1/4) AAS
「大きな実数を探索するスレッドです。」
681: 2017/09/29(金)05:18 ID:L1WaDal2(2/4) AAS
アルゴリズムがわかる方法で定義する
という条件はない
682: 2017/09/29(金)08:12 ID:ePOxm/dc(2/2) AAS
大きな実数を探索って、スレの指向は総じてが正しいか。
話題はこれに限らず自由に出せて、計算可能関数が今ホットだからと言いたかったが…
683(1): 2017/09/29(金)14:44 ID:cy8+ITe8(1) AAS
じゃあ条件を勝手に付け加えて、
大きな素数とか大きな友愛数とかを語りはじめても良いのかな
684: 2017/09/29(金)14:54 ID:2ck/6IKY(1) AAS
>>680
計算不可能関数も定義上は"ある一つの実数"を定義するものだもんな
やっぱり不思議な概念だわ
Wikipediaにあるビジービーバーの計算結果? ってどういう意味なんだろ
やっぱりわからなくなってきた
685: 2017/09/29(金)17:18 ID:qk1emgs/(1) AAS
Σ:ビジービーバー関数
n:自然数
f(1)=Σ(2)
f(n+1)=Σ(f(n))
S=f(100)
686: 2017/09/29(金)18:12 ID:xLakY1b5(1/2) AAS
計算不可能でも、ある数を返すんだろうなって事は何となく分かる
ただ、この計算可能性の概念が数の強さからきているのかそれとも関数の性質からきているのかがイマイチようわからん
ある計算不可能関数によって返されると予想される数の強さがある計算可能関数で返される数より弱い、なんてこともあるのかな
687(2): 2017/09/29(金)18:25 ID:L1WaDal2(3/4) AAS
f(n) := Σ(n) の1の位
は値は小さいけど
恐らく計算可能ではない
688(2): 2017/09/29(金)19:49 ID:rQs5alVZ(1) AAS
1/Σ(n)なら値が小さく計算不能が保証される
689: 2017/09/29(金)20:25 ID:YUC1Ysyh(1) AAS
>>683構わないだろうがたいがい既存の理論で間に合いそう
690(1): 2017/09/29(金)20:57 ID:MQHnGUR1(1) AAS
Σをビジービーバー関数としfを計算可能な無限に発散する単調増加関数とすると
f(Σ(x))はやはり全ての計算可能な関数より増加率が高いといえるか？
691(2): 2017/09/29(金)21:12 ID:xLakY1b5(2/2) AAS
>>687
>>688
ありがとう
計算不能関数を越える計算可能関数が見つかるといいな
見つからないことが証明されてしまわないことを祈ってる
上下前次1-新書関写板覧索設栞歴
あと 311 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s