連續(xù)統(tǒng)的基數(shù)不是阿列夫一。
阿基里斯回憶著之前那張紙上列舉著超圖靈機(jī)力量層次的圖靈度層級，表情疑惑地問道：
“可是，之前在那張圖表上，你不是在無限時間圖靈機(jī)的下方劃了一條線，并且寫下了實(shí)數(shù)連續(xù)統(tǒng)嗎？”
在那張圖靈度層級的圖表上，所有的超圖靈機(jī)都屬于可數(shù)無限的層次，唯有最末尾的實(shí)數(shù)連續(xù)統(tǒng)是不可數(shù)無限。
這樣看來，康托爾的連續(xù)統(tǒng)假設(shè)在這個世界里應(yīng)該是成立的。...