第733章追不上的乌龟

换源: 节点四 节点五 节点六 节点二

     　　连续统的基数不是阿列夫一。

阿基里斯回忆着之前那张纸上列举着超图灵机力量层次的图灵度层级，表情疑惑地问道：

“可是，之前在那张图表上，你不是在无限时间图灵机的下方划了一条线，并且写下了实数连续统吗？”

在那张图灵度层级的图表上，所有的超图灵机都属于可数无限的层次，唯有最末尾的实数连续统是不可数无限。

这样看来，康托尔的连续统假设在这个世界里应该是成立的。...