第五百八十八章 可計(jì)算的理論（數(shù)理邏輯）

　　圖靈發(fā)明了爆炸機(jī)之后，開始陷入了深深的思考當(dāng)中。

　　圖靈在想，這就相當(dāng)于是機(jī)器對付機(jī)器，雖然有一點(diǎn)點(diǎn)人力的幫助，但是總體而言。都是由機(jī)器之間的電波相互識別的，這樣的電波有的快速的反應(yīng)能力。

　　一天在夢中，有一個(gè)機(jī)器盒子，有兩條紙帶。一條紙帶咔擦咔擦的從左往右走，另一條紙帶從右往左走。機(jī)器不停，一直發(fā)出幾個(gè)聲響。打帶機(jī)有很多臺，不僅僅是單獨(dú)的，有的是兩個(gè)打帶機(jī)的紙帶連接著兩個(gè)甚至多個(gè)機(jī)器，有的打帶機(jī)甚至是一個(gè)帶子連接著一個(gè)機(jī)器的。有很多地方的機(jī)器都通過帶子連接在一起，同時(shí)運(yùn)動(dòng)。最后前后四方無邊無際的都是這種機(jī)器，有的運(yùn)行很慢，半天一動(dòng)，有的很快一直不停。有的忽快忽慢，有的有時(shí)往左移有時(shí)往右移。這是一臺可以自己運(yùn)算的機(jī)器，機(jī)器在自己運(yùn)算的時(shí)候就是這樣的。

　　盡管只是個(gè)普通的二進(jìn)制，但是他也變成了幾個(gè)具有對話意義的過程，這是個(gè)偉大的突破。

　　圖靈在想，機(jī)器的本質(zhì)是什么？對話的本質(zhì)又是什么？他開始深入的思考這個(gè)問題。圖靈開始自己制作一個(gè)機(jī)器的模型，他需要定義一個(gè)事情。

　　先假設(shè)有一臺機(jī)器，這個(gè)機(jī)器具備計(jì)算任何一個(gè)模型的能力。在輸入口輸入問題，經(jīng)過計(jì)算后再從輸出的地方輸出想要的東西。

　　是不是任何一個(gè)東西都可以計(jì)算？計(jì)算的時(shí)候要什么元件才可以？

　　肯定使用電器，這個(gè)電器的基本運(yùn)算是什么樣子的？可以有很多種，在堆砌成大運(yùn)算的時(shí)候也有達(dá)到運(yùn)算能力越來越強(qiáng)才對。

　　這個(gè)點(diǎn)子元件就是布爾代數(shù)的原理，也是數(shù)學(xué)中的環(huán)代數(shù)，所以以后的計(jì)算機(jī)全部都是環(huán)代數(shù)。也就是數(shù)學(xué)家要研究環(huán)代數(shù)的原因。

　　結(jié)合了丘奇的理論，就可以豐富圖靈機(jī)。

　　除此以外，圖靈第一個(gè)要面對的問題就是，什么是可以計(jì)算的，什么是不可以計(jì)算的？是有能計(jì)算的才能用布爾代數(shù)去計(jì)算，不能計(jì)算的就不可以放在計(jì)算機(jī)中，必須在第一時(shí)間內(nèi)排除掉才可以。

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

　　1936年，圖靈發(fā)表了《論可計(jì)算數(shù)及其在判定問題上的應(yīng)用》，其中描述了一種理論上的機(jī)器，現(xiàn)在稱為“圖靈機(jī)”。它成為可計(jì)算性理論的重要組成部分。