热门评论最新评论
只看此版本的评论
自动计算机器的逻辑本质
-
- fats(小樓一夜聽春雨) 推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计算概念包含的数学问题。 翻译：不错，说...... (8回应)2006-08-23 21/21有用
理一下各位大仙们贡献
-
- 矩阵(Indie is Anarchy) 每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可以用一种人造的语言来表示逻辑推理。 ...... (2回应)2011-04-26 8/8有用
什么样的书是好书 —— 关于《逻辑的引擎》
-
- metaphy(青年人，应该做怎样的青年人) 这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪里来”，但遗憾的是对“到哪里去”讲的不多，毕竟这是一本关于逻辑学...... (2回应)2009-06-01 7/7有用
计算机的数理逻辑基础
-
- 红の豚 这本书的主要内容就是介绍数学中的一些最基本的思想是如何一步步发展成为计算机的理论基础的。 作者本人是学数学出身的，后来从计算机诞生之时起就从事相关工作，作为一个专业人员来解释相关的内容，确实是游刃有余。 作者从数学专业本身出发解释一些用于计算机的数理逻辑的问题，既不太过专业、也不太浅显，使读者对相关问题能保持足够的...... (1回应)2011-06-01 1/2有用
值得阅读和深思的著作
-
- marego 俺最喜欢结尾的这句话： The Dukes of Hanover thought they knew what Leibniz should be doing with his time: working on their family history. Too often today, those who ......2008-07-21 1/1有用
一本真诚感人深刻的书
-
- 若水龙吟 很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本质问题的人来说基本可以列为必读书籍，它极大震撼了我的心灵和头...... (2回应)2010-11-22 2/2有用
希望了解计算机的人必读
-
- 太阳是黑色的(太阳，恩，是黑色的。) “我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不仅仅讲解数学原理，更提供了大量人物的...... (3回应)2007-06-02 3/3有用
是本好书
-
- llq 是本好书。对计算机的历史从数学的角度作了精辟的解说。但是我读的是中文版。不知道谁有英文版的电子书，希望能给我一本。不盛感谢。......2007-11-25 1/1有用来自 W. W. Norton & Company2001版
生活在别人的伟大梦想里真是很幸福
-
- kraft(stay hungry, stay foolish) 我也要努力实现我的梦想，加油啊。莱布尼兹，布尔，希尔伯特，哥德尔他们的人格魅力深深打动了我，做人做到这个样子才不枉一生啊。牛人们梦想未来的人们不要做计算器，而是来理解世界。下一本开始看GEB了，司马贺的 人工科学面面观 看到一半有点吃力 需要继续努力。......2011-04-07
早点读就好了
-
- lookingyang 学数理逻辑，还有上谢冰高级逻辑课的时候，基本上是以一种平行的眼光去看待，虽然很多有趣的地方，但大多的是枯燥与不理解。 而今发现将这些理论的珠子往历史的的链子上一串，一下就变成了闪亮的项链，诱人去把玩和回味。 然后发现一件恼人的事，我的离散数学那本书，居然没有搬到新家，去哪了呢... PS:偶喜欢神奇的莱布尼兹，不...... (2回应)2008-11-05
计算机------数学大道上顺便摘得的果实
-
- wellwolf(给时光以生命，效率神马的去死吧) 计算机作为人类历史上最伟大的发明之一，我们一直称之为科技的进步，但是这本书告诉我们，这不过是数学家们在追求终极真理的道路上顺便摘得的果实而已。 计算机不仅仅是一大堆二极管三极管，更重要的是二极管和三极管怎么能构成这么一个神奇的东西，谁说可以有这样一个神奇的东西？机器怎么才能“想”？“想”是什么？逻辑是什么？ 本书展......2010-04-21
一流數學家的一流數理邏輯史
-
![[已註銷]](http://img3.douban.com/icon/u1059223-1.jpg)
- [已註銷] 作者是數學大牛。數理邏輯是其本人的研究方向之一。大牛自然是撰寫自己熟悉領域的史書最有資格的人。 作者的文筆也不錯，不像某些大牛，專業領域很猛，寫起書來狗P不通。 但作者確實有意無意地迴避了一個問題：遞歸論的可計算性，其實就連簡單的微積分都無法處理。......2008-09-17
![[已注销]](http://img3.douban.com/icon/u2693599-4.jpg){kind=icon}
按评分查看书评 · · · · · ·
> 逻辑的引擎
用你的鼠标投票 · · · · · ·
如果你觉得一篇评论对你有帮助，请你点击“有用”。你的投票直接决定哪些评论出现在豆瓣首页和“豆瓣最受欢迎的评论”里，以及在书、电影和音乐介绍页里评论的排序。
所有“没用”的点击都是匿名的。
所有“没用”的点击都是匿名的。
订阅逻辑的引擎的评论:
feed: rss 2.0