第六百七十五章 可計算的理論（數理邏輯）

圖靈發明了爆炸機之後，開始陷入了深深的思考當中。

圖靈在想，這就相當於是機器對付機器，雖然有一點點人力的幫助，但是總體而言。都是由機器之間的電波相互識別的，這樣的電波有的快速的反應能力。

一天在夢中，有一個機器盒子，有兩條紙帶。一條紙帶咔擦咔擦的從左往右走，另一條紙帶從右往左走。機器不停，一直發出幾個聲響。打帶機有很多台，不僅僅是單獨的，有的是兩個打帶機的紙帶連接著兩個甚至多個機器，有的打帶機甚至是一個帶子連接著一個機器的。有很多地方的機器都通過帶子連接在一起，同時運動。最後前後四方無邊無際的都是這種機器，有的運行很慢，半天一動，有的很快一直不停。有的忽快忽慢，有的有時往左移有時往右移。這是一台可以自己運算的機器，機器在自己運算的時候就是這樣的。

儘管只是個普通的二進位，但是他也變成了幾個具有對話意義的過程，這是個偉大的突破。

圖靈在想，機器的本質是什麼？對話的本質又是什麼？他開始深入的思考這個問題。圖靈開始自己製作一個機器的模型，他需要定義一個事情。

先假設有一台機器，這個機器具備計算任何一個模型的能力。在輸入口輸入問題，經過計算后再從輸出的地方輸出想要的東西。

是不是任何一個東西都可以計算？計算的時候要什麼元件才可以？

肯定使用電器，這個電器的基本運算是什麼樣子的？可以有很多種，在堆砌成大運算的時候也有達到運算能力越來越強才對。

這個點子元件就是布爾代數的原理，也是數學中的環代數，所以以後的計算機全部都是環代數。也就是數學家要研究環代數的原因。

結合了丘奇的理論，就可以豐富圖靈機。

除此以外，圖靈第一個要面對的問題就是，什麼是可以計算的，什麼是不可以計算的？是有能計算的才能用布爾代數去計算，不能計算的就不可以放在計算機中，必須在第一時間內排除掉才可以。

在排除掉不能計算的問題的情況下，才能酣暢淋漓的去計算任何一個可以計算的問題。

1936年，圖靈發表了《論可計算數及其在判定問題上的應用》，其中描述了一種理論上的機器，現在稱為「圖靈機」。它成為可計算性理論的重要組成部分。