逻辑的引擎 在线电子书 图书标签: 逻辑  科普  计算机  数学  计算机科学  计算机史  哲学  逻辑的引擎   

喜欢 逻辑的引擎 在线电子书 的读者还喜欢

• 
  通灵芯片 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔、艾舍尔、巴赫 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数学：确定性的丧失 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  证明与反驳 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  希尔伯特 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔证明 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  编码的奥秘 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数理逻辑 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  哥德尔 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  研究之美 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……

发现每本数理逻辑的科普几乎都在说相同的东西

我相信强人工智能会实现的，这本书里写的只是一个开头。

发现每本数理逻辑的科普几乎都在说相同的东西

牛虻的作者是布尔的闺女

计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东...  

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