
列(落后的定义)及计算器 f(x)>x,有f(x)必然有f(f(x)),f(f(f(x)))…… 所谓不动点,即f(x)=x, 将阿列夫数代入不动点,我们可得阿列夫不动点(w_a=a)。 这其中包含阿列夫第一个不动点,阿列夫第二个不动点…… 阿列夫第一个不动点>一切阿列夫数。 …… 阿列夫个数不动点: 定义关系式g(x)=阿列夫第x+1个不动点。 g(x)=x即为阿列夫个数不动点。 阿列夫第一个个数不动点>一切阿列夫不动点。 …… 阿列夫层数不动点: 定义关系式:g(x)=阿列夫第x+1个个数不动点。 ...