连续统的基数不是阿列夫一。
阿基里斯回忆着之前那张纸上列举着超图灵机力量条理的图灵度层级,心情疑惑地问道:
“可是,之前在那张图表上,你不是在无限时间图灵机的下方划了一条线,而且写下了实数连续统吗?”
在那张图灵度层级的图表上,所有的超图灵机都属于可数无限的条理,唯有最末尾的实数连续统是不行数无限。
这样看来,康托尔的连续统假设在这个世界里应该是建设的。...
连续统的基数不是阿列夫一。
阿基里斯回忆着之前那张纸上列举着超图灵机力量条理的图灵度层级,心情疑惑地问道:
“可是,之前在那张图表上,你不是在无限时间图灵机的下方划了一条线,而且写下了实数连续统吗?”
在那张图灵度层级的图表上,所有的超图灵机都属于可数无限的条理,唯有最末尾的实数连续统是不行数无限。
这样看来,康托尔的连续统假设在这个世界里应该是建设的。...