[過去ﾛｸﾞ] 巨大数探索スレッド12 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
423(1): 2017/06/19(月)02:15 ID:0g0bgrzX(2/2) AAS
しかし>>421さんを見るとε_0が人為的に文字に置き換えられてる感も否めなくなるな…
ε0より大きい順序数でもわざわざ新しい記号を使わなくともωだけでも表せそうな気もするし
（例えばω↑↑↑↑ω、{ω,ω,1,2}みたいな感じで）
その方が直感的で分かり易そうなんだが今の所そういう表し方は見た事が無い
やはりこの表し方だと何かしらの問題があるのだろうか？
424: 2017/06/19(月)14:13 ID:zA+HMm6O(1) AAS
バードがやっているよ
外部ﾘﾝｸ[pdf]:mrob.com
ここに書かれているように、
ω^^(ω+1) = ω^(ω^^ω) = ω^ε_0 = ε_0
となってしまうため、通常の計算規則だとε_0よりも大きくならない。
そこで、バードは
ω^^(ω+1) = ω^(ε_0+1)
かつ、 ω^^β = ε_αのときに
ω^^(β+1) = ω^(ε_α+1)
であると「定義を変える」ことで、ωに関する演算の定義を拡張している。
省4
425: 2017/06/19(月)21:56 ID:/pvQJFRQ(1) AAS
{ω,ω,1,2}みたいなのを発展させたのがレギオン配列とかじゃないの？
426: 2017/06/20(火)00:53 ID:9Y0Bg4uy(1) AAS
そう。それで、ω^^(ω+1)がε_0よりも強くならないから、BEAFのテトレーション配列
以上は定義がうまくできていない、と Hyp cos が指摘をした、ということが「巨大数論」の
221ページに書かれている。
427: 423 2017/06/20(火)07:08 ID:lJTsjSZO(1) AAS
なるほど、ありがとう
という事は矢印表記は右結合だからω↑↑…↑↑ωの矢印を幾ら増やそうが
この調子でその拡張であるチェーンやBEAFを使おうが
結局はω↑↑(ωの式)の形に行きついてε_0止まりなのか…
超限順序数ならではの奇妙な現象だ
左結合である下矢印表記を使えばより大きくできるのかとか
そもそもなぜω^ε_0 = ε_0が成り立つのかとか
まだまだ謎が尽きないな
自分でももっと色々調べてみた方がよさそうだ
428: 2017/06/20(火)11:09 ID:1dEUMKFE(1) AAS
配列を記述する配列の計算ルールを左結合になるよう変えて成り立つようにしてたよな
429: 2017/06/21(水)13:17 ID:oHvI/mhA(1) AAS
御風結界
巨大数を作ったけど
近似してくれないですか
画像で説明したいけど
どう貼り付けたらいいの
ふぃしゅ数ver1.2よりはでかいのはわかってるけど
自分でも大きさがわからない
バード数よりも大きい気がする
タワー数とチェーン表記に行きつくけど
行きつかないくらいでかい感じがする
省2
430: ￥ ◆2VB8wsVUoo 2017/06/21(水)14:00 ID:cGYdNhEa(1/11) AAS
★★★数学徒は論理的な考察により客観的に暮らし、日頃から深い学術を志すべき。★★★
￥
431: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:42 ID:cGYdNhEa(2/11) AAS
￥
432: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:43 ID:cGYdNhEa(3/11) AAS
￥
433: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:43 ID:cGYdNhEa(4/11) AAS
￥
434: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:43 ID:cGYdNhEa(5/11) AAS
￥
435: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:44 ID:cGYdNhEa(6/11) AAS
￥
436: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:44 ID:cGYdNhEa(7/11) AAS
￥
437: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:44 ID:cGYdNhEa(8/11) AAS
￥
438: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:45 ID:cGYdNhEa(9/11) AAS
￥
439: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:45 ID:cGYdNhEa(10/11) AAS
￥
440: ￥ ◆2VB8wsVUoo 2017/06/21(水)17:45 ID:cGYdNhEa(11/11) AAS
￥
441: 2017/06/22(木)00:35 ID:7Rt+NRL+(1) AAS
ω(↑^ω)ω=N_0 なんだって。そうなの？
外部ﾘﾝｸ:mathoverflow.net
442: 2017/06/22(木)02:59 ID:nydReERO(1) AAS
ω(↑^ω)ωの濃度はアレフ0、つまり可算だと言っているだけで、特に不思議はないような。
上下前次1-新書関写板覧索設栞歴
あと 560 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.462s*