族客云人人论坛

【主楼】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稳定… 下一篇，我们会用一个简单得多的记号去打败稳定
作者楼主：Ancient | 发表时间：2026-07-18 12:50:36 | ID：6a5b061cb36a1

查看作者（楼主）：Ancient

评论（盖楼）

提交

暂无评论哦，快来抢楼吧
精彩继续:

族客广告提供服务:广告招商：超低价广告>>了解