1我对于可数序数的某些认知。
关于φ(2,0)=ζ0和φ(1,0)=e0的一些想法。
刚开始接触到ζ_0的时候,看到他的定义,我寻思就这,就这么拉胯?现在回想起来仔细一想,居然觉得恐怖如斯。
w↑↑w=e0,这是第一个可数序数不动点,一切w的运算都无法突破e0。
e0↑↑e0=e1,这是第二个可数序数不动点,一切e0的运算都无法突破e1。
后面一切如此类推。
类推w次,是ew,是第w个可数序数不动点。
类推e0次,是e_e0,是第e0个可数序数不动点,也可以说成是第“第一个可数序数不动点”个不动点。
类推e_e0次,是e_e_e0,是第e_e0个可数序数不动点可以说成是“第“第一个可数序数不动点”个可数序数不动点”个可数序数不动点。
后续如此类推,可有e_e_e_e0、e_e_e_e_e0、……等等等等,这被叫做“e序数”。
ζ0是“可数序数不动点的不动点”,也就是e序数的不动点。
e0从最小、最简定义上来说,就是战力圈里的“指数塔级”,但e0远不止指数塔,毕竟指数塔仅仅只是w↑↑w,而e0作为不动点,无论是w↑↑w,还是w↑↑↑w、w↑↑↑↑w、……,亦或是w→w→w、w→w→w→w、……之类的,更甚至是嵌套各种大数函数(或者数阵),例如tree(w)、scg(w)、rayo(w)、bb(w)、……,它也还是e0,而非e1或者其他什么,不动点就是如此,无论w如何运算,它都稳稳当当的凌驾在w的头上,作为不可突破的e0存在。
而w↑↑w有多大?
w+1,w+2,w+3,w+4,……
2w,2w+1,2w+2,2w+3,……
3w,3w+1,3w+2,3w+3,……
4w,4w+n,5w,5w+n,……,nw,……
w2,w2+1,w2+2,w2+3,……
w2+w,w2+w+n,w2+2w,w2+2w+n,w2+3w……
w2+nw,2w2,2w2+n,……2w2+nw,3w2,……
nw2,w3,w3+n,w3+kw+b,w3+aw3+bw+c,……aw3,……w4,……,w5……,wn,a1wn+a2w(n-1)+a3w(n-2)+……+an+1,……ww,……ww+n,……ww+w,ww+nw,ww+w2,ww+w3,ww+wn,2ww,……,nww,w(w+1),w(w+1)+wn,w(w+1)+ww,2w(w+1),w(w+2),w(w+3),w(w+n),……w2w,w(2w+1),w(2w+n),w3w,……wkw,……w(kw+b),……ww2,……w(w2+c),……w(w2+w),w(w2+bw+c),w(aw2+bw+c),……ww3,……,w(aw3+bw2+cw+d),ww4,……ww5,……
w(a1wn+a2w(n-1)+a3w(n-2)+……+an+1),……,w3,wwα(α是w的多项式),w4,……,wn,最后才抵达ww。