鹦鹉小說

第五百八十八章 可計算的理論數理邏輯（第1頁）

圖靈發明了爆炸機之後，開始陷入了深深的思考當中。圖靈在想，這就相當于是機器對付機器，雖然有一點點人力的幫助，但是總體而言。都是由機器之間的電波相互識别的，這樣的電波有的快速的反應能力。一天在夢中，有一個機器盒子，有兩條紙帶。一條紙帶咔擦咔擦的從左往右走，另一條紙帶從右往左走。機器不停，一直發出幾個聲響。打帶機有很多台，不僅僅是單獨的，有的是兩個打帶機的紙帶連接着兩個甚至多個機器，有的打帶機甚至是一個帶子連接着一個機器的。有很多地方的機器都通過帶子連接在一起，同時運動。最後前後四方無邊無際的都是這種機器，有的運行很慢，半天一動，有的很快一直不停。有的忽快忽慢，有的有時往左移有時往右移。這是一台可以自己運算的機器，機器在自己運算的時候就是這樣的。盡管隻是個普通的二進制，但是他也變成了幾個具有對話意義的過程，這是個偉大的突破。圖靈在想，機器的本質是什麼？對話的本質又是什麼？他開始深入的思考這個問題。圖靈開始自己制作一個機器的模型，他需要定義一個事情。先假設有一台機器，這個機器具備計算任何一個模型的能力。在輸入口輸入問題，經過計算後再從輸出的地方輸出想要的東西。是不是任何一個東西都可以計算？計算的時候要什麼元件才可以？肯定使用電器，這個電器的基本運算是什麼樣子的？可以有很多種，在堆砌成大運算的時候也有達到運算能力越來越強才對。這個點子元件就是布爾代數的原理，也是數學中的環代數，所以以後的計算機全部都是環代數。也就是數學家要研究環代數的原因。結合了丘奇的理論，就可以豐富圖靈機。除此以外，圖靈第一個要面對的問題就是，什麼是可以計算的，什麼是不可以計算的？是有能計算的才能用布爾代數去計算，不能計算的就不可以放在計算機中，必須在第一時間内排除掉才可以。在排除掉不能計算的問題的情況下，才能酣暢淋漓的去計算任何一個可以計算的問題。1936年，圖靈發表了《論可計算數及其在判定問題上的應用》，其中描述了一種理論上的機器，現在稱為“圖靈機”。它成為可計算性理論的重要組成部分。：（）數學心

請勿開啟浏覽器閱讀模式，否則将導緻章節内容缺失及無法閱讀下一章。

相鄰推薦:沒有你的日子裡我又寫了一百萬+番外  重生之庸臣+番外  情陷檢察官  惡國舅  圈寵罪妃  乞丐王妃太難養  末日來襲，零元購萬億物資躺赢  拒絕表白校花：轉身成為大亨  警告你别再當編劇！  怎麼才能包 養你！  絕代之九妹玲珑  [重生未來]外交風雲+番外  未來種植家+番外  馭獸天尊  幫主夫人的野望  娘親偷聽我心聲後，轉頭嫁初戀  穿越之偷天換日  我喜歡的作者不可能這麼無聊+番外  葉淩天  穿越送驚喜，奶娃有神力