具体描述
本书介绍了现代计算机背后的那些基本概念和发展这些概念的人，描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。2007年第二版亦使用同一ISBN。
作者简介
马丁·戴维斯是计算机科学发展史上的先驱人物，其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授，目前在加州大学伯克利分校做访问学者。
目录信息
第一章莱布尼茨之梦
第二章布尔把逻辑变成代数
第三章弗雷格：从突破到绝望
第四章康托尔：在无限中摸索
第五章希尔伯特的营救
第六章哥德尔使计划落空
第七章图灵构想通用计算机
第八章研制第一批通用计算机
第九章超越莱布尼茨之梦
尾声
注释
参考书目
索引
译后记
· · · · · · (收起)
读后感
前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...
俺最喜欢结尾的这句话： 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 provide scientists with the resources for their lives and work try to steer them in direc...
每一章内各小节的组织比较乱，八卦夹杂在一起容易忘掉这人到底干了些什么。理了下我对他们贡献的理解。 1.莱布尼兹大神最早提出一个想法，我们的宇宙可以由一种符号推理演算来表示。 2.乔治·布尔把逻辑学纳入了数学的范畴，即布尔代数。 3.弗雷格发行了形式句法，使后人可...
前不久看了刘文哲先生所著《棋道凌空》一书。刘老先生坚持认为，卡斯帕罗夫被深蓝击败是个阴谋，其实他是收了IBM的钱故意放水的。 且不说卡斯帕罗夫会不会为了几个小钱败坏自己的名誉，也不说已经是业界巨头的IBM怎么还会需要靠炒作来提升名气，我只说刘老的观点：...
很美很感人的科普著作，对于计算机科学中基本概念发展史上重要数学家数理逻辑学家的温情脉脉的描述呈现出真正富有智慧的人面对无尽的自然界奥秘时的注定的悲哀。在某本书里看到的，“真正的智慧，从觉醒之日起，就包含着绝望的悲哀。” 本书对于希望从数理科学角度思考逻辑学本...
用户评价
读这本书的过程，对我来说，更像是一场精神上的洗礼。我一直以为，逻辑是枯燥乏味的，是冰冷而机械的。但这本书彻底颠覆了我的认知。作者以一种充满激情和启发性的笔触，将逻辑的魅力展现得淋漓尽致。它不是那些板着面孔讲道理的教科书，而是充满了生命力的智慧之光。我会被书中某个观点深深打动，甚至会因为作者的洞察力而感到由衷的赞叹。它让我意识到，逻辑并非只是纯粹的推理，它更是一种对事物本质的探索，一种对真理的追求。我开始发现，生活中的很多现象，都可以用逻辑的视角去解读，去理解。这本书让我拥有了一双更锐利的眼睛，能够穿透表象，看到事物的内在联系。它不仅提升了我的理性思维能力，更在某种程度上，丰富了我的精神世界。我常常在阅读后，感到一种充实和满足，仿佛我的大脑被重新激活了一样。这种阅读体验，是其他任何书籍都无法给予的，它让我对知识本身，对思考本身，有了全新的认识和敬畏。
这本书的装帧设计就足够吸引我了，那种沉稳又富有质感的封面，触感温润，仿佛握住的是某种沉淀了许久的智慧。拿到书的第一感觉，就是它不像市面上那些光鲜亮丽却内容空洞的书籍，它传递出一种更深沉、更具思考性的气息。我迫不及待地翻开，想要探究它究竟隐藏着怎样的奥秘。书中的文字，我至今仍记得，是那种能够瞬间抓住人心的力量。它们不是华丽辞藻的堆砌，而是精准、有力地直击要害，每一句话都像是精心打磨的宝石，闪烁着理性的光芒。我常常在阅读过程中，因为某个观点而停下脚步，反复咀嚼，甚至会陷入长久的沉思，试图将作者的思路与自己原有的认知进行碰撞和融合。这种阅读体验，远比简单的信息获取要来得深刻得多，它触动的是我大脑深处最根本的运作机制，让我开始重新审视自己思考问题的方式。有时候，我会觉得作者仿佛拥有某种通往事物本质的直觉，能够将复杂抽象的概念，以一种令人惊叹的清晰度呈现出来。这本书，给我的感觉，不是一本轻易就能读完的书，它更像是一位循循善诱的导师，引导着我一步步走向更广阔的认知领域，让我感受到思维拓展的喜悦和力量。
这本书，给我最大的感受就是它的“穿透力”。作者仿佛拥有某种超凡的洞察力，能够轻易地剖析出事物最核心的逻辑脉络。我原本对于某些概念的理解，总是停留在比较表面的层面，而这本书，则像是一把锋利的解剖刀，将这些概念一层层地剥开，让我看到它们最根本的组成部分。我印象特别深刻的是，作者在阐述某些复杂的理论时，总是能够用极其精炼的语言，抓住问题的关键，并将其清晰地呈现出来。这让我一度怀疑，自己是不是真的能理解这么深奥的知识。但事实证明，是作者的叙述方式，让我这个普通读者也能窥见智慧的门径。它不是那种故弄玄虚的书，而是真正地在引导你去思考，去理解。每次阅读，我都能从中获得新的启示，感觉到自己思维的边界在不断拓展。这本书，对我来说，不仅仅是一本读物，更像是一种思维的启蒙，它让我开始用一种全新的、更具逻辑性的方式去审视周围的世界，去理解那些曾经让我困惑不解的问题。这种能力的提升，对我来说，意义非凡。
这本书最让我印象深刻的是它所展现出的那种严谨而又富有逻辑的结构。初读时，我可能只是被其中某个引人入胜的论点所吸引，但随着阅读的深入，我逐渐发现，每一个章节、每一个论述，都如同精密的齿轮般相互咬合，层层递进，最终构成一个浑然一体的知识体系。作者在梳理复杂概念时，所采用的清晰的逻辑链条，让我这种平时容易被细节绕晕的人，也能顺畅地跟随。我尤其欣赏它在阐述一些抽象理论时，所使用的恰当的比喻和生动的例子，它们就像是黑暗中的灯塔，照亮了我理解道路上的迷雾。读到某些段落，我甚至会情不自禁地拿出纸笔，画出思维导图，梳理作者的论证过程，这让我深刻体会到，逻辑的力量究竟有多么强大。它不仅仅是一种抽象的学问，更是一种解决问题的工具，一种认识世界的视角。这本书让我明白，很多时候，我们之所以会对某些事情感到困惑，并不是因为事情本身有多么不可理解，而是我们缺少了一套清晰的思考框架。而这本书，恰恰提供给了我这样一套宝贵的框架，让我能够更有效地分析问题，更准确地做出判断。这种思维上的提升，对我而言，是无价的。
这本书带给我一种前所未有的“豁然开朗”的感觉。我一直觉得，有些事情的答案，就像隔着一层薄纱，可望而不可即。直到我翻开这本书，那些原本模糊不清的观念，开始变得清晰起来。作者似乎有一种魔力，能够将那些深奥难懂的道理，用一种极其平实却又一针见血的方式呈现出来。我记得有一次，我在思考一个工作上的难题，感到十分头疼，几乎要放弃。偶然间翻到书中的某个章节，作者对某种思维模式的阐述，竟然直接点醒了我。我恍然大悟，原来一直以来，我都被自己固有的思维方式所局限了。这本书，就像一把钥匙，为我打开了许多扇紧锁的思维之门。它让我开始审视自己过去的思考习惯，并尝试用更具逻辑性的方式去解决问题。这种改变，是潜移默化的，但却带来了巨大的影响。我开始在日常生活中，有意识地运用书中的一些原则，发现自己的判断力在不断提升，解决问题的效率也越来越高。我不得不说，这本书真的不仅仅是一本书，它更像是一位智慧的引路人，指引我走上了一条更有效率、更具洞察力的思考之路。
虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
学校买了本旧书
几乎是我读过最好的计算机原理书，逻辑，数理，自动计算发展沿革，计算机背后的数学问题…完全不同于普通套路，比0和1更深入，但因为把握在一个可以把科学当故事讲的作家的手中，加上一个专业的翻译，少有的精准而通顺，道理却能讲到位。力荐。
通用计算机威武
虽然本书讲的是逻辑数学的发展 但我觉得作者有些许语无伦次的倾向 你得费劲力气才能在各个数学家的个人简史中过滤出跟逻辑数学有关的部分然而随后发现你根本无法在作者的引导下理清各个数学家的成就之间的循序渐进的逻辑关系 今晚硬着头皮看完了前三章 明天直接跳过四五六 从七八章开始看算了
