圖書標籤: 邏輯  科普  計算機  數學  計算機科學  計算機史  哲學  邏輯的引擎   

喜歡 邏輯的引擎 的讀者還喜歡

• 
  通靈芯片 pdf epub mobi txt 電子書 下載
• 
  哥德爾、艾捨爾、巴赫 pdf epub mobi txt 電子書 下載
• 
  數學：確定性的喪失 pdf epub mobi txt 電子書 下載
• 
  證明與反駁 pdf epub mobi txt 電子書 下載
• 
  希爾伯特 pdf epub mobi txt 電子書 下載
• 
  哥德爾證明 pdf epub mobi txt 電子書 下載
• 
  編碼的奧秘 pdf epub mobi txt 電子書 下載
• 
  數理邏輯 pdf epub mobi txt 電子書 下載
• 
  哥德爾 pdf epub mobi txt 電子書 下載
• 
  研究之美 pdf epub mobi txt 電子書 下載

關於數理邏輯的知識我看起來還是有很大的睏難，不過不可否認，這是一本難得的講述計算本質的好書。看來，是時候深究一下GEB瞭。

幾乎是我讀過最好的計算機原理書，邏輯，數理，自動計算發展沿革，計算機背後的數學問題…完全不同於普通套路，比0和1更深入，但因為把握在一個可以把科學當故事講的作傢的手中，加上一個專業的翻譯，少有的精準而通順，道理卻能講到位。力薦。

萊布尼茲、布爾、弗雷格、康托爾、希伯特、哥德爾、圖靈。邏輯數學，形式邏輯，並通過工程學轉換為當代機器和人工智能

關於數理邏輯的知識我看起來還是有很大的睏難，不過不可否認，這是一本難得的講述計算本質的好書。看來，是時候深究一下GEB瞭。

三星半，全書八卦撕逼為主看得頭暈，但可以把人名軼事都抽離齣去，提煉齣一條人類抽象思維發展史，感觸最大的一處即是把完備定理做如下演繹：“如果指望一颱機器不犯錯誤，那麼它就不可能有智能”；此外關於各個型號的原始計算機，包括圖靈的通用機模型都介紹得太太太敷衍瞭……

是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。  

* 计算通过在一条被划分成方格的纸带上写下符号来进行。 * 执行计算的人在每一步都只注意其中一个方格中的符号。 * 她的下一步将仅仅取决于这个符号和她当前的心灵状态。 * 她的下一步是这样的：她在当前注意的方格里写下一个符号，然后把注意力转向它左边或右边的相邻方格。 ...  

用图灵在一次演讲的话可以贯穿本书的核心内容： ”我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣······人与这些机器进行交流的语言······构成了一种符号逻辑。“ 图灵通过细致的观察基本的数学运算，并将数学运算符号化为五元运...