豆瓣
扫码直接下载
牛虻的作者是布尔的闺女
几乎是我读过最好的计算机原理书，逻辑，数理，自动计算发展沿革，计算机背后的数学问题…完全不同于普通套路，比0和1更深入，但因为把握在一个可以把科学当故事讲的作家的手中，加上一个专业的翻译，少有的精准而通顺，道理却能讲到位。力荐。
这其实是一本八卦书吧。
虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能
怀着很大的期望看的这本书，然而没有提供更多的东西，比我所知道的。除了更多的大牛们的奇闻轶事，如果真想学习相关内容，推荐看《计算理论导引》
尼玛原来哥德尔有个机油也叫Karl Menger....
感觉就是一本介绍各位先哲的八卦的书。
读过后第一次把多年攒下的碎片连缀在一起，此刻回头去看，才明白当初以为正确的方向即使不算是偏离，也是在绕远。许多线索明明已在手边，却由于缺乏更宏观的视野，越不过那最后一层薄薄的阻碍，曾经最看重的观念带来激励的同时，也造成了最大的局限。其实关于身心问题的答案并不在哲学之中，更不在心理学之中，维也纳小组之后如果能明白哥德尔的真正意义，也许也就能明白逻辑学如何与工程结合，不至在概念的海洋里迷失。现在再读到，是否算是一切平息后对孤独的报偿？可是还是晚了。
发现每本数理逻辑的科普几乎都在说相同的东西
三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……
令人目眩的激情、幽默。有梦的人有福了。
关于数理逻辑的知识我看起来还是有很大的困难，不过不可否认，这是一本难得的讲述计算本质的好书。看来，是时候深究一下GEB了。
从数学与逻辑的角度讲述计算机的发展史。 我们只知道电子管、晶体管、集成电路，却不知道计算机背后的思想。莱布尼茨、布尔、希尔伯特、哥德尔、图灵、冯诺依曼。。。那些伟大的名字不应该被忘记。
"一个形式系统的一致性并不能保证系统内被证明了的命题的正确性."
没人觉得这本书的翻译甚至这个出版社的这个系列的翻译很糟糕？比如从句，似乎只会翻译成“这样一种.....即......”的形式，让人的阅读充满疲劳感。
学校买了本旧书
我相信强人工智能会实现的，这本书里写的只是一个开头。
我经常被数学家和物理学家把我的脑子搞得天翻地覆，震得我目瞪口呆。多年以后，重拾数学。补课咯……
: K816.1/4824
> 逻辑的引擎
20 有用 蓬山远 2012-05-26 19:21:50
牛虻的作者是布尔的闺女
20 有用 自娱者小五 2015-11-07 23:23:31
几乎是我读过最好的计算机原理书，逻辑，数理，自动计算发展沿革，计算机背后的数学问题…完全不同于普通套路，比0和1更深入，但因为把握在一个可以把科学当故事讲的作家的手中，加上一个专业的翻译，少有的精准而通顺，道理却能讲到位。力荐。
9 有用 戈城 2013-10-07 00:03:19
这其实是一本八卦书吧。
9 有用 程大爷 2009-04-07 05:54:06
虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
7 有用 卜平 2016-02-17 12:10:19
莱布尼兹、布尔、弗雷格、康托尔、希伯特、哥德尔、图灵。逻辑数学，形式逻辑，并通过工程学转换为当代机器和人工智能
5 有用 平凡的老鱼 2010-06-13 13:14:30
怀着很大的期望看的这本书，然而没有提供更多的东西，比我所知道的。除了更多的大牛们的奇闻轶事，如果真想学习相关内容，推荐看《计算理论导引》
1 有用 血源2出了吗？ 2012-10-03 21:34:20
尼玛原来哥德尔有个机油也叫Karl Menger....
2 有用 AlbertLee 2012-09-03 22:25:43
感觉就是一本介绍各位先哲的八卦的书。
1 有用 子文东🤪👻 2015-04-16 11:45:39
读过后第一次把多年攒下的碎片连缀在一起，此刻回头去看，才明白当初以为正确的方向即使不算是偏离，也是在绕远。许多线索明明已在手边，却由于缺乏更宏观的视野，越不过那最后一层薄薄的阻碍，曾经最看重的观念带来激励的同时，也造成了最大的局限。其实关于身心问题的答案并不在哲学之中，更不在心理学之中，维也纳小组之后如果能明白哥德尔的真正意义，也许也就能明白逻辑学如何与工程结合，不至在概念的海洋里迷失。现在再读到，是否算是一切平息后对孤独的报偿？可是还是晚了。
1 有用 毁桥 2009-12-08 13:56:26
发现每本数理逻辑的科普几乎都在说相同的东西
3 有用 SternaParadisa 2016-03-03 17:03:15
三星半，全书八卦撕逼为主看得头晕，但可以把人名轶事都抽离出去，提炼出一条人类抽象思维发展史，感触最大的一处即是把完备定理做如下演绎：“如果指望一台机器不犯错误，那么它就不可能有智能”；此外关于各个型号的原始计算机，包括图灵的通用机模型都介绍得太太太敷衍了……
1 有用 ητοςouti 2014-05-10 09:52:21
令人目眩的激情、幽默。有梦的人有福了。
1 有用 xiaohanyu 2012-02-21 08:42:17
关于数理逻辑的知识我看起来还是有很大的困难，不过不可否认，这是一本难得的讲述计算本质的好书。看来，是时候深究一下GEB了。
3 有用 空气 2009-08-13 15:27:41
从数学与逻辑的角度讲述计算机的发展史。 我们只知道电子管、晶体管、集成电路，却不知道计算机背后的思想。莱布尼茨、布尔、希尔伯特、哥德尔、图灵、冯诺依曼。。。那些伟大的名字不应该被忘记。
1 有用 Byzaboo 2013-11-05 22:06:54
"一个形式系统的一致性并不能保证系统内被证明了的命题的正确性."
2 有用 天歌 2012-05-20 22:14:56
没人觉得这本书的翻译甚至这个出版社的这个系列的翻译很糟糕？比如从句，似乎只会翻译成“这样一种.....即......”的形式，让人的阅读充满疲劳感。
1 有用 Jeff 2015-06-07 08:21:40
学校买了本旧书
1 有用 韩鹿临 2008-12-10 19:20:50
我相信强人工智能会实现的，这本书里写的只是一个开头。
1 有用 掐出新鲜 2010-06-09 17:16:57
我经常被数学家和物理学家把我的脑子搞得天翻地覆，震得我目瞪口呆。多年以后，重拾数学。补课咯……
0 有用 蝉 2013-12-24 17:11:13
: K816.1/4824