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

文件大小：2.88 mb。
文件格式：epub 格式。
书籍内容：

版权信息
逻辑的引擎
作者：【美】戴维斯
ISBN：9787535742391
目录
版权信息
总序
前言
引言
第一章 莱布尼茨之梦
莱布尼茨的奇思妙想
巴黎
汉诺威
普遍文字
第二章 布尔把逻辑变成代数
乔治·布尔的艰辛岁月
乔治·布尔的逻辑代数
布尔与莱布尼茨之梦
第三章 弗雷格：从突破到绝望
弗雷格的概念文字
弗雷格发明形式句法
伯特兰·罗素的信为何如此具有毁灭性
弗雷格和语言哲学
弗雷格与莱布尼茨之梦
第四章 康托尔：在无限中摸索
工程师还是数学家
无穷集的大小是不同的
康托尔对无限数的探求
对角线方法
沮丧和悲剧
一场决定性的战斗？
第五章 希尔伯特的营救
希尔伯特早期的胜利
面向一个新世纪
克隆内克的幽灵
元数学
灾难
第六章 哥德尔使计划落空
克隆内克的幽灵的回归
不可判定命题
库尔特·哥德尔，计算机程序设计师
柯尼斯堡会议
爱与恨
希尔伯特的宣言
一个奇特的人和一个悲哀的结局
第七章 图灵构想通用计算机
帝国的孩子
希尔伯特的判定问题
图灵对计算过程的分析
运转的图灵机
图灵应用康托尔的对角线方法
不可解问题
图灵的通用机
阿兰·图灵在普林斯顿
阿兰·图灵的战争
第八章 研制第一批通用计算机
谁发明了计算机？
约翰·冯·诺依曼与摩尔学院
阿兰·图灵的ACE（自动计算机）
埃克特、冯·诺依曼和图灵
知恩的民族对其英雄的回报
第九章 超越莱布尼茨之梦
计算机、大脑和心灵
尾声
注释
参考书目
译后记
总序
科学，特别是自然科学，最重要的目标之一，就是追寻科学本身的原动力，或曰追寻其第一推动。同时，科学的这种追求精神本身，又成为社会发展和人类进步的一种最基本的推动。
科学总是寻求发现和了解客观世界的新现象，研究和掌握新规律，总是在不懈地追求真理。科学是认真的、严谨的、实事求是的，同时，科学又是创造的。科学的最基本态度之一就是疑问，科学的最基本精神之一就是批判。
的确，科学活动，特别是自然科学活动，比较起其他的人类活动来，其最基本特征就是不断进步。哪怕在其他方面倒退的时候，科学却总是进步着，即使是缓慢而艰难地进步，这表明，自然科学活动中包含着人类的最进步因素。
正是在这个意义上，科学堪称为人类进步的“第一推动”。
科学教育，特别是自然科学的教育，是提高人们素质的重要因素，是现代教育的一个核心。科学教育不仅使人获得生活和工作所需的知识和技能，更重要的是使人获得科学思想、科学精神、科学态度以及科学方法的熏陶和培养，使人获得非生物本能的智慧，获得非与生俱来的灵魂。可以这样说，没有科学的“教育”，只是培养信仰，而不是教育。没有受过科学教育的人，只能称为受过训练，而非受过教育。
正是在这个意义上，科学堪称为使人进化为现代人的“第一推动”。
近百年来，无数仁人志士意识到，强国富民再造中国离不开科学技术，他们为摆脱愚昧与无知作了艰苦卓绝的奋斗。中国的科学先贤们代代相传，不遗余力地为中国的进步献身于科学启蒙运动，以图完成国人的强国梦。然而应该说，这个目标远未达到。今日的中国需要新的科学启蒙，需要现代科学教育。只有全社会的人具备较高的科学素质，以科学的精神和思想、科学的态度和方法作为探讨和解决各类问题的共同基础和出发点，社会才能更好地向前发展和进步。因此，中国的进步离不开科学，是毋庸置疑的。
正是在这个意义上，似乎可以说，科学已被公认是中国进步所必不可少的推动。
然而，这并不意味着，科学的精神也同样地被公认和接受。虽然，科学已渗透到社会的各个领域和层面，科学的价值和地位也更高了，但是毋庸讳言，在一定的范围内，或某些特定时候，人们只是承认“科学是有用的”，只停留在对科学所带来的后果的接受和承认，而不是对科学的原动力、科学的精神的接受和承认。此种现象的存在也是不能忽视的。
科学的精神之一，是它自身就是自身的“第一推动”。也就是说，科学活动在原则上是不隶属于服务于神学的，不隶属于服务于儒学的，科学活动在原则上也不隶属于服务于任何哲学。科学是超越宗教差别的，超越民族差别的，超越党派差别的，超越文化的地域的差别的，科学是普适的、独立的，它自身就是自身的主宰。
湖南科学技术出版社精选了一批关于科学思想和科学精神的世界名著，请有关学者译成中文出版，其目的就是为了传播科学的精神，科学的思想，特别是自然科学的精神和思想，从而起到倡导科学精神，推动科技发展，对全民进行新的科学启蒙和科学教育的作用，为中国的进步作一点推动。丛书定名为《第一推动》，当然并非说其中每一册都是第一推动，但是可以肯定，蕴含在每一册中的科学的内容、观点、思想和精神，都会使你或多或少地更接近第一推动，或多或少地发现，自身如何成为自身的主宰。
《第一推动丛书》编委会
前言
本书讲述的是我们的现代计算机背后的那些基本概念和发展出这些概念的人。1951年春，当我在阿兰·图灵（Alan Turing）本人曾于10年前工作过的普林斯顿大学获得了数理逻辑博士学位之后不久，我便在伊利诺伊大学讲授一门以他的思想为基础的课程。有一位一直在听我的讲座的年轻的数学家使我注意到教室的街对面正在建造的两台机器，他认为它们就是图灵观念的物理体现。不久，我就在为这些早期的计算机编写软件了。我持续了半个多世纪的职业生涯便是围绕着现代计算机背后的抽象逻辑概念与它们的物理实现之间的关系而展开的。
计算机从20世纪50年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。
在本书写作过程中，我曾得益于各种各样的帮助。约翰·西蒙·古根海姆纪念基金会在研究的早期阶段提供了热情的经济资助，正是当时所做的那些研究才使本书得以问世。Patricia Bl an-chette, Michael Fried ............

书籍插图：

以上为书籍内容预览，如需阅读全文内容请下载EPUB源文件，祝您阅读愉快。