逻辑的引擎

好垃圾，难道逻辑就是这么无聊吗？作者一直自嗨，真无趣。书印的也垃圾，引用的页数都要比原文厚了

讲弗雷格、希尔伯特与哥德尔三人的部分个人最感兴趣。早先阅读过弗雷格的某部著作，但当时吸收不深。按照哥德尔的思路，似乎可以将某个公理体系作为一个整体，对公理体系的“序列”也可以不断逼近极限。“无限”究竟是否能够达到一个“完成”的状态而能够拿来直接使用？事实上，分析领域的许多内容正是围绕“极限”作文章。逻辑、符号演算、语言哲学这些内容是个人之前（刻意）较少接触的，其实也很难在一部小书中充分领略。后半部分叙述图灵、冯诺依曼、通用计算机等内容，个人就没那么感兴趣，而关于计算机历史以及代表人物，有很多更好的科普书籍。谈到冯诺依曼“虚荣”的性格，似乎也并不那么令人惊讶。另外，我觉得此系列新版的包装并不如原来的好。

「除了圖靈，他們之中沒有一個人意識到自己的工作可以被如此應用。」

硬件通用化，软件亦作为数据进行逻辑操作。

今天的情况更是如此,那些为科学家们提供生活和工作所必需的资源的人竭力要把他们引向那些被认为能够尽快出结果的方向，这不仅在短期内可能是徒劳的,而且更重要的是,如果只重眼前利益,而轻视那些不会带来直接回报的研究,那么最终遭殃的还是我们的未来。

现代计算机的基础——逻辑数学发展过程中的人物介绍。这些人沉浸在作为人类最有优势的器官——大脑运作所产生的快乐中。

《逻辑的引擎》这本小书正文才200来页，讲了莱布尼茨，布尔，弗雷格，康托尔，希尔伯特，哥德尔，图灵，冯诺依曼，仙农，巴贝奇，ADA……较真起来，牵涉的知识点怕是20000页都装不下。所以这本书只能算小品，串一下知识点，用来补课。港真，做为一个没学过数论的理科学渣，读到第七章的图灵才觉得开始有点面熟……[恐惧] 总而言之，计算机乃至一切的源头都是数学和逻辑，甚至是哲学，亚里士多德和笛卡尔什么的还是祖宗…… 讽刺的是，这么多逻辑巨神百千年肝出来的成果，现在被一堆完全不懂逻辑的键盘侠，用来瞎逼逼[旺柴]

严格来说，这是一部科技史科普读物，或更确切说，数理逻辑史读物。所以任何想要在这本书中看到对数理逻辑详细介绍或哥德尔不完备定理严格证明的人都会有所失望，且收获甚微。

计算机思想史

3年前读了《逻辑学导论》，一直对亚里士多德的古典逻辑念念不忘，但对书中后半部分布尔的符号逻辑一知半解，当时不明白为什么用语言表达的逻辑形式要高度抽象变成简单的符号。读了这本《逻辑的引擎》终于了解一些了，这是因为集合论的发展已无法用语言充分表达，且哥德尔不完备性定理的研究也是基于集合论，这有涉及无限的问题，因此只有可能用抽象的符号表达以上概念，这本书在符号论证的部分我没有完全看懂，所以我以上的总结也欢迎批判。2年前看过一本《编码》大概讲的就是计算机发展的技术历程，对我这种门外汉无外乎看天书，但这本在逻辑思维角度讲述计算机发展历程的书就非常友好了，这本书我读的并不是很仔细，但是对于计算机的逻辑语言系统有了比较清晰的认识，另外关于人工智能的论证我是很认同的，即不太可能有这种程序。