- 巨大数探索スレッド12 [無断転載禁止]©2ch.net
222 ：１３２人目の素数さん[sage]：2017/03/19(日) 00:00:50.66 ID:87bGU3uh - さすがに「大きいということはどういうことか」までは言ってなくて、
「かくかくしかじかの既存の演算の有限回の繰り返しで追いつけない最小の数という定義」
という「大きさを求めるための一手法」を使っているだけであって、
その隙間にこそ答えがあるんじゃないかと思う。
|
- 巨大数探索スレッド12 [無断転載禁止]©2ch.net
223 ：１３２人目の素数さん[sage]：2017/03/19(日) 00:10:32.76 ID:87bGU3uh - 関数同士の「支配する」という法則を使って後で引数に数を入れる手法の範囲で考えている限りは順序数と対応が付きそう
|
- 巨大数探索スレッド12 [無断転載禁止]©2ch.net
228 ：１３２人目の素数さん[sage]：2017/03/19(日) 15:57:12.68 ID:87bGU3uh - 結局ヒドラもベクレミシェフの虫もFGHもグッドスタイン数も、
・順序数と同じ木構造を作れること
・超限順序数の部分を引数 n に比例して展開することで
「引数 n さえ増やせば自分より小さい順序数による関数を必ず超えられる」
という性質を付加すること
という部分をいろんな実装を使って実現してるだけだね
|
- 巨大数探索スレッド12 [無断転載禁止]©2ch.net
230 ：１３２人目の素数さん[sage]：2017/03/19(日) 22:22:22.52 ID:87bGU3uh - どうやらバシク行列システムがローダー数よりでかいことを証明しようとしている模様
http://ja.googology.wikia.com/wiki/ユーザーブログ:KurohaKafka/型付きラムダ計算の強さ
|