Googology-非递归序数第八集-[a]稳定

原作者：佩勒
于是我们到了[3]稳定
(0)[3]
(3)[3]
(0-3)[3]
(ω)[3]
λa.(a+2)-0[3]
λa.(ω-π-0)[3]
λa.(ω-π[2]-0)-0[3]
λa.(ω-π-0[2])-0[3]
ω-π[3]-0[3]
ω-π[3]-1[3]=0[4]
进入[4]稳定
(0)[5]
psd.(0)[ω]
再操作一次，得到
(0)[ω]
(0)[ω+1]
(0)[ω×2]
(0)[Ω]
(0)[(0)[2]]
a-(0)[a] fp=λa.(0[a])-1
λa.(0[a+1])-1
λa.(0[0[2]])-1
λa.(0[λb.(0[b])-1])-1
…
λa.(0[3[2]])-1
λa.(…)-1
λa.(λb.(0[b])-1)-1
至此，[a]稳定结束，但是他还没有到二级稳定，即Σ2稳定…
下一篇，我们会用一个简单得多的记号去打败稳定

暂无回复，快来抢沙发！