不管是在神州歷史還是地球歷史,“圖靈機”這個概念都和“可判定性”息息相關。
關於“計算機器”的研究,其實比蒸汽時代還要早許多。在科學尚處於矇昧的時代裡,手搖式計算機器就已經誕生了。具備一定計算能力,可以執行四則運算的差分機——以蒸汽驅動的運算之“腦”,也不是什麼太新鮮的新聞。
但是,只有“圖靈機”這個結構是劃時代的。
“圖靈機”本質上一種抽象計算模型,其更抽象的意義為一種數學邏輯機,可以看作等價於任何有限邏輯數學過程的終極強大的邏輯機器。而它最初的思路,是以機器模擬人的紙筆運算。馮諾依曼架構是它的工程化實現,將之化為了人們更為熟知的“計算機”。
而它誕生的直接原因,則是“完備性”“相容性”“可判定性”三大問題之中的後兩條。
它是用來判斷“是否任何問題都能在有限步驟之內完成判斷”的抽象模型。
實際上,幾乎所有已知的法術,都屬於“在有限步驟之內完成的行動”。
哪怕是“自成迴圈,生生不息”,那也是有限行動的無限迴圈,而非是“無限步驟的行動”。
如果將“法術”相關的行動、經驗替換成一種“邏輯”,那麼已知的所有神通,幾乎都可以看做是“可以被圖靈計算”的東西了。
但是,不可圖靈計算的神通,同樣是存在的。
比如說,過去未來歸於一身的特有能力。
Loading...
未載入完,嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。
嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏!
移動流量偶爾打不開,可以切換電信、聯通、Wifi。
收藏網址:www.peakbooks.cc
(>人<;)