[過去ﾛｸﾞ]
巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
巨大数探索スレッド12 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1484923121/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
683: １３２人目の素数さん [sage] 2017/09/29(金) 14:44:56.93 ID:cy8+ITe8 じゃあ条件を勝手に付け加えて、 大きな素数とか大きな友愛数とかを語りはじめても良いのかな http://rio2016.5ch.net/test/read.cgi/math/1484923121/683
684: １３２人目の素数さん [sage] 2017/09/29(金) 14:54:11.19 ID:2ck/6IKY >>680 計算不可能関数も定義上は"ある一つの実数"を定義するものだもんな やっぱり不思議な概念だわ Wikipediaにあるビジービーバーの計算結果? ってどういう意味なんだろ やっぱりわからなくなってきた http://rio2016.5ch.net/test/read.cgi/math/1484923121/684
685: １３２人目の素数さん [sage] 2017/09/29(金) 17:18:46.22 ID:qk1emgs/ Σ:ビジービーバー関数 n:自然数 f(1)=Σ(2) f(n+1)=Σ(f(n)) S=f(100) http://rio2016.5ch.net/test/read.cgi/math/1484923121/685
686: １３２人目の素数さん [sage] 2017/09/29(金) 18:12:28.84 ID:xLakY1b5 計算不可能でも、ある数を返すんだろうなって事は何となく分かる ただ、この計算可能性の概念が数の強さからきているのかそれとも関数の性質からきているのかがイマイチようわからん ある計算不可能関数によって返されると予想される数の強さがある計算可能関数で返される数より弱い、なんてこともあるのかな http://rio2016.5ch.net/test/read.cgi/math/1484923121/686
687: １３２人目の素数さん [sage] 2017/09/29(金) 18:25:19.87 ID:L1WaDal2 f(n) := Σ(n) の1の位 は値は小さいけど 恐らく計算可能ではない http://rio2016.5ch.net/test/read.cgi/math/1484923121/687
688: １３２人目の素数さん [sage] 2017/09/29(金) 19:49:29.25 ID:rQs5alVZ 1/Σ(n)なら値が小さく計算不能が保証される http://rio2016.5ch.net/test/read.cgi/math/1484923121/688
689: １３２人目の素数さん [sage] 2017/09/29(金) 20:25:02.53 ID:YUC1Ysyh >>683構わないだろうがたいがい既存の理論で間に合いそう http://rio2016.5ch.net/test/read.cgi/math/1484923121/689
690: １３２人目の素数さん [sage] 2017/09/29(金) 20:57:36.05 ID:MQHnGUR1 Σをビジービーバー関数としfを計算可能な無限に発散する単調増加関数とすると f(Σ(x))はやはり全ての計算可能な関数より増加率が高いといえるか？ http://rio2016.5ch.net/test/read.cgi/math/1484923121/690
691: １３２人目の素数さん [sage] 2017/09/29(金) 21:12:00.86 ID:xLakY1b5 >>687 >>688 ありがとう 計算不能関数を越える計算可能関数が見つかるといいな 見つからないことが証明されてしまわないことを祈ってる http://rio2016.5ch.net/test/read.cgi/math/1484923121/691
692: １３２人目の素数さん [sage] 2017/09/29(金) 21:30:02.81 ID:L1WaDal2 >>690 そりゃそうだ >>691 Σ(n)を超える計算可能な関数が無いことの証明は簡単 http://rio2016.5ch.net/test/read.cgi/math/1484923121/692
693: １３２人目の素数さん [sage] 2017/09/29(金) 22:13:50.35 ID:SCYK9kXF ふぃっしゅ数バージョン4の神託機械の配備のされかたがよく分かんないんだけどどういうこと？関数って言ってるけど関数も何もテープとオートマトンしかないよね バージョン7も関数fが出てきてよく分からない。fの定義はどこかにラヨ数で許されてる記号を使って記述するの？ どっちもビジービーバー関数とラヨ関数を書ける部品がほしい、っていう気持ちはなんとなく分かるんだけど http://rio2016.5ch.net/test/read.cgi/math/1484923121/693
694: １３２人目の素数さん [sage] 2017/09/30(土) 00:20:12.60 ID:JAWIVyZ1 F4もF7も定義は書いてない おそらくふぃっしゅ氏の能力では厳密に定義出来ないと思われる つまり、ふぃっしゅ数は定まっていない http://rio2016.5ch.net/test/read.cgi/math/1484923121/694
695: １３２人目の素数さん [sage] 2017/09/30(土) 00:31:36.53 ID:Nve9j0IJ >>691 > 計算不能関数を越える計算可能関数が見つかるといいな 停止性問題が分かってないな…… http://rio2016.5ch.net/test/read.cgi/math/1484923121/695
696: １３２人目の素数さん [sage] 2017/09/30(土) 06:12:11.79 ID:JAWIVyZ1 >>687 や >>688 を超えるのは簡単だが http://rio2016.5ch.net/test/read.cgi/math/1484923121/696
697: １３２人目の素数さん [sage] 2017/09/30(土) 07:07:56.02 ID:zGJjclRQ 今巨大数界隈で主に何が分かってないのか分からない なんかこう頭打ち感があるような http://rio2016.5ch.net/test/read.cgi/math/1484923121/697
698: １３２人目の素数さん [sage] 2017/09/30(土) 10:49:52.88 ID:CgqGDFAK F4はチューリングマシンに、現在のヘッダの位置から右に並んだn個の1を読み取り 読み終わった0の位置からさらにみぎがわにBB(n)個の1を入力(すでに1になっている場合は 上書き)して適当な次の状態に移行するという一連の動作をこなすオラクルな 状態を追加する、とかすることで簡単にwell definedにできる。 F7は式の中でラヨ関数を扱えるようにするとか、そのまんまですでにwell definedになってるんじゃないか? http://rio2016.5ch.net/test/read.cgi/math/1484923121/698
699: １３２人目の素数さん [sage] 2017/09/30(土) 10:57:26.20 ID:CgqGDFAK F7は神託式で拡張する方針をとってるけど、ラヨ階層を定義したならもう式の中で ラヨ階層を扱えることにしたほうがよかったな。 FOOTでいうV_{Ord*2}を対角化した強さになるか? http://rio2016.5ch.net/test/read.cgi/math/1484923121/699
700: １３２人目の素数さん [sage] 2017/09/30(土) 12:26:24.41 ID:GIYQIn+U >>698 その「fはBB(n)です」「fはラヨ関数です」という身もふたもない定義がされてたら分かるんだけど、「f」って抽象的に書かれてるとそのfの選び方がよく分からない。 なんでもありにしちゃうとF4のfにラヨ関数のオラクル入れたらF7と同じくらい強くなるしリトルビッゲドン入れたらF7抜くよね http://rio2016.5ch.net/test/read.cgi/math/1484923121/700
701: １３２人目の素数さん [sage] 2017/09/30(土) 16:02:44.38 ID:cpB/z41K ラヨ関数も細部は定義されてないように見えるけど 原文だと書いてあったりする？ http://rio2016.5ch.net/test/read.cgi/math/1484923121/701
702: １３２人目の素数さん [sage] 2017/09/30(土) 17:52:37.01 ID:GIYQIn+U ラヨ関数は1番しっかり定義されてる部類じゃない？ どのページにも再帰的な式で定義が書いてあるぞ。 http://rio2016.5ch.net/test/read.cgi/math/1484923121/702
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 300 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.006s