这本关于计算机起源的书生动讲述了人类探求逻辑和真理的故事。马丁·戴维斯用博学而充满人情味的语言，娓娓讲述了那些为计算机的出现奠定基础的非凡人物的故事。、这些人物以阿兰·图灵为顶峰，其通用机器现在已经主宰了世界经济。”安德鲁·霍奇斯这样评价这本书。在看了这本书后，我的感触有很多。不仅仅是陶醉于作者深入的见解和表达，更多的是他的言语，像我拉开了一个本不为我注意到的世界。
这本书作者马丁·戴维斯是纽约大学库朗数学科学研究所的名誉教授，目前在加州大学伯克利分校做访问学者。他是计算机科学发展史上的先驱人物，也是世界著名的数理逻辑学家。
这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪里来”，但遗憾的是对“到哪里去”讲的不多，毕竟这是一本关于逻辑学（数学）发展的历史的小书。全书以传记章节的形式介绍了从莱布尼茨、布尔等一直到图灵这些伟大人物的思想，然后就是对计算机发展的解释。
莱布尼茨大家肯定不会陌生，我们现在学习的莱布尼茨公式正是出自他的贡献。
还有弗雷格，他找出了一种“不用逻辑来发展逻辑的方法”，简单说，就是定义语法规则和句法规则，第一次构造出精确的形式化语言。令人印象深刻的是反写A（All,所有）反写E（Exist，存在）这种符号，就是他的创造。
到了第四章，主要讲康托尔，讲他的连续统问题，这就是个纯数学问题了。能力问题，说实话我确实看不懂。
第五、六章就来到了20世纪了，讲希尔伯特，歌德尔，也讲了罗素、冯.诺依曼等一些人，讨论了关于数学的基本问题，一致性问题、完备性问题。第六章讲了一些争论，关于数学的争论，也看不明白。
第七章就讲图灵和他的图灵机。图灵的贡献是卓越的，图灵机为冯.诺依曼计算机结构打下了基础，而后者就是我们现在普遍应用的计算机模型。很悲惨，我上学的时候老师都是从冯.诺依曼开始讲，这种承继关系现在才搞懂。更悲惨的是图灵因为他的同性恋倾向，最终死于自杀，年仅42岁。人们真的应该仔细考虑对待同性恋的态度。
第八章讲通用计算机，计算机终于从逻辑学走向工程学，从天才的大脑中走进来千家万户。
第九章讲人工智能，以及计算机的未来。未来会如何，谁也不能妄下结论，尤其是计算机这种一日千里的发展对象。最吸引人的就算人工智能这部分了，人工智能不可预知的未来，更为其增添了一份神秘感。
，更重要的是，他引导我去思考，讲出了逻辑从哪里来，但遗憾的是对到哪里去讲的不够！，在我看来此书确实为一本好书，最少它把那些神秘难懂的数学逻辑讲的很有亲和力…对一系列数学逻辑概念能非常简洁有趣的串一遍。我想本书应该说非常好的方面是把他想做的事做好了…对一本书来说，这已经够了。这就是我的感想。
理学院 工程力学1701
蔡文博 17401010125
