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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

上一章書籍頁下一章

數學心

···
加入書架
上一章
首頁 其他 數學心
上一章下一章

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

%