第471章 21.新hydra·续

这个hydra,我称它为“二阶段droppinghydra”(可以理解为新hydra的第二阶段,ps:这个第二阶段不等于上面定义的那个计算器里的φ(2)!它仍然属于φ(1)的范围!)。所谓dropping,指的是“对于一个括号表达式,向外找最近的包裹它的小于它的括号表达式”这样一个过程。从黑色姐姐开始,经过2个这样的dropping过程,这就是二阶段droppinghydra。

第一阶段,仅仅是“找到最近白色祖先”,这一阶段没有添层规则参与。

第二阶段,就要用到添层规则了。

既然有“二阶段droppinghydra”,那么“一阶段droppinghydra”又是什么呢?

在一阶段droppinghydra中,除了根姐姐以外,有0型姐姐、1型姐姐。0型姐姐的归约规则跟“二阶段droppinghydra”中白色姐姐的归约规则相同;1型姐姐的归约规则跟“二阶段droppinghydra”中黑色姐姐的归约规则有一点类似的地方。只不过,1型姐姐所做的dropping只有1次,而且不用添层规则。

但是,如果谈论到对应的序数,那么“二阶段droppinghydra”中的黑色姐姐之于白色姐姐是非常高阶的东西,远高于“一阶段droppinghydra”中的1型姐姐之于0型姐姐。

一般而言,在“二阶段droppinghydra”中,黑色姐姐第一次dropping后所得的白色姐姐,可能对应。

1、α+1型姐姐,其中第二次dropping所找到的姐姐是α型姐姐,这是第二次dropping没有用到添层规则的情况。

2、比第二次dropping所找到的姐姐高阶得多的姐姐,这是第二次dropping用到了添层规则的情况。

现在考虑一些姐姐的“型”:

是w型姐姐

][])是w+1型姐姐

][][])是w+2型姐姐

][是w·2型姐姐

是w2型姐姐

)])是ww型姐姐

))])是www型姐姐

)])是e_0型姐姐

))])是w型姐姐

))])是ww型姐姐

)])是e_1型姐姐

))])是e_w型姐姐

)))])是e_型姐姐

)))))])是e_)型姐姐

))])是φ_2型姐姐

))])是e_+1)型姐姐

)))))])是e_·2)型姐姐

)))])是φ_2型姐姐

)])是φ_2型姐姐

))])是φ_3型姐姐

)))])是φ_w型姐姐

))))])是φ_{e_0}型姐姐

)))])是Γ_0型姐姐

)))])是e_型姐姐

)))))])是φ_w型姐姐

))))))))])是φ_{Γ_0}型姐姐

))))))))])是φ_{Γ_0+1}型姐姐

))))))))))))])是φ_{Γ_0·2}型姐姐

)))))])是Γ_1型姐姐

))])是Γ_w型姐姐

)))])是φ型姐姐

)))))])是φ型姐姐

)))])是φ型姐姐

))))])是φ型姐姐

))))])是φ型姐姐

))])是φ型姐姐

)))])是φ型姐姐

)))))])是φ型姐姐

))])是φ型姐姐

)))])是φ型姐姐