爱看呀小说

手机浏览器扫描二维码访问

第471章 21 新hydra续（第3页）

（[（（[]（[][]）（[]（[][]））））]）是ψ_0（Ω_2+ψ_1（Ω_2+ψ_1（Ω_2）））型顶点

（[（（[]（[][]）（[]（[][]）（））））]）是ψ_0（Ω_2+ψ_1（Ω_2+ψ_1（Ω_2+1）））型顶点

（[（（[]（[][]）（[]（[][]）（[]（[][]）））））]）是ψ_0（Ω_2+ψ_1（Ω_2+ψ_1（Ω_2+ψ_1（Ω_2））））型顶点

（[（（[]（[][]）（[][]）））]）是ψ_0（Ω_2·2）型顶点

（[（（[]（[][]）（[][]））（[]（[][]）（[][]）））]）是ψ_0（Ω_2·2+ψ_1（Ω_2·2））型顶点

（[（（[]（[][]）（[][]）（[][]）））]）是ψ_0（Ω_2·3）型顶点

（[（（[]（[][]（））））]）是ψ_0（Ω_2·ω）型顶点

（[（（[]（[][]（[]））））]）是ψ_0（Ω_2·Ω_1）型顶点

（[（（[]（[][]（[][]））））]）是ψ_0（Ω_2^2）型顶点

（[（（[]（[][]（[][]（[][]）））））]）是ψ_0（Ω_2^Ω_2）型顶点

（[（（[]（[][]（[][][]））））]）、（[（（[][]（[][][]）））]）、（[（（[]（[][][]）））]）、（[（（[][][]））]）是ψ_0（Ω_3）型顶点

（[（（[][][][]））]）是ψ_0（Ω_4）型顶点

（[（（[（）]））]）是ψ_0（Ω_ω）型顶点

一般而言，如果组成A的括号表达式、组成A的括号表达式的子括号表达式都是白色顶点，那么（[A]）是型顶点，这里就直接用hydra与序数的对应了。

比如，（[（（[（）]））]）是型顶点，继续：

（[（（[（（[]））]））]）是型顶点

（[（（[（（[（（[]））]））]））]）是型顶点

……

这个序列的极限就无法用普通的多少型顶点来表示了，因为接下来，（[（[]）]）的“型”相当于（[]），要超过所有“在本记号中定义到的常规的递归序数”。

“在本记号中定义到的常规的递归序数”都可以用某个0型顶点内部增加α型顶点来表示。而（[]）就不是“在本记号中定义到的常规的递归序数”。

但我们还是可以说，

（[（[]）]）是（[]）型顶点，

这里跟用（|）表示的那个hydra里面出现的概念是一样的。

（（（|）|）|）的“型”超过所有“在本记号中定义到的常规的递归序数”，

但还是可以说，（（（|）|）|）是（（|）|）型顶点。

（[（[]）]）或者（（（|）|）|）附近的hydra的类型是非常神奇的。

比如[n]

=[n+1]

假想一下，它再经过大量的归约，可以得到

等hydra。

这些hydra里面有一些类型非常高却仍是“在本记号中定义到的常规的递归序数”的顶点。

比如（[（（[（[]）]））]）是型顶点

（[（（[（[]）]）（[（（[（[]）]））]））]）是型顶点

（[（（[（[]）]）（[（（[（[]）]）（[（（[（[]）]））]））]））]）是型顶点

这些类型是可以超过的，甚至可以超过、、等等。

类型（[（[[]]）]）+1的顶点，是（[（[[]]）][]）。在这附近，又会出现一种前所未见的现象。

[n]

他把星星摘给我  最牛玉帝系统  魔武机神  魔王你老婆又重生了  哈利波特之Hello黑魔王  诸天之从吊打五绝开始  鸿蒙教皇  快穿之超凶萌宠  你好，我的上官先生  宙灵世界  斗罗之真君显圣  灵物进化商  我觉醒了高达独角兽  尸唐：开局救了长乐公主  兵王之极品老板娘  龙珠开局：拐走传超布罗利  人在盗笔，我妹妹惹不起  五域九天  都市超级闲汉  大唐西游之最强网吧