第一推动丛书·综合系列_逻辑的引擎(CS大牛关于计算机科学思想发展简史的最佳科普.epub

版权信息 逻辑的引擎 作者：【美】戴维斯 ISBN：9787535742391 目 录 版权信息 总序 前言 引言 第一章 莱布尼茨之梦 莱布尼茨的奇思妙想 巴黎 汉诺威 普遍文字 第二章 布尔把逻辑变成代数 乔治·布尔的艰辛岁月 乔治·布尔的逻辑代数 布尔与莱布尼茨之梦 第三章 弗雷格：从突破到绝望 弗雷格的概念文字 弗雷格发明形式句法 伯特兰·罗素的信为何如此具有毁灭性 弗雷格和语言哲学 弗雷格与莱布尼茨之梦 第四章 康托尔：在无限中摸索 工程师还是数学家 无穷集的大小是不同的 康托尔对无限数的探求 对角线方法 沮丧和悲剧 一场决定性的战斗？ 第五章 希尔伯特的营救 希尔伯特早期的胜利 面向一个新世纪 克隆内克的幽灵 元数学 灾难 第六章 哥德尔使计划落空 克隆内克的幽灵的回归 不可判定命题 库尔特·哥德尔，计算机程序设计师 柯尼斯堡会议 爱与恨 希尔伯特的宣言 一个奇特的人和一个悲哀的结局 第七章 图灵构想通用计算机 帝国的孩子 希尔伯特的判定问题 图灵对计算过程的分析 运转的图灵机 图灵应用康托尔的对角线方法 不可解问题 图灵的通用机 阿兰·图灵在普林斯顿 阿兰·图灵的战争 第八章 研制第一批通用计算机 谁发明了计算机？ 约翰·冯·诺依曼与摩尔学院 阿兰·图灵的ACE（自动计算机） 埃克特、冯·诺依曼和图灵 知恩的民族对其英雄的回报 第九章 超越莱布尼茨之梦 计算机、大脑和心灵 尾声 注释 参考书目 译后记 总序 科学，特别是自然科学，最重要的目标之一，就是追寻科学本身的 原动力，或曰追寻其第一推动。同时，科学的这种追求精神本身，又成 为社会发展和人类进步的一种最基本的推动。 科学总是寻求发现和了解客观世界的新现象，研究和掌握新规律， 总是在不懈地追求真理。科学是认真的、严谨的、实事求是的，同时， 科学又是创造的。科学的最基本态度之一就是疑问，科学的最基本精神 之一就是批判。 的确，科学活动，特别是自然科学活动，比较起其他的人类活动 来，其最基本特征就是不断进步。哪怕在其他方面倒退的时候，科学却 总是进步着，即使是缓慢而艰难地进步，这表明，自然科学活动中包含 着人类的最进步因素。 正是在这个意义上，科学堪称为人类进步的“第一推动”。 科学教育，特别是自然科学的教育，是提高人们素质的重要因素， 是现代教育的一个核心。科学教育不仅使人获得生活和工作所需的知识 和技能，更重要的是使人获得科学思想、科学精神、科学态度以及科学 方法的熏陶和培养，使人获得非生物本能的智慧，获得非与生俱来的灵 魂。可以这样说，没有科学的......