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