计算进化史 在线电子书 图书标签: 数学  科普  计算机  计算机科学  计算  历史  数学文化  计算机/互联网   

喜欢 计算进化史 在线电子书 的读者还喜欢

• 
  论可计算数 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  迷茫的旅行商 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数学万花筒2（修订版） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  不可思议的数 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  最佳可能的世界 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Nine Algorithms That Changed the Future 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  计算机：一部历史 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  普林斯顿数学指南（第二卷） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  图灵的大教堂 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  编程匠艺 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

读着费劲，总感觉文笔差

关于数学家研究数学本质的故事。发现我对数学科普的兴趣一直在“哇塞看起来好流弊好想了解”和“我靠这是什么鬼”之间不断循环……

主要想讨论的是计算对证明的重要性。对“证明”这一概念的梳理比较清楚，尤其谓词逻辑和判定性问题的章节，提纲挈领，对理解语言哲学也有帮助。

既然是Gilles Dowek写的还是要仔细读一下的；下次别人问我干啥的又多了一本可以推荐看的读物；

后半段还是感觉晦涩了些，不太能跟上思路，并不像通常读科普的感觉，更接近语言学逻辑学的思辨。当然讨论数学本质不可避免要从这样的角度才能深入。

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...

第二遍读完。 作者在20世纪90年代末，与合作者定义了谓词逻辑的一种扩展 ，演绎模理论:证明是由公理，演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结，或许，公理最终会被计算终结? 尾声中留下6个问题，应该再加一个，计算的回归会对数学教育产生什么样的...