巨大数探索スレッド13
レス数が950を超えています。1000を超えると書き込みができなくなります。
うーんついていけない。
wikiとかちんぷんかんぷんな説明だし。 本買って読んだ方がいい気がするけれど、どんな本がいいんだろうかねぇ 去年はSpringer yellow saleで安くて
半額くらいだったよね。
今年はJechのSet theoryが安い。 f_[a](n)は急増加関数
aはℵ_1より小さい順序数
lim{a→ℵ_1}f_[a](n) まずはaが??_1より小さい順序数の時のf_[a](n)を定義してください 計算可能関数で最大の増加速度のやつって、階層内階層基数のI0をもとにした関数系でいいの? このスレに上がったwell-definedの物ってこと?
このスレにwell-definedの物はほとんど無いけど 計算可能って言っても、
具体的に計算するアルゴリズムがわからなくて良いならいくらでも定義出来るから
具体的な計算アルゴリズムで定義して初めて計算可能な価値があると思うんだ
関数自体は計算可能だけど
その関数をアルゴリズムの形にするのに
計算可能でない手続きが必要なもの
なんてのは計算可能関数としての価値は無い ラヨ数の巨大数wiki、変数設定とかマイクロ言語とか耳慣れない単語があるんだが、これってどんな分野の言葉なの? 会話のドッジボール
そういえば「マイクロ言語」って言葉ラヨ関数の記事以外で見たことない 巨大数wiki見たんだが、サスクワッチって何でadjunction(随伴関手)やclosure(閉包)が出てくるんだ? ラヨ自体、二階の集合論の論文とかを書いたり
してる人ではあるので、「変数設定」はそっち系の
分野では通じるものの言い方なのかもしれないけど
まああまり聞かんよね
マイクロ云々はしらない キューネンには閉集合があった気がするが、adjunctionあったっけ よし、では表記法の作成をしよう
a 競 b =a^b
a 競 1=a
a 競^c b=a競^c-1(a競^c-1(・・(a^b^c nested)・・(a競^c-1b))(a^b^c nested)) リトルビッゲドンがビッグフット以上の理由がよく分からないんだが
分かる人いる? ε_0以上の順序数がよく分からないので誰か教えて下さい ε_0 = ω^ω^...^ω
ε_(a+1) = ω^ω^...^ω^(ε_a+1)
ε_a = lim ε_a_n @ a= lim a_n サスクワッチの帰属関係が右肩に乗っかってるのって何だ?
モデルの相対化とかなら分かるが、帰属関係が右肩に乗っかるのは見たことがない これ帰属関係が複数あるから「この式はこっちの帰属関係の意味」ってことなのか
にしても関係が3つもある理由がよく分からんな…… 次の関数の大きさの評価をお願いします。
{}とその中のいくつかの非負整数の組のことを合わせてリストと言うこととする。
例) {5,3,2,7} など
リストの中で{}の中に数が1つもないものを空リストと言うこととする。
{A}や{B} … 0個以上のリスト
{C}…0個以上の空リスト
aやbやnやm …1つの非負整数
W …0個以上のの非負整数の組
Y …0個以上の0の組
@ n{ }m= n×m
A n{a+1,W}{A}m
= n{a,W}{A}n{a,W}{A}n …(nがm個)… n{a,W}{A}n
B n{C}{Y,0,a+1,W}{A}m= n{C}{Y,m,a,W}{A}m
C n{C}{W,Y}{A}m= n{C}{W}{A}m
D n{A}{0}{B}m= n{A}{ }{B}m
E n{C}{ }{a+1,W}{A}m
= n{C}{0,0,0 …(0がm個)… 0,0,1}{a,W}{A}m
F n{A}{C}m= n{A}m
G n{A}a{B}m= n{A} (a{B}m) 3{0,0,0 …(0がn個)… ,0,0,1}3はハーディ階層でH ω^ω^ω(n)と予想される
3{ }{ }{ } …({}がn個)… ,{ }{ }{3}3 はハーディ階層でH ε_0と予想される で、
既出な表現に比べて何か新規性や進歩性は何かあるの? 今はリストの中には数のくみが入っているが、
これからリストレベル2の中にはいくつかのリストを入れてという拡張をして
レベルNのリストを考えるといくと
Γ_0までは拡張できると考えられる で、
既出な表現に比べて何か新規性や進歩性は何かあるの? 新規性/進歩性ニキが言動に新規性も進歩性もないの、人生について考えさせられてワイはすきやで 新規性と進歩性の有無を問うている単一、あるいは複数のユーザーが、自らは何ら新規性や進歩性の有る話題をこのスレッドに提供できていない矛盾に、深い趣を感じ、興味深いさまであることだなぁ 何の特徴もない表記をアップして大きさを評価しろって
図々しいにも程がある アピールポイントとか、設計思想とかそういうものは欲しい ならこんな表記はどうでしょうか
まず、関数f(x)を考えます
その次にこれを重ねた関数f(f(f( …(fがx個)… f(x))))という関数を考えます
ここで変換C[1]を定義します
C[1]という変換は関数をより強い関数にする変換で、
C[1](f(x))= f(f( …(fがx個)… f(x))) と定義します ここでC[1](f(x))は関数ですのでC[1](C[1](f(x)))という、
f(x)にC[1]変換を2回繰り返した関数を考えることができます
ここからf(x)にc[1]変換をx回繰り返した関数をC[2]変換とします
ここでC[2]変換を定義します
C[2](f(x))= C[1](C[1]( …(C[1]がx重)… (C[1](f(x)))))
ここでC[2]変換も関数を強くする変換です 既出な表現に比べて何か新規性や進歩性は何かあるの? これからC[n]変換に一般化したいと思います
C[n+1]変換はC[n]変換をx回繰り返したものなので
C[n+1](f(x))= C[n](C[n]( …(C[n]がx重)… (C[n](f(x)))))
と一般化します
ただしC[0]というものは存在しないので
C[1](f(x))=f(f( …(fがx重)… f(x)))
とします
ここまでのC[n]変換は関数をより強い関数にする変換でしたが、
次の拡張のA変換は「関数をより強い関数にする変換」を
より強い「関数をより強い関数にする変換」に変換する変換を考えております なお 進歩についてはBEAFなどとは違ってこの表記の根底には
ある数や関数や変換をある関数や変換で強くするという概念があることです そういうあなたも何か大きな数を考えたらどうですか
ここはそういうスレですよ 評価を人任せにするのはともかく、もともと過疎スレだし、話題がループしてるのは昔からだし、ま、多少はね まあ今のメンバーで頑張っていきましょう
BEAFやより強いのができるといいですね 順序数興味あるし、>>947の知ってる大きな順序数知りたい ここである関数を強くする変換をSと呼ぶことにします
Sの例としてC[1]やC[2]などがあげられます
A[1]変換をSをf(x)にf(x)回繰り返したものとします
つまり
A[1](S[f(x)])= S[S[S[ …(Sがf(x)重)… S[f(x)]]]]
ということです 順序数といえば
ω = 1+1+1+1+,,,, だよね
ω = -1/2 じゃね? ωというのは1+1+1+1+…ではなく
基本列が0 1 2 3 …となる極限順序数ですよ いままでC[n]変換の定義はC[n−1]変換をf(x)にx回行うというものでしたが
これからの拡張のためC[]変換をf(x)にf(x)回おこなうものとします C[]変換ではなくC[n-1]変換をf(x)にf(x)回行うでした ここからの拡張のはじめとしてC[n](f(x))という関数にaを代入した値を
{n,f(x),a}と表すこととします で、
既出な表現に比べて何か新規性や進歩性は何かあるの? この表記をすることで線形配列でε_0の順序数まで拡張できます
簡単な証明は
C[1]変換は急増加関数の順序数に1をたす変換
C[2]変換は急増加関数の順序数にωをたす変換
C[3]変換はω^2を足す変換
C[n]変換はω^nを足す変換
次にA変換の見積もり
元の変換が順序数にaを足す変換のとき
A[n]変換はa×ω^ω^nを足す変換
ということを続けていくと
ε_0まで到達します もう少しわかりやすく言うと
A変換を強くするR変換やそれを強くする変換を考えるとε_0まっで到達するということです >ある数や関数や変換をある関数や変換で強くするという概念があることです
こういうのは結果論であってそれ自体はあまり重要でなかったりする 詳しい定義は省くが
{1,1,1, …(1がx個)… ,1,1,x+1,5}≒Fε_0(x)
となる WOW(4)
=2^^^4
=2^^2^^2^^2
=2^^2^^4
=2^^65536
log_10(2^^65536)
=2^^65535 * log_10(2)
だから
[2^^65535 * log_10(2) - 1] 桁 [2^^65535 * log_10(2) + 1] 桁 大ヴェブレン順序数と順序数崩壊関数をわかりやすく解説してくれる方はいませんか >>978
大ウェブレン順序数={ω,ω,2(1)2} (BEAF) 既出な表現に比べて何か新規性や進歩性は何かあるの? 進歩性を問うよりあなたがみずからその表記をみて進歩性があるかどうかみたらどうですか
定義が必要なら載せますよ どんな回答をしようが答えるつもりは無いってことね
答えられない
答える能力が無い
新規性進歩性は何もない
のいずれかでしょう 今さらζ_0ほどの増加量の表記に新規性進歩性があるとも思えないんで
これ以上語らなくて良いよ この発言に則って、このスレでは新規性や進歩性の無い新規巨大数の掲載を禁止いたします 一応988番レスに記載されている「このスレ」とは「巨大数探索スレッドn」(nはn>0の自然数)のことです 記号1つだけならωまで
記号2つだけならε_0まで
記号4つだけならζ_0まで
表現できる レス数が950を超えています。1000を超えると書き込みができなくなります。