Googology-BMS(4)-三行BMS(下)

原作者：佩勒
我们从(000 111 220)=ψ(psd.ω)=ψ(λa.(a+1)-0)开始
(000 111 220 320 410)=ψ(λa.(a+Ω)-0)
(000 111 220 320 410 200)=ψ(λa.(a×2)-0)
LSO
(000 111 220 320 410 320)=ψ(λa.(a×ω)-0)
(000 111 220 320 410 320 410 200)=ψ(λa.(a²)-0)
(000 111 220 320 410 410 200)=ψ(λa.(a^a)-0)
(000 111 220 320 411)=ψ(λa.(2 aft a)-1)
(000 111 220 320 411 211)=ψ(λa.(Ω_(a+1))-1)
(000 111 220 320 420)=ψ(λa.(ψΩ_(a+2)(Ω_(a+2)^Ω_(a+2)))-0)
(000 111 221)=ψ(λa.(Ω(a+2))-1)
(000 111 221 300)=ψ(λa.(Ω(a+ω))-0)
(000 111 221 320)=ψ(λa.(ψI(a+1)(0))-0)
(000 111 221 321)=ψ(λa.(I(a+1))-1)
(000 111 221 330)=ψ(λa.(λb.(b+1)-0)-0)
(000 111 221 331)=ψ(λa.(λb.(Ω_(b+2))-1)-1)
(000 111 221 331 440)=ψ(λa.(λb.(λc.(c+1)-0)-0)-0)
(000 111 222)=ψ(ω-π-0)
LRO
由于稳定在LRO后过于难学，所以后续转为投影
(000 111 222)=ψ(ψa(a_ω))
(000 111 222 222)=ψ(ψa(a_ω×2))
(000 111 222 310 200)=ψ(ψa(a_ω×a))
(000 111 222 320 222)=ψ(ψa(a_ω²))
(000 111 222 321 222)=ψ(ψa(Ω_(a_ω+1)+a_ω))
(000 111 222 321 430)=ψ(ψa(a_(ω+1)))
(000 111 222 322)=ψ(ψa(a_(ω²)))
(000 111 222 322 422)=ψ(ψa(ψb(a_(b+1)²×ω)))
方括号稳定极限，Σ2稳定的起点，看来投影还是太超标了
(000 111 222 331)=ψ(ψa(ψb(Ω_(a_(b+1)+1)×ω)))
(000 111 222 331 400)=ψ(ψa(ψb(Ω_(a_(b+1)+ω))))
(000 111 222 332)=ψ(ψa(ψb(a_(b+2)×ω)))
(000 111 222 332 440)=ψ(ψa(ψb(ε(a_(b_2+1)+1))))
(000 111 222 333)=ψ(ψa(ψb(b_ω)))
(000 111 222 333 443 550)=ψ(ψa(ψb(ψc(ε(b_(c_2+1)+1)))))
(000 111 222 333 444)=ψ(ψa(ψb(ψc(c_ω))))
(0000 1111)=ψ(ω-proj)=ψ(a(ω;0))=TSSO

暂无回复，快来抢沙发！