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

????先說說什么叫超計(jì)算模型。

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

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

????比如所有計(jì)算或算法都可以由一臺(tái)圖靈機(jī)來執(zhí)行。

????或者以任何常規(guī)編程語言編寫的計(jì)算機(jī)程序都可以翻譯成一臺(tái)圖靈機(jī)，反之任何一臺(tái)圖靈機(jī)也都可以翻譯成大部分編程語言的程序。

????又或者邏輯和數(shù)學(xué)中的有效或機(jī)械方法可由圖靈機(jī)來表示。

????大家云山霧罩，不明所以了吧？

????其實(shí)主要是概念不熟。

????像質(zhì)能方程，一切物質(zhì)都潛藏著質(zhì)量乘于光速平方的能量。大家立刻能理解，是因?yàn)閷?duì)物質(zhì)、質(zhì)量、光速、能量的概念耳熟能詳。

????而丘奇-圖靈論題涉及的概念大家一般不那么熟悉，于是字都認(rèn)識(shí)，連起來就莫名奇妙了。

????事實(shí)上，如何界定有效方法、執(zhí)行算法、有限步驟，這些也正是該論題重點(diǎn)討論的對(duì)象。

????比如第一章中曾經(jīng)出現(xiàn)的蔡廷常數(shù)，為什么叫不可計(jì)算數(shù)？

????就是因?yàn)槿粢詳?shù)字為對(duì)象的集合，可計(jì)算數(shù)便是指圖靈機(jī)通過有限的通用算法可以得到的數(shù)字，基本就是所有實(shí)數(shù)。有理數(shù)靠加減乘除，無理數(shù)靠乘方開方，超越數(shù)可以用級(jí)數(shù)……

????想知道√2或者π的第一億位是多少，寫一段程序運(yùn)行就是了。

????但不可計(jì)算數(shù)，雖然理論上是一個(gè)常數(shù)，但理論上也證明了，永遠(yuǎn)也無法求出它來。