第417章 封閉類時，超計算

　　黑洞分寒只是讓傳幾份超計算模型、圖靈-丘奇論題相關(guān)的論文而已，怎么又惹得福地分寒那般失態(tài)，大腿都拍腫了？

　　先說說什么叫超計算模型。

　　計算機理論的基礎(chǔ)是可計算性理論，而可計算性理論的基石是“圖靈機”與“丘奇-圖靈論題”。

　　后者是以數(shù)學(xué)家阿隆佐·丘奇和阿蘭·圖靈命名，就仿佛熱力學(xué)第二定律一樣，有多種形式大相徑庭的表述方式。

　　比如：所有計算或算法都可以由一臺圖靈...