1.我对于可数序数的某些认知。
关于φ(2,0)=ζ0和φ(1,0)=ε0的一些想法。
刚开始接触到ζ_0的时候,看到他的定义,我寻思就这,就这么拉胯?现在回想起来仔细一想,居然觉得恐怖如斯。
ω↑↑ω=ε0,这是第一个可数序数不动点,一切ω的运算都无法突破ε0。
ε0↑↑ε0=ε1,这是第二个可数序数不动点,一切ε0的运算都无法突破ε1。
后面一切如此类推。
类推ω次,是εω,是第ω个可数序数不动点。
类推ε0次,是ε_ε0,是第ε0个可数序数不动点,也可以说成是第“第一个可数序数不动点”个不动点。
类推ε_ε0次,是ε_ε_ε0,是第ε_ε0个可数序数不动点可以说成是“第“第一个可数序数不动点”个可数序数不动点”个可数序数不动点。
后续如此类推,可有ε_ε_ε_ε0、ε_ε_ε_ε_ε0、……等等等等,这被叫做“ε序数”。
ζ0是“可数序数不动点的不动点”,也就是ε序数的不动点。
ε0从最小、最简定义上来说,就是战力圈里的“指数塔级”,但ε0远不止指数塔,毕竟指数塔仅仅只是ω↑↑ω,而ε0作为不动点,无论是↑↑↑ω、ω↑↑↑↑ω、……,亦或是→ω→ω、……之类的,更甚至是嵌套各种大数函数(或者数阵),例如TREE(ω)、SCG(ω)、Rayo(ω)、BB(ω)、……,它也还是ε0,而非ε1或者其他什么,不动点就是如此,无论ω如何运算,它都稳稳当当的凌驾在ω的头上,作为不可突破的ε0存在。
而ω↑↑ω有多大?
+3,ω+4,……
2ω,2ω+1,2ω+2,2ω+3,……
3ω,3ω+1,3ω+2,3ω+3,……
4ω,4ω+n,5ω,5ω+n,……,nω,……
ω^2,ω^2+1,ω^2+2,ω^2+3,……
^2+ω+n,ω^2+2ω,ω^2+2ω+n,ω^2+3ω……
ω^2+nω,2ω^2,2ω^2+n,……2ω^2+nω,3ω^2,……
n^3+n,ω^3+kω+b,ω^3+aω^3+bω+c,……aω^3,……ω^4,……,ω^5……,ω^n,a1ω^n+a2ω^(n-1
(本章节未完结,点击下一页翻页继续阅读)