打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

TON记号分析Part1

来自Googology Wiki

本条目展示TON记号强度分析的第一部分

分析
TON记号 BOCF
0 0
C(0,0) ψ(0)
C(0,C(0,0)) ψ(0)2
C(C(0,0),0) ψ(1)
C(0,C(C(0,0),0)) ψ(1)+ψ(0)
C(C(0,0),C(C(0,0),0)) ψ(1)2
C(C(0,C(0,0)),0) ψ(2)
C(C(C(0,0),0),0) ψ(ψ(1))
C(C(C(C(0,0),0),0),0) ψ(ψ(ψ(1)))
Ω0 ψ(Ω)
C(0,Ω0) ψ(Ω)+ψ(0)
C(C(0,0),Ω0) ψ(Ω)+ψ(1)
C(Ω0,Ω0) ψ(Ω)2
C(Ω0,C(Ω0,Ω0)) ψ(Ω)3
C(C(0,Ω0),Ω0) ψ(Ω+1)
C(C(0,C(0,Ω0)),Ω0) ψ(Ω+2)
C(C(C(0,0),Ω0),Ω0) ψ(Ω+ψ(1))
C(C(C(0,C(0,0)),Ω0),Ω0) ψ(Ω+ψ(2))
C(C(Ω0,Ω0),Ω0) ψ(Ω+ψ(Ω))
C(Ω1,Ω0) ψ(Ω2)
C(C(Ω1,Ω0),C(Ω1,Ω0)) ψ(Ω2)2
C(C(Ω1,Ω0),C(C(Ω1,Ω0),C(Ω1,Ω0))) ψ(Ω2)3
C(C(0,C(Ω1,Ω0)),C(Ω1,Ω0)) ψ(Ω2+1)
C(C(C(0,0),C(Ω1,Ω0)),C(Ω1,Ω0)) ψ(Ω2+ψ(1))
C(C(Ω0,C(Ω1,Ω0)),C(Ω1,Ω0)) ψ(Ω2+ψ(Ω))
C(C(C(Ω1,Ω0),C(Ω1,Ω0)),C(Ω1,Ω0)) ψ(Ω2+ψ(Ω2))
C(Ω1,C(Ω1,Ω0)) ψ(Ω3)
C(Ω1,C(Ω1,C(Ω1,Ω0))) ψ(Ω4)
C(C(0,Ω1),0) ψ(Ωψ(1))
C(Ω1,C(C(0,Ω1),0)) ψ(Ωψ(1)+Ω)
C(C(0,Ω1),C(C(0,Ω1),0)) ψ(Ωψ(1)2)
C(C(0,C(0,Ω1)),0) ψ(Ωψ(2))
C(C(C(0,0),Ω1),0) ψ(Ωψ(ψ(1)))
C(C(Ω0,Ω1),0) ψ(Ωψ(Ω))
C(C(0,C(Ω0,Ω1)),0) ψ(Ωψ(Ω+1))
C(C(Ω0,C(Ω0,Ω1)),0) ψ(Ωψ(Ω+ψ(Ω)))
C(C(C(0,Ω0),Ω1),0) ψ(Ωψ(Ω+ψ(Ω+1)))
C(C(C(Ω1,Ω0),Ω1),0) ψ(Ωψ(Ω2))
C(C(C(C(0,Ω1),0),Ω1),0) ψ(Ωψ(Ωψ(1)))
C(C(Ω1,Ω1),0) ψ(Ω2)
C(Ω1,C(C(Ω1,Ω1),0)) ψ(Ω2+Ω)
C(C(Ω1,Ω1),C(C(Ω1,Ω1),0)) ψ(Ω22)
C(C(0,C(Ω1,Ω1)),0) ψ(Ω2ψ(1))
C(C(Ω0,C(Ω1,Ω1)),0) ψ(Ω2ψ(Ω))
C(C(C(Ω1,Ω0),C(Ω1,Ω1)),0) ψ(Ω2ψ(Ω2))
C(C(Ω1,C(Ω1,Ω1)),0) ψ(Ω3)
C(C(C(0,Ω1),Ω1),0) ψ(Ωψ(1))
C(C(C(C(0,0),Ω1),Ω1),0) ψ(Ωψ(2))
C(C(C(Ω0,Ω1),Ω1),0) ψ(Ωψ(Ω))
C(C(C(C(0,Ω0),Ω1),Ω1),0) ψ(Ωψ(Ω+1))
C(C(C(C(Ω1,Ω0),Ω1),Ω1),0) ψ(Ωψ(Ω2))
C(C(C(C(C(Ω1,Ω1),0),Ω1),Ω1),0) ψ(Ωψ(Ω2))
C(C(C(Ω1,Ω1),Ω1),0) ψ(ΩΩ)
C(C(Ω1,C(C(Ω1,Ω1),Ω1)),0) ψ(ΩΩ+1)
C(C(C(0,Ω1),C(C(Ω1,Ω1),Ω1)),0) ψ(ΩΩ+ψ(1))
C(C(C(0,C(0,Ω1)),C(C(Ω1,Ω1),Ω1)),0) ψ(ΩΩ+ψ(2))
C(C(C(Ω0,Ω1),C(C(Ω1,Ω1),Ω1)),0) ψ(ΩΩ+ψ(Ω))
C(C(C(Ω1,Ω1),C(C(Ω1,Ω1),Ω1)),0) ψ(ΩΩ2)
C(C(Ω1,C(C(Ω1,Ω1),C(C(Ω1,Ω1),Ω1))),0) ψ(ΩΩ2+1)
C(C(C(Ω1,Ω1),C(C(Ω1,Ω1),C(C(Ω1,Ω1),Ω1))),0) ψ(ΩΩ3)
C(C(C(C(0,Ω1),Ω1),Ω1),0) ψ(ΩΩψ(1))
C(C(C(C(Ω1,Ω1),Ω1),Ω1),0) ψ(ΩΩ2)
C(C(Ω2,Ω1),0) ψ(Ω2)
以下分析待迁移,且可能有错误
C(Ω1,C(C(Ω2,Ω1),0)) ψ(Ω2+Ω)
C(C(Ω1,Ω1),C(C(Ω2,Ω1),0)) ψ(Ω2+Ω2)
C(C(Ω2,Ω1),C(C(Ω2,Ω1),0)) ψ(Ω2+ψ1(Ω2))
C(C(0,C(Ω2,Ω1)),0) ψ(Ω2+ψ1(Ω2+1))
C(C(Ω1,C(Ω2,Ω1)),0) ψ(Ω2+ψ1(Ω2+Ω))
C(C(C(Ω2,Ω1),C(Ω2,Ω1)),0) ψ(Ω2+ψ1(Ω2+ψ1(Ω2)))
C(C(Ω2,C(Ω2,Ω1)),0) ψ(Ω22)
C(C(C(0,Ω2),0),0) ψ(Ω2ψ(1))
C(C(C(0,Ω2),C(C(0,Ω2),0)),0) ψ(Ω2ψ(1)2)
C(C(C(0,C(0,Ω2)),0),0) ψ(Ω2ψ(2))
C(C(C(Ω0,Ω2),0),0) ψ(Ω2ψ(Ω))
C(C(C(Ω1,Ω2),0),0) ψ(Ω2Ω)
C(C(C(0,C(Ω1,Ω2)),0),0) ψ(Ω2Ωψ(1))
C(C(C(Ω1,C(Ω1,Ω2)),0),0) ψ(Ω2Ω2)
C(C(C(C(0,Ω1),Ω2),0),0) ψ(Ω2Ωψ(1))
C(C(C(C(Ω1,Ω1),Ω2),0),0) ψ(Ω2ΩΩ)
C(C(C(C(C(Ω2,Ω1),Ω1),Ω2),0),0) ψ(Ω2ψ1(Ω2))
C(C(C(C(C(C(0,Ω2),0),Ω1),Ω2),0),0) ψ(Ω2ψ1(Ω2ψ(1)))
C(C(C(C(Ω2,Ω1),Ω2),0),0) ψ(Ω22)
C(C(Ω2,C(C(C(Ω2,Ω1),Ω2),0)),0) ψ(Ω22+Ω2)
C(C(C(0,C(C(Ω2,Ω1),Ω2)),0),0) ψ(Ω22+Ω2ψ(1))
C(C(C(C(Ω1,Ω1),C(C(Ω2,Ω1),Ω2)),0),0) ψ(Ω22+Ω2ΩΩ)
C(C(C(C(C(Ω2,Ω1),Ω1),C(C(Ω2,Ω1),Ω2)),0),0) ψ(Ω22+Ω2ψ1(Ω2))
C(C(C(C(Ω2,Ω1),C(C(Ω2,Ω1),Ω2)),0),0) ψ(Ω222)
C(C(C(C(0,C(Ω2,Ω1)),Ω2),0),0) ψ(Ω22ψ(1))
C(C(C(C(Ω1,C(Ω2,Ω1)),Ω2),0),0) ψ(Ω22Ω)
C(C(C(C(Ω2,Ω1),C(C(Ω1,C(Ω2,Ω1)),Ω2)),0),0) ψ(Ω22Ω+Ω22)
C(C(C(C(Ω1,C(Ω2,Ω1)),C(C(Ω1,C(Ω2,Ω1)),Ω2)),0),0) ψ(Ω22Ω2)
C(C(C(C(0,C(Ω1,C(Ω2,Ω1))),Ω2),0),0) ψ(Ω22Ωψ(1))
C(C(C(C(Ω1,C(Ω1,C(Ω2,Ω1))),Ω2),0),0) ψ(Ω22Ω2)
C(C(C(C(C(0,Ω1),C(Ω2,Ω1)),Ω2),0),0) ψ(Ω22Ωψ(1))
C(C(C(C(C(Ω1,Ω1),C(Ω2,Ω1)),Ω2),0),0) ψ(Ω22ΩΩ)
C(C(C(C(C(C(Ω2,Ω1),Ω1),C(Ω2,Ω1)),Ω2),0),0) ψ(Ω22ψ1(Ω2))
C(C(C(C(C(Ω2,Ω1),C(Ω2,Ω1)),Ω2),0),0) ψ(Ω23)
C(C(C(C(C(Ω2,C(Ω2,Ω1)),C(Ω2,Ω1)),Ω2),0),0) ψ(Ω2ψ(1))

未完待续