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