简介 · · · · · ·
本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。
本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。... (展开全部)
本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一——逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。... (展开全部)
作者简介 · · · · · ·
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
喜欢读"逻辑的引擎"的人也喜欢 · · · · · ·
"逻辑的引擎"论坛 · · · · · ·
我来评论这本书豆瓣成员最受欢迎的书评 (11条) · · · · · ·
自动计算机器的逻辑本质
-
- fats(小樓一夜聽春雨) 推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计算概念包含的数学问题。 翻译：不错，说...... (6回应)
2006-08-23 13/13人推荐
什么样的书是好书 —— 关于《逻辑的引擎》
-
- 麦子塔(行走，行走。关于爱。) 这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪里来”，但遗憾的是对“到哪里去”讲的不多，毕竟这是一本关于逻辑学......
2009-06-01 1/1人推荐
希望了解计算机的人必读
-
- 太阳是黑色的 “我们常常从工程的角度去理解计算机，却没有机会去了解工程背后的逻辑学家和他们的理论。” 看了这本书之后真的还是受益非浅。从莱布尼兹到冯诺依曼，几代人对计算、对逻辑苦苦的追寻和贡献。 这本书有几个没想到: 1. 生动，平实。很多数学原理讲解地非常浅显易懂。 2. 不仅仅讲解数学原理，更提供了大量人物的...... (3回应)
2007-06-02 3/3人推荐
一流數學家的一流數理邏輯史
-
- 无欲 作者是數學大牛。數理邏輯是其本人的研究方向之一。大牛自然是撰寫自己熟悉領域的史書最有資格的人。 作者的文筆也不錯，不像某些大牛，專業領域很猛，寫起書來狗P不通。 但作者確實有意無意地迴避了一個問題：遞歸論的可計算性，其實就連簡單的微積分都無法處理。......
2008-09-17
早点读就好了
-
- lookingyang 学数理逻辑，还有上谢冰高级逻辑课的时候，基本上是以一种平行的眼光去看待，虽然很多有趣的地方，但大多的是枯燥与不理解。 而今发现将这些理论的珠子往历史的的链子上一串，一下就变成了闪亮的项链，诱人去把玩和回味。 然后发现一件恼人的事，我的离散数学那本书，居然没有搬到新家，去哪了呢... PS:偶喜欢神奇的莱布尼兹，不...... (2回应)
2008-11-05
以下豆列推荐 · · · · · · (全部)
- 第一推动丛书 (RMR)
- 我的书目-自然科学部分 (忆未名)
- 逻辑与分析哲学（科学哲学、语言哲学、心灵哲学、逻辑哲学）学习书目 (就是爱吃肉)
- 科普经典 (guohang)
- 数学天才 (Fairy.Q)
谁读这本书?
