koteitan is a user on googoldon.net. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

$ψψ_ψ=ε_0\\
ψψ_ψ+ψψ_ψ=ε_02\\
ψ(ψ_ψ+ψ)=ε_0ω\\
ψ(ψ_ψ+ψ+ψ)=ε_0ω^2\\
ψ(ψ_ψ+ψψ)=ε_0ω^ω\\
ψ(ψ_ψ+ψψψ)=ε_0ω^{ω^ω}\\
ψ(ψ_ψ+ψψ_ψ)=ε_0^2\\
ψ(ψ_ψ+ψψ_ψ+ψψ_ψ)=ε_0^3\\
ψ(ψ_ψ+ψ(ψ_ψ+ψ))=ε_0^ω\\
ψ(ψ_ψ+ψ(ψ_ψ+ψ(ψ_ψ+ψ)))=ε_0^{ε_0^ω}\\
ψ(ψ_ψ+ψ_ψ)=ε_1\\
ψ(ψ_ψ+ψ_ψ+ψ_ψ)=ε_2\\
ψψ_ψψ=ε_ω\\
ψ(ψ_ψψ+ψ_ψ)=ε_{ω+1}\\
ψψ_ψ(ψ+ψ)=ε_{ω2}\\
ψψ_ψψψ_ψ=ε_{ε_0}\\
ψψ_ψψψ_ψψψ_ψ=ε_{ε_{ε_0}}\\
ψψ_ψψ_ψ=ζ_0$

$∅ =0\\
ψ =1\\
ψ+ψ =2\\
ψψ =ω\\
ψψ+ψ =ω+1\\
ψψ+ψψ =ω2\\
ψ(ψ+ψ) =ω^2\\
ψ(ψ+ψ)+ψ(ψ+ψ) =ω^22\\
ψ(ψ+ψ+ψ) =ω^3\\
ψψψ =ω^ω\\
ψψψ+ψ =ω^ω+1\\
ψ(ψψ+ψ) =ω^{ω+1}\\
ψψ(ψ+ψ) =ω^{ω^2}\\
ψψψψ =ω^{ω^ω}\\
ψ_ψ =ε_0$

GWIKIのコメント欄を読む機械と化したGoogoldon

どの定義の話をしているのか分かりませんのでURLを貼ってもらえませんか。

@KurohaKafka 「後者」の意味が分かりませんでした。「バシク行列数」は1つしかないと思います。バシク「超」行列数のことですか?

やっとBM2のΔの足し方を理解できたのに…

hypcosさんの googology.wikia.com/wiki/Talk: に対する修正、つまり BM2 ですが、「たとえ bad part であっても bad root の子孫ではないノードにはΔは足さない」で合ってますか? googoldon.net/media/5uPv-cN49A

And his original(?) OCF $\Psi$
$Ψ(n)=ω^n$
$Ψ(Ω\cdot n)=Ω_n$
$Ψ(φ_0(Ω+n))=Ω_{ω^n}$
$Ψ(φ_0(Ω+Ψ(φ_0(Ω\cdot 2)+n)))=ψ_I(n)$
$Ψ(φ_0(Ω+Ψ(φ_0(Ω\cdot 2+n))))=I_n$
$Ψ(φ_0(Ω\cdot (n+2)))=χ(n,0)$

He say
$(0,0,0)(1,1,1)(2,2,2)=
\psi_\Omega(\psi_I(\chi(\omega,0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)=
\psi_\Omega(\psi_I(\chi(\phi_0(\phi_0(1)),0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,0)=
\psi_\Omega(\psi_I(M,0)))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,1)=
\psi_\Omega(\psi_I(M_\omega,0)))=
\Psi(\Psi(\phi_0(\phi_0(\Omega+\omega))))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,3,2)=
\Psi(\Psi(\phi_0(\phi_0(\phi_0(\Omega+1)))))$
$(0,0,0)(1,1,1)(2,2,2)(3,3,2)(4,4,0)=
\Psi(\Psi(\phi_1(\Omega+1)))))
$

Bashicu also revised his BMS evaluation in Japanese large number wiki bit.ly/2LWLbup

koteitan boosted

after thinking more about this it seems that (0,0,0)(1,1,1)(2,2,2)(3,3,2)(2,1,0)(3,2,0) might be the PTO of Pi^1_2-CA+BI

言葉の端々に囚われずどうすれば巨大化できるかを考えた方がよい。結局自分の中の結論は大して変わってない。

@KurohaKafka たとえ充足しないモデルがあったとしても、他にひとつでも充足するモデルがあったら許す、としただけだと思います。

@KurohaKafka 証明可能ベース<モデル充足ベース<否定の証明不可能ベース なのでむしろさらに強い、とここで仰っていました bit.ly/2GPXwh2