[過去ﾛｸﾞ]
巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
巨大数探索スレッド12 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1484923121/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
703: １３２人目の素数さん [sage] 2017/10/01(日) 02:15:33.23 ID:GGUjJ2Iz >>700 F4分かりました。再帰的定義の最初にf=x+1ってありましたね。でs(1)の定義に出力はそれを使ったビジービーバー関数とあるのでビジービーバー関数になります。ラヨ関数とかは出てきません。 http://rio2016.5ch.net/test/read.cgi/math/1484923121/703
704: １３２人目の素数さん [sage] 2017/10/01(日) 02:43:49.53 ID:GGUjJ2Iz F7も同じでした http://rio2016.5ch.net/test/read.cgi/math/1484923121/704
705: １３２人目の素数さん [sage] 2017/10/02(月) 01:32:09.55 ID:EzANjwvp 定義されてないっていう人は、何を見て定義されてないって言ってるんだろうね http://rio2016.5ch.net/test/read.cgi/math/1484923121/705
706: １３２人目の素数さん [sage] 2017/10/02(月) 01:45:33.74 ID:EzANjwvp >>700 関数fから関数gへの写像s'(1)の定義が書かれているわけだから、fとして なんでも選ぶことができる。 >>703 s'(1)は関数ではなくて関数から関数への写像なので、「s'(1)がビジービーバー」は 正しくない。s'(1)f がビジービーバー関数となる。 そして、s'(1)^2 f は２次のビジービーバー関数、といったような計算はwikiにも 巨大数論にも書いてあるので、よく読めばわかるはず。 http://rio2016.5ch.net/test/read.cgi/math/1484923121/706
707: １３２人目の素数さん [sage] 2017/10/03(火) 02:04:17.00 ID:UNZhh4qM 矢印表記やハイパー演算の自然な拡張といえば チェーン表記、強配列表記(LAN)、BEAF/BAN(線形配列)あたりが思い浮かぶが 他にも何か良さそうなのあるかな？ 自分でも考えてみたがやはりそう簡単に思いつくものではなかった というかまず上の3つがよく出来過ぎてるわ… http://rio2016.5ch.net/test/read.cgi/math/1484923121/707
708: １３２人目の素数さん [sage] 2017/10/03(火) 12:17:42.81 ID:eQwFikhe Σ(n) := ビジービーバー関数 a,b,n := 0以上の整数 X := 0個以上の0以上の整数 a;b := b個のa f()=Σ(10^10^100) f(0)=Σ(f()) f(a+1)=Σ(f(a)) f(0;n+1,0)=f(f();n+1) f(0;n+1,a+1)=f(f(0;n+1,a);n+1) f(X,b+1,0;n,0)=f(X,b,f();n+1) f(X,b+1,0;n,a+1)=f(X,b,f(X,b+1,0;n,a);n+1) s=f(f();f()) sはビジービーバー関数にグーゴルコンプレックスをぶち込んだ値を基に 再帰的に多変数化させて肥大化させてみた これはデカイだろう http://rio2016.5ch.net/test/read.cgi/math/1484923121/708
709: １３２人目の素数さん [] 2017/10/03(火) 17:56:04.30 ID:a11DUPm+ 2^2^2^2^2 http://rio2016.5ch.net/test/read.cgi/math/1484923121/709
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 293 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.196s*