巨大数探索スレッド14
■ このスレッドは過去ログ倉庫に格納されています
作用システムを適用した回数に作用システムを一回組み込んでfε0(n)
もっと強くできそう [][[]][[][]]=ω^ω
[][[][]]=ε_0
下のほうが括弧の数少ないのに大きいのか…
法則がいまいち理解できにぃ >>387
[][[][]][[][][][]][[][][][]][[][][][]]=φ(4,0)
[][[][]][[][][][]][[][][][]][[][][][]][[][][][]]=φ(5,0)
[][[][]][[][][][]][[][][][][]]=φ(ω,0)
>>85 のハイパー原始数列を[]に置き換えただけだから
詳しくは >>85 にハイパー原始数列について質問した方が良い ちなみにワームを使うと
(0,n)=ψ(Ω_ω) を
[[[]]]=ψ(Ω_ω) と表現出来る >>391 は間違い
[][[[]]]=ψ(Ω_ω) >>392も間違い
こっちの方が自然な拡張だな
[][[][[]]]=ψ(Ω_ω)
[][[][[]][]]=ψ(Ω_(ω+1))
[][[][[]][][]]=ψ(Ω_(ω+2))
[][[][[]][][[]]]=ψ(Ω_(ω×2))
[][[][[]][[]]]=ψ(Ω_(ω^2))
[][[][[]][[][]]]=ψ(Ω_(ω^ω))
[][[][[]][[][]][[][][]]]=ψ(Ω_(ω^ω^ω))
ハイパー原始数列の場合
(0,(0,1))=ψ(Ω_ω)
(0,(0,1,0))=ψ(Ω_(ω+1))
(0,(0,1,0,0))=ψ(Ω_(ω+2))
(0,(0,1,0,1))=ψ(Ω_(ω×2))
(0,(0,1,1))=ψ(Ω_(ω^2))
(0,(0,1,2))=ψ(Ω_(ω^ω))
(0,(0,1,2,3))=ψ(Ω_(ω^ω^ω)) あー。。。
やっぱりか
いま作ってるの4変数でf_ω^2(n)だからチェーン表記ぐらいだったわ
多分n変数でfω^ω(n)だな
悲しい X^12+Y^12+Z^12=2*(X^6*Y^6+Y^6*Z^6+Z^6*X^6)
1+(Y/X)^12+(Z/X)^12=2*((Y/X)^6+(Z/X)^6+(Y/X)^6*(Z/X)^6)
(Y/X)=A
(Z/X)=B
1+A^12+B^12-2*(1+B^6)*A^6-2*B^6=0
A^12-2*(1+B^6)*A^6+(B^6-1)^2=0
B^12-2*(1+A^6)*B^6+(A^6-1)^2=0
A^6=(1+B^6)±2B^6
B^6=(1+A^6)±2A^6
A^6+B^6=1
A^12+B^12-2*B^6*A^6-1=0
(A^6-B^6)^2=1
A^6-B^6=1
A^6+B^6=1とA^6-B^6=1を満たすA≠0 B≠0の有理数がないため
X^12+Y^12+Z^12≠2*(X^6*Y^6+Y^6*Z^6+Z^6*X^6)
X^2/√(2S)-Y^2/√(2S)=1をみたす整数(X.Y,S)の組み合わせがないときS=素数
X^3/Z^3-Y^3/Z^3=1
√(X^8+Y^8+Z^8-2*(X^4*Y^4+Y^4*Z^4+X^4*Z^4))=0
X^2=Y^2+Z^2
Z=(2*S)^(1/4)
√(X^8+Y^8+(2*S)^2-2*(X^4*Y^4+Y^4*(2*S)+X^4*(2*S)))=0
Sが素数のとき
√(X^8+Y^8+(2*S)^2-2*(X^4*Y^4+Y^4*(2*S)+X^4*(2*S)))=0をみたす
整数(X,Y)の組み合わせは存在しない この順序数の記号の使い方の認識ってあってる?
ϕ(0,0)=1
ϕ(0,1)=ω
ϕ(0,2)=ω^2
ϕ(0,ϕ(0,1))=ω^ω
ϕ(0,ϕ(0,2))=ω^ω^2
ϕ(0,ϕ(0,ϕ(0,1)))=ω^ω^ω
ϕ(1,0)=ε_0=ω^ε_0=ϕ(0,ϕ(1,0))=ψ(0)
ϕ(1,1)=ε_1=ε_0^ε_1=ψ(1)
ϕ(1,2)=ε_2=ε_1^ε_2=ψ(2)
ϕ(1,ϕ(0,1))=ε_ω=ψ(ω)
ϕ(1,ϕ(0,1)+1)=ε_(ω+1)=ε_ω^ε_(ω+1)=ψ(ω+1)
ϕ(1,ϕ(0,1)+2)=ε_(ω+2)=ε_(ω+1)^ε_(ω+2)=ψ(ω+2)
ϕ(1,ϕ(0,1)×2)=ε_(ω×2)=ψ(ω×2)
ϕ(1,ϕ(0,2))=ε_(ω^2)=ψ(ω^2)
ϕ(1,ϕ(0,ϕ(0,1)))=ε_(ω^ω)=ψ(ω^ω)
ϕ(1,ϕ(1,0))=ε_ε_0=ψ(ε_0)
ϕ(2,0)=ζ_0=ε_ζ_0=ϕ(1,ϕ(2,0))=ψ(Ω)
ϕ(2,1)=ζ_1=ζ_0^ζ_1=ψ(Ω×2)
ϕ(2,2)=ζ_2=ζ_1^ζ_2=ψ(Ω×3)
ϕ(2,ϕ(0,1))=ζ_ω=ψ(Ω×ω)
ϕ(2,ϕ(1,0))=ζ_ε_0=ψ(Ω×ε_0)
ϕ(2,ϕ(2,0))=ζ_ζ_0=ψ(Ω×ζ_0)
ϕ(3,0)=ϕ(2,ϕ(3,0))=ψ(Ω^2)
ϕ(4,0)=ϕ(3,ϕ(4,0))=ψ(Ω^3)
ϕ(ϕ(0,1),0)=ϕ(ω,0)=ψ(Ω^ω)
ϕ(ϕ(1,0),0)=ϕ(ε_0,0)=ψ(Ω^ε_0)
ϕ(ϕ(2,0),0)=ϕ(ζ_0,0)=ψ(Ω^ζ_0)
ϕ(ϕ(ϕ(1,0),0),0)=ϕ(ϕ(ω,0),0)=ψ(Ω^φ(ω,0))
ϕ(1,0,0)=Γ_0=ϕ(Γ_0,0)=ϕ(ϕ(1,0,0),0)=ψ(Ω^Ω) √(X1^2+X2^2+X3^2+X4^2-2*(X1*(X2+X3+X4)+X2*(X3+X4)+X3*X4))=0
X1=(X2+X3+X4)±2*√(X2*(X3+X4)+X3*X4)
X1=(X2+X3+X4)+2*√(X2*(X3+X4)+X3*X4)
X2=X1-X3-X4+2*√(X2*(X3+X4)+X3*X4)
X2=(X1+X3+X4)±2*√(X1*(X3+X4)+X3*X4)
X2=(X1+X3+X4)-2*√(X1*(X3+X4)+X3*X4)
-X3-X4+2*√(X2*(X3+X4)+X3*X4)=+X3+X4)-2*√(X1*(X3+X4)+X3*X4)
√(X2*(X3+X4)+X3*X4)+√(X1*(X3+X4)+X3*X4)=(X3+X4)
(X2*(X3+X4)+X3*X4)^3+(X1*(X3+X4)+X3*X4)^3≠(X3+X4)^6 √(X2*(X3+X4+X5)+X3*(X4+X5)+X4*X5)+√(X1*(X3+X4+X5)+X3*(X4+X5)+X4*X5)=(X3+X4+X5)
X4=X5=0のとき
√(X2*X3)+√(X1*X3)=X3
√(X2)+√(X1)=√(X2)
X4=1 X5=-1のとき
√(X2*X3-1)+√(X1*X3-1)=X3
X1=1 X2=2 X3=5
X1=13 X2=2 X3=5
X1=13 X2=2 X3=25
X1= X2=2 X3=25
X1=37 X2=1 X3=50 √(X2*(X3+X4+X5+X6)+X3*(X4+X5+X6)+X4*(X5+X6)+X5*X6)+√(X1*(X3+X4+X5+X6)+X3*(X4+X5*+X6)+X4*(X5+X6)+X5*X6)=(X3+X4+X5+X6)
√(X2*X3-3)+√(X1*X3-3)=X3
X1=X3+2*√(X2*X3-3)+X2
X2=1 X3=19 X1=28
X2=28 X3=19 X1=93
X2=93 X3=28 X1=223
X2=223 X3=93 X1=604
X2=223 X3=604 X1=1561
X1=X3+2*√(X2*X3-11)+X2
X2=3 X3=5 X1=12
X2=12 X3=5 X1=31
X2=31 X3=12 X1=81
X2=81 X3=31 X1=212
X2=√(X1*X3-11)
81=√(31*212-11)
X1=X3+2*√(X2*X3-n)+X2
nが任意の整数のとき
上記の式で生成される3つの整数の組み合わせは
X1=√(X2*X3-n)
X2=√(X1*X3-n)
X3=√(X1*X2-n)
の3式で表される >>401->>404
方程式はほかの場所でやってください 何かが正しいと言うときに、その理由を言う必要があり、その理由が正しい理由を言う必要があり、...
どこかで理由無しに正しいと言える前提を置くことになるのは避けられず、数学ではそれを公理と呼ぶ。
前スレでも指摘されたように、計算不能関数は真の算術みたいな人間には扱えない公理をもってこないと返り値が具体的にいくつかは定まらない場合が必ず生じる。
ゲーデルの不完全性定理から証明も否定の証明もできないような命題があるのは避けられないが、
そういう決定不能な命題でも真とするか偽とするかどっちのほうが"自然"かはあるはずで、真としたほうが"自然"な命題をすべて集めた公理もまたあって、
計算不能関数の返り値はそのような公理のもとで初めて具体的な値が定まる関数なのだ、と主張するのは可能だ。
しかし、これはもうプラトンの実在論とかイデア論の範囲というか、人間には決して真偽を判定できないけど真偽は決まっている、
というのを信じるか信じないかの話になってしまう。 一方で計算可能関数の方も、計算可能関数であると言うために任意の入力について計算が停止することを証明しないといけないが、
その証明のためにどこまで強い公理を使っていいか、ということが重大な制約になる。
逆数学の創始者Harvey Friedmanは数学上重要な定理の多くが、アッカーマン関数の全域性も証明できないほど弱い2階算術の断片RCA0から証明できるか、
H[Ψ(Ω_ω)](n)以上の計算可能関数の全域性を証明できないほど弱い2階算術の断片
WKL0, ACA0, ATR0, Π^1_1CA0のいずれかと同値であることをRCA0から証明できることを発見した。
さらにFriedmanはフェルマーの最終定理を含む数学上重要な算術の定理が、テトレーションの全域性も証明できない公理EFAで十分証明できるだろうと予想した。
(Friedman's Grand Conjecture)
多くの有用な定理が高々Π^1_1CA0で証明可能であるというFriedmanやSimpsonらの成果にもかかわらず、ただ巨大関数の全域性を示すためだけに、
Π^1_1CA0を超える、通常の数学ではまず使う必要の無いほど強い公理を持ち出す行為をどうして正当化できるだろうか。
ある意味、巨大数探索は既に完了している。EFAレベルの公理までしか認めない立場から見ればテトレーション以上はありえず、
(実際、Avigadのhttps://pdfs.semanticscholar.org/0703/3a30185835a1d1589acd9e31e83844952d6e.pdf
によると、EFA(論文中ではEA)と同程度の無矛盾性の公理でも多くのことができる)
ヒルベルトの有限の立場、あるいはRCA0, WKL0までしか認めない立場から見ればアッカーマン関数以上はありえない。
標準的な自然数論=ペアノ算術、またはACA0までならH[ε_0](n)以上の関数はありえない。
そして、証明にATR0以上を要する重要な定理は数に関するものというよりもむしろ集合論的な命題に限られてくる。
多くの数学で扱われる定理には不釣り合いなほど強力な公理を前提としない限り、もう探すべき関数は無いと言っていい。 プログラミングにおける型コンストラクタとかは理論的にはε_0は超えるやろ。
とはいえこれもグーゴロジストからすればしょぼいのかもしれんが >>406
数学的プラトニズムは知ってたけど、platnist universeはそういう様々な論理式に対して、自然と思われる解釈が完全に済んでいる宇宙、ということなのかな
それでも計算不可能レベルの巨大数にどう影響するのかはよく分からないけど たしかに巨大数論の上の方って巨大基数公理や集合論や基礎論なんかの研究になってるきらいはある >>405
5431-2*√(5431*94-1*2*3*5*7*11*13*17)-94=5433
42919-2*√(226*42919-1*2*3*5*7*11*13*17*19)-226=42689 >>413
X*Y=Z^2+n
をみたす整数XYZが無限に生成できる
X(2k)+2*√(X(2k)*Y(2k)-n)+Y(2k)=√(Y(2k+1)*Y(2k+2)-n)=X(2k+2)
X(1)=2 Y(1)=1 n=1
X(2)=2 Y(2)=5 n=1
X(3)=13 Y(3)=5 n=1
X(4)=13 Y(4)=34 n=1
X(5)=89 Y(5)=34 n=1
X(6)=89 Y(6)= 233 n=1
X(7)=610 Y(7)= 233 n=1
X(8)=610 Y(8)= 1597 n=1
X(9)=4181 Y(9)= 1597 n=1
X(10)=4181 Y(10)= 10946 n=1
X(11)=28657 Y(11)= 10946 n=1
X(12)=28657 Y(12)= 75025 n=1
X(13)=196418 Y(13)= 75025 n=1
X(14)=196418 Y(14)= 514229 n=1 ζ(s)=1/(1-1/2^s)*/(1-1/3^s)*1/(1-1/5^s)*1/(1-1/7^s)*・・・
X*Y=ζ(s)
X<Yのとき
X+2*√(X*Y-n)+Y=X+2*√(ζ(s)-n)+ζ(s)/X
√(X^2+2*X*√(ζ(s)-n)+(ζ(s)-n))=X+√(ζ(s)-n)=Y
√(ζ(s)-n)+(X-ζ(s)/X)=0
(1-ζ(s)/X^2)+i*√(n/X^2-ζ(s)/X^2)=0
(1-ζ(s)/X^2)=0のとき
√(n/X^2-1)=0
X=a^s/(a^s-1)*b^s/(b^s-1)*・・・
nの次数が1のとき
s=x+i*y=1/2+i*yでないと次数が合わない 4181+√(4181*10946-1)=10946
196418+√(196418*514229-1)=514229 >>416-417
頼むからここでやるなああぁぁぁぁぁ lヽY"⌒`.,・
,;::"´./ゞ:;'` ‐ "丶、
〃. ヽ,
.,". .-‐、 .,,,‐-. ;;
;i -・ー,!. ー・-、 ;
.i´ " ノ/ i\` i.
ヾ. \{10月8日}/ ,i
ヽ,. {___} .ノ__
`''-、,,,_.,,,,, _,,,,,,,,-゙´:::::::::::::::::ヾ
/ ゙/::,/"`''"))リノ~~''ヽ::ヽ
/ /|:::::/ ゙l::ヽ
/ / |:::::| ,-‐、 .,,,‐-, l::::l
/ / .i::::l ゛-・ー,!. ー・- l:::! <カルト体育の日だキチゲェども!
\ \ /|`:::| " ノ/ i\` |/
/ \ \ i'' \{ ̄ ̄ ̄ ̄}/|
/ / \ ヽ ヽi { } |
/ / \ `ヽ {____} /
/ / ヽ ⌒ ⌒\
/ ‐=≡ ノ /  ̄ > >
‐=≡ / / 6三ノ
‐=≡ / / \ \ ` ̄
‐= / ん、 \ \
(__ ( > )
`し' / / >>419
Ascii Artはここでやるなあああ BEAFが偉大すぎる事に気付いたわ
自分で巨大数を作ろうとして初めてテトレーション配列に到達するまでの苦労を垣間見た BEAFって何回説明読んでもワカンねぇんだよなぁ
そもそも上のほうは厳密に定義されてないんだっけ? ペンテーション配列とそれより先のは具体的に与えられてないけどしょうがない
ハイパー演算子の性質を配列にまとめたのはすごいわ 途中から具体的に定義できなくてもいいのなら俺はもっと強いの作れる >>418
1+2*√(1*5-14)+5=6+6i
(6+6i)+2*√((6+6i)*5-14)+(6+6i)=22+18i Hyp cos の 一連の配列表記も日本語で解説してほしいねBEAFみたいに ,.,.,.,.,.,.,.,.,__
.,,;f::::::::::::::::::::::ヽ
i::::::::./'" ̄ ̄ヾi
|:::::::| ,,,,,_ ,,,,,,|
|r-==(●);(●)
( ヽ :::__)..:: }
ヽ `トェェェイ'./
\_`ニニ´_! うんこの力で、五体不満足さ〜
ノ `ー―i´
.¨.、,_,,、_,,r_,ノ′
/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
゙{y、、;:...:,:.:.、;:..:,:.:. ._ 、}
".¨ー=v ''‐ .:v、,,、_,r_,ノ′
/;i;i; '',',;;;_~⌒¨;;;;;;;;ヾ.ミ゙´゙^′..ヽ
゙{y、、;:...:,:.:.、;、;:.:,:.:. ._ .、) 、}
".¨ー=v ''‐ .:v、冫_._ .、,_,,、_,,r_,ノ′
/i;i; '',',;;;_~υ⌒¨;;;;;;;;ヾ.ミ゙´゙^′.ソ.ヽ
゙{y、、;:..ゞ.:,:.:.、;:.ミ.:,:.:. ._υ゚o,,'.、) 、}
ヾ,,..;::;;;::,;,::;):;:;:; .:v、冫_._ .、,_,,、_,,r_,ノ′ >>425
おいやめろ
それ以上やると>>1さん呼ぶぞ 原始数列から具体的な原始数列数を算出する関数
(Y)は、原始数列
Xは、0個以上の0以上の整数
a,b,nは、0以上の整数
cは、自然数
f(a)は、原始数列に対応する初期関数
a#nは、n個のa
(Y)[0#n,a]=f(a)
(Y)[X,b+1,0#{n+1}]=(Y)[X,b,1#{n+1}]
(Y)[X,b+1,0#n,a+1]=(Y)[X,b,(Y)[X,b+1,0#n,a]#{n+1}]
()[c]=c+1
(0)[c]=()[c#c]
(0,0)[c]=(0)[c#c]
(0,0,0)[c]=(0,0)[c#c]
(0,1)[c]=(0#c)[c#c]
(0,1,0)[c]=(0,1)[c#c]
(0,1,0,0)[c]=(0,1,0)[c#c]
(0,1,0,1)[c]=(0,1,0#c)[c#c]
(0,1,0,1,0,1)[c]=(0,1,0,1,0#c)[c#c]
(0,1,1)[c]=({0,1}#c)[c#c]
(0,1,1,1)[c]=({0,1,1}#c)[c#c]
(0,1,2)[c]=(0,1#c)[c#c]
(0,1,2,0)[c]=(0,1,2)[c#c]
(0,1,2,1)[c]=(0,1,2,0#c)[c#c]
(0,1,2,1,2)[c]=(0,1,2,1#c)[c#c]
(0,1,2,2)[c]=(0,{1,2}#c)[c#c]
(0,1,2,2,2)[c]=(0,{1,2,2}#c)[c#c]
(0,1,2,3)[c]=(0,1,2#c)[c#c]
(0,1,2,3,4)[c]=(0,1,2,3#c)[c#c]
(0,2)[a]=(0,1,2,...,c-2,c-1,c)[c#c] ハイパー原始数列の作者です
分からないことがあったらどんどん聞いてください
あと、それを少し捻って拡張した「Y数列」というものが、バシク行列と1対1対応することが判明しました ハイパー原始数列じゃなくてまず原始数列について教えてほしいんだけど
ヒドラの入れ子構造を平らにして1次元配列で表せるってことだよね?
どういう理屈でそんなことができるのかまだ理解できてないけど >>431
例えば、( (()) () )というのを考えます
より内側にある入れ子を、大きな数字に対応させます
まず、1番外側の()を、0に対応させます
1番外側の()の中には、(())と()がありますが、このうち(())について考えると、外側の()が1、内側が2となります。
もうひとつの()は1となるので、( (()) () )は
(0,1,2,1)と表すことが出来ます。 >>432の続き
( (()) () )は、枝とノード(○のこと)を使ったヒドラで表すとこんなふうになります
左側の数字は、ノードの高さを表します
2. ○
1. ○┘○
0.○┴─┘
なので、これを左から高さを抜き出して書くと
(0,1,2,1)となるのです やばい、ミスった
2.××○
1.×○┘○
0.○┴─┘
空白が上手くいかないので、バツで表しています >>430
原始数列と順序数の対応はこれであってる?
(0)=ω^0=1
(0,1)=ω^1=ω
(0,1,1)=ω^2
(0,1,1,1)=ω^3
(0,1,1,1,1)=ω^4
(0)=1
(0,1)=ω
(0,1,2)=ω^ω
(0,1,2,3)=ω^ω^ω
(0,1,2,3,4)=ω^ω^ω^ω
(0,1,2,3,4,5)=ω^ω^ω^ω^ω
(0,2)=ε_0
(0,2,1)=ε_0×ω
(0,2,1,3)=ε_0×ε_0=ε_0^2
(0,2,1,3,2)=ε_0^ω
(0,2,1,3,2,4)=ε_0^ε_0
(0,2,1,3,2,4,3)=ε_0^ε_0^ω
(0,2,1,3,2,4,3,5)=ε_0^ε_0^ε_0
(0,2)=ε_0
(0,2,2)=ε_1
(0,2,2,2)=ε_2
(0,2,2,2,2)=ε_3
(0,2,2,2,2,2)=ε_4
(0,2)=ε_0
(0,2,3)=ε_ω
(0,2,3,5)=ε_ε_0
(0,2,3,5,6)=ε_ε_ω
(0,2,3,5,6,8)=ε_ε_ε_0
(0,2,3,5,6,8,9)=ε_ε_ε_ω
(0,2,3,5,6,8,9,11)=ε_ε_ε_ε_0
(0)=φ(0,0)=1
(0,2)=φ(1,0)=ε_0
(0,2,4)=φ(2,0)=ζ_0
(0,2,4,4)=φ(3,0)=η_0
(0,2,4,4,4)=φ(4,0)
(0,2,4,4,4,4)=φ(5,0)
(0,2)=ψ(0)=ε_0
(0,2,4)=ψ(Ω)=ζ_0
(0,2,4,6)=ψ(Ω^Ω)=Γ_0
(0,2,4,6,8)=ψ(Ω^Ω^Ω)
(0,2,4,6,8,10)=ψ(Ω^Ω^Ω^Ω)
(0,2,4,6,8,10,12)=ψ(Ω^Ω^Ω^Ω) 新しい巨大数を考えたよ〜
[n]m,f(k)=[n-1]f^m(m),f^m(m)
[1]m,f(k)=f^m(m)
{n}m,f(k)=[[・・・n回・・・[[n]m,f(k)]m,f(k)]]・・・n回・・・]]m,f(k)
{10]10,10^kをTrES-2数とする あと(0,3)以降が理解していないんで
できれば(0,3)以降の解析サンプルの書き込みをお願いします うーん。
順序数をちゃんと理解できてないから巨大関数の構造も理解できないんだろうか?
すべての基本は順序数にある? >>435
(0,2,4,6,8,10,12)=ψ(Ω^Ω^Ω^Ω^Ω)ですね、それ以外は合っています >>437
以下、UNOCFで対応させます
(0,3)=ψ(Ω_2)
(0,3,1)=ψ(Ω_2)×ω=ψ(Ω_2+1)
(0,3,1,2)=ψ(Ω_2+ω)
(0,3,1,2,3)=ψ(Ω_2+ω^ω)
(0,3,1,3)=ψ(Ω_2+ψ(Ω))
(0,3,1,3,5)=ψ(Ω_2+ψ(Ω^2))
(0,3,1,3,5,7)=ψ(Ω_2+ψ(Ω^Ω))
(0,3,1,4)=ψ(Ω_2+ψ(Ω_2))
(0,3,1,4,2)=ψ(Ω_2+ψ(Ω_2+1))
(0,3,1,4,2,5)=ψ(Ω_2+ψ(Ω_2+ψ(Ω_2)))
(0,3,2)=ψ(Ω_2+Ω)
(0,3,2,2)=ψ(Ω_2+Ω×2)
(0,3,2,3)=ψ(Ω_2+Ω×ω)
(0,3,2,3,5)=ψ(Ω_2+Ω×ψ(Ω))
(0,3,2,3,6)=ψ(Ω_2+Ω×ψ(Ω_2))
(0,3,2,4)=ψ(Ω_2+Ω^2)
(0,3,2,4,6)=ψ(Ω_2+Ω^Ω)
(0,3,2,5)=ψ(Ω_2+ψ_1(Ω_2))
(0,3,2,5,3)=ψ(Ω_2+ψ_1(Ω_2+1))
(0,3,2,5,4)=ψ(Ω_2+ψ_1(Ω_2+Ω))
(0,3,2,5,4,7)=ψ(Ω_2+ψ_1(Ω_2+ψ_1(Ω_2)))
(0,3,3)=ψ(Ω_2×2) >>440続き
(0,3,3,3)=ψ(Ω_2×3)
(0,3,4)=ψ(Ω_2×ω)
(0,3,4,5)=ψ(Ω_2×ω^ω)
(0,3,4,6)=ψ(Ω_2×ψ(Ω))
(0,3,4,7)=ψ(Ω_2×ψ(Ω_2))
(0,3,4,7,8,11)=ψ(Ω_2×ψ(Ω_2×ψ(Ω_2)))
(0,3,5)=ψ(Ω_2×Ω)
(0,3,5,7)=ψ(Ω_2×Ω^Ω)
(0,3,5,8)=ψ(Ω_2×ψ_1(Ω_2))
(0,3,6)=ψ(Ω_2^2)
(0,3,6,9)=ψ(Ω_2^Ω_2)
(0,4)=ψ(Ω_3)
こんな感じになります
こことここの間がやべぇよってのがあったら、また載せるので言ってください! あ”、ちなみにこのψ関数は、ψ(Ω)=ε_0となるψ関数を使っています
ψ(Ω^ω)以降は、「ψ(0)=ε_0となるψ関数」と同じ大きさなので、そんなに気にしなくてもいいかな? >>436
解析開始
[n]m,f(k)をGSC 03549-02811変換とする。
GSC 03549-02811変換の大きさは[n-1]を対角化するので、あーもう分からん √(X^2n+Y^2n+Z^2n-2*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0
√((X^n+Y^n+Z^n)^2-4*((X*Y)^n+(X*Z)^n+(Z*Y)^n))=0
n=2k (k≧3の整数)のとき
(X^2n+Y^2n+Z^2n)*2=(X^n+Y^n+Z^n)^2
をみたす整数X,Y,Zの組み合わせは存在しない
(d/dX)*(X^2n+Y^2n+Z^2n)*2=(d/dX)*(X^n+Y^n+Z^n)^2
(2n)*X^(2n-1)*2=2*n*X^(n-1)*(X^n+Y^n+Z^n)
2*X^n≠X^n+Y^n+Z^n
ζ(s)=√(1+1/2^2x+1/3^2x+1/4^2x・・・+2*(cos(y*log2)/(1*2)^x+cos(y*log3)/(1*3)^x+・・・+cos(y*log(3/2))/(3*2)^x+・・・))
ζ(s)=√(Σ1/k^2x+2*(Σcos(y*log(m/n))/(n*m)^x)) (k≧1 m>n≧1)
√(X^2+Y^2+Z^2-2*((X*Y)+(X*Z)+(Z*Y)))=0
Σ1/k^2x=1/1^2x+1/2^2x+1/3^2x+1/4^2x・・・をX^2,Y^2,Z^2の三つに区分する
X^2=Σ1/a^2x Y^2=Σ1/b^2x Z^2=Σ1/c^2x
Σ1/k^2x=Σ1/a^2x+Σ1/b^2x+Σ1/c^2x=X^2+Y^2+Z^2
X^(1/2)=Y^(1/2)+Z^(1/2)
(Σ1/a^2x)^(1/4)=(Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4)のとき
√(Σ1/a^2x+Σ1/b^2x+Σ1/c^2x-2*((Σ1/a^2x*Σ1/b^2x)+(Σ1/a^2x*Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)))=0
またζ関数が0のとき
Σcos(m/n)/(n*m)^x+(Σ1/a^2x*Σ1/b^2x)+(Σ1/a^2x*Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)=0
Σcos(y*log(m/n))/(n*m)^x+((Σ1/b^2x)^(1/4)+(Σ1/c^2x)^(1/4))^4*(Σ1/b^2x+Σ1/c^2x)+(Σ1/c^2x*Σ1/b^2x)=0 >>444
お前IDが変わらないうちに早く謝れ!
じゃねえと1さん呼ぶぞ本気で! >>439
指摘ありがとう
>>440-441
なんとなく理解できそうな…
頑張って理解してみます
サンプルありがとう >>448
ψ(Ω_2+Ω^Ω^Ω^,,,)=ψ(Ω_2×2)ではないので、気をつけてくださいね〜 グッドスタイン数列ってヒドラゲームとやってること似てるんだね >>450
Ω_(α+1)は、ψ_αが無限に入れ子になったものだと思えばいいと思う
ただしψ_0は省略 しかもΩ_α=ψ_(α+1)(0)とかで置き換えられるからめんどくさい たとえば順序数と順序数崩壊関数にのっとったループしかかけないプログラミング言語をつくれば
絶対プログラムが停止することが保障できたりする? /⌒ヽ
( ^ω^) 出来立てのブリュレをどうぞおw
/ 、つ
(_(__ ⌒)
● ∪ (ノ 暇だったので Goodstein sequence のG(5)を計算
(初項を0としたため、[項数]=[その項での遺伝的表記の底]-2となる)
G(5)=b(B(BB(3)))-2
ここで、
BB(n+1) = BB(n) + B(BB(n)) + 1
BB(0) = 3
B(n+1) = B(n) + b(B(n)) + 1
B(0) = 3
b(n+1) = 2 * b(n) + 1
b(0) = 7 あと、
G(4) = B(b(2)) - 2
定義はb(0)=2である事以外は>>458といっしょ G(4) = b(B(2))-2 だった
具体的な計算は、以下のとおり
b(0)=2, b(n+1)=b(n) * 2 +1のとき、
b(n) = 3*2^n-1であることを用いる
G(4)
= b(B(2)) - 2
= b(B(1)+b(B(1))+1) - 2
= b(3+b(3)+1+b(3+b(3)+1)+1)-2 [b(3)=23]
= b(28+b(27)) - 2
= b(28 + 402653183) - 2
= b(402653211) - 2
= 3*2^402653211 - 3 √(1+(x-i*y)^4+(x+i*y)^4-2*((x-i*y)^2+(x+i*y)^2*(x-i*y)^2+(x+i*y)^2))=0
これをみたすxは1/2以外に存在しない バシク氏が、バシク三角行列を作ったそうだ
バシク行列を余裕で超えるらしい。。 アッカーマン配列表記を考えた
[]内は>>350付近の配列表記と同じ
ただし、nA[...a,0,b...]=(n+1)A[...a,b...]
nAm=A(n,m)
nA[]=nAn
んで、[a]=a 2009年1月、ジンバブエのインフレ率が年率 6.5x10の108乗パーセントであると報じられた。
(6.5グーゴルの1億倍の数。)、現実のニュースでみたのはこれくらいの数。
実際の値が計算できない超巨大数って意味あるの? √(1+(1/2-y*i)^4+(1/2+y*i)^4-2*((1/2-y*i)^2+(1/2+y*i)^2*(1/2-y*i)^2+(1/2+y*i)^2))=0
16*((1/2-4*i)^2+(1/2+4*i)^2*(1/2-4*i)^2+(1/2+4*i)^2)=3721=67*67
16*((1/2-5*i)^2+(1/2+5*i)^2*(1/2-5*i)^2+(1/2+5*i)^2)=9409=97*97
16*((1/2-7*i)^2+(1/2+7*i)^2*(1/2-7*i)^2+(1/2+7*i)^2)=37249=37249=193*193
16*((1/2-9*i)^2+(1/2+9*i)^2*(1/2-9*i)^2+(1/2+9*i)^2)=103041=3*3*107*107
16*((1/2-10*i)^2+(1/2+10*i)^2*(1/2-10*i)^2+(1/2+10*i)^2)=157609=397*397
16*((1/2-11*i)^2+(1/2+11*i)^2*(1/2-11*i)^2+(1/2+11*i)^2)=231361=13*13*37*37
16*((1/2-12*i)^2+(1/2+12*i)^2*(1/2-12*i)^2+(1/2+12*i)^2)=328329=3*3*191*191
16*((1/2-13*i)^2+(1/2+13*i)^2*(1/2-13*i)^2+(1/2+13*i)^2)=452929=673*673
16*((1/2-14*i)^2+(1/2+14*i)^2*(1/2-14*i)^2+(1/2+14*i)^2)=609961=11*11*71*71
16*((1/2-16*i)^2+(1/2+16*i)^2*(1/2-16*i)^2+(1/2+16*i)^2)=1042441=1021*1021
4*√((1/2-y*i)^2+(1/2+y*i)^2*(1/2-y*i)^2+(1/2+y*i)^2)
yに整数を代入すると素数になる
4*√((1/2-22*i)^2+(1/2+22*i)^2*(1/2-22*i)^2+(1/2+22*i)^2)=1933
4*√((1/2-29*i)^2+(1/2+29*i)^2*(1/2-29*i)^2+(1/2+29*i)^2)=3361 4*√((1/2-1024*i)^2+(1/2+1024*i)^2*(1/2-1024*i)^2+(1/2+1024*i)^2)=4194301 X=4*√((1/2-y*i)^2+(1/2+y*i)^2*(1/2-y*i)^2+(1/2+y*i)^2)
yが素数のときXは素数になる
4*√((1/2-48871*i)^2+(1/2+48871*i)^2*(1/2-48871*i)^2+(1/2+48871*i)^2)=9553498561 ・10^100=1グーゴル。1の後に0が100個並ぶ。無量大数(10^68)の溝(10^32)倍の数。
・10^10^100=1グーゴル・プレックス。1の後に0が1グーゴル並ぶ数。
・10^10^10^100=1グーゴル・プレックス・プレックス。
1の後に0が1グーゴル・プレックス個並んでる数 (この時点で想像不可)
・10^10^10^10^100 1グーゴル・プレックス・プレックス・プレックス。
1の後に0が1グーゴル・プレックス個並べて、それを1グーゴル・プレックス回掛けた数になる。
(形而学上の数でしかないが、まだ累乗で書き表せるだけマシ)
・累乗で書き表せないグラハム数なんて意味がない。どのくらい無意味かを日常生活レベルでいうと、
俺が異世界に飛ばされたらイケメンになってて、美少女ととっかえひっかえ毎日セックスしまくりで、
世界中のモンスターや巨悪を倒して冒険者あがりの王者として世界から賞賛されて、年収は10兆円
を超えて、慈善事業をして異世界の世界中から慕われて“神”になると妄想するくらい意味がないw だが、そんな妄想を描いた小説が売れている世の中なのであった ハイパー原始数列の要素をハイパー原始数列にすれば
(0,1)=ω
(0,(0,1))=ψ(Ω_ω)
(0,(0,(0,1)))=ψ(Ω_ψ(Ω_ω))
(0,(0,(0,(0,1))))=ψ(Ω_ψ(Ω_ψ(Ω_ω)))
(0,(0,(0,(0,(0,1)))))=ψ(Ω_ψ(Ω_ψ(Ω_ψ(Ω_ω))))
(0,(0,(0,(0,(0,(0,1))))))=ψ(Ω_ψ(Ω_ψ(Ω_ψ(Ω_ψ(Ω_ω)))))
この収束列の極限順序数はψ(Ω_Ω)なのか? ψ(Ω_Ω)だよ
ところでこれ寝不足の作家に見える ϑ(Ω^ϑ(Ω^2))+ϑ(Ω^ω)はどうやって表すんですか? √(x^2+y^2+z^2-2*(x*y+x*z+y*z))=0
R^2=(x^6)^2+(y^6)^2+(z^6)^2=2*(x^6*y^6+x^6*z^6+y^6*z^6)
x,y,zが整数のとき√(2*(x^6*y^6+x^6*z^6+y^6*z^6))=Rで描かれる図形は
半径Rの球体の内部か外部に位置する
√(2*(x^6*y^6+x^6*z^6+y^6*z^6)) <R <√(2*(x^6*y^6+x^6*z^6+y^6*z^6)) 多変数アッカーマン関数は、この定義がシンプルで美しい
X = {0個以上の非負整数}
a,b,n = {非負整数}
a#n = {n個のa}
a#n+b = a#(n+b)
Ack(0#n,a)=a+1
Ack(X,b+1,0#n+1)=Ack(X,b+1,1#n+1)
Ack(X,b+1,0#n,a+1)=Ack(X,b,Ack(X,b,0#n,a)#n+1) 上は間違い
Ack(0#n,a)=a+1
Ack(X,b+1,0#n+1)=Ack(X,b+1,1#n+1)
Ack(X,b+1,0#n,a+1)=Ack(X,b,Ack(X,b+1,0#n,a)#n+1) これが正しい定義
X = {0個以上の非負整数}
a,b,n = {非負整数}
a#n = {n個のa}
a#n+b = a#(n+b)
Ack(0#n,a)=a+1
Ack(X,b+1,0#n+1)=Ack(X,b,1#n+1)
Ack(X,b+1,0#n,a+1)=Ack(X,b,Ack(X,b+1,0#n,a)#n+1) 0個以上の非負整数、n個のa、の表現って巨大数論のなかで慣例化されてるよね
いままでその事に気がつかずになんか難しい記号使って難しいことしてるなって怖がってたわ 可算なものを扱ってる限りは負整数や小数を使う意味は薄い。
非可算なものを扱うつもりなら小数はあるかもしれない。
どうやって非可算のものを扱えばいいかわからんが。 >>353
ごめんなさい。無量大数^無量大数は 10^10^(10^68)でした!
つまり、10^不可説不可説転。よりも大きいけど、
1グーゴルプレックス・プレックス・プレックスより小さい。
しかし、こんな計算違いの間違いすら誰も指摘てくれなかった・・・・・・
天文学的数字や巨大数すら超える形而学乗数って本当に意味がない。
参考:
https://ja.wolframalpha.com/
https://ja.wolframalpha.com/input/?i=10%5E68%EF%BC%BE%EF%BC%8810%5E68%EF%BC%89 >>485
具体的な計算をちゃんとする人って少ないから重宝される
その程度の大きさなら応用物理学なんかで使われるセルオートマトンの全状態数で現れるから、まだ意味がある >>485
無量大数^無量大数は
(10^68)^(10^68)=10^(10^69.83250891270623) ■ このスレッドは過去ログ倉庫に格納されています