万本电子书0元读

万本电子书0元读

顶部广告

第一推动丛书·综合系列:逻辑的引擎(新版)电子书

本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。 读完该书你将对西方文化的核心逻辑有更深的理解,有助于形成一种敏锐的眼光和问题意识,可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。 2018年新版的《*推动丛书》全新设计了版式和封面,简约个性,提升了阅读体验,让科普给你更多想象。 随书附赠价值39.6元由汪洁、吴京平掰揉碎,带你懂科学好书的《经典科普解读课》6折券。

售       价:¥

纸质售价:¥38.70购买纸书

629人正在读 | 2人评论 7

作       者:(美)马丁·戴维斯

出  版  社:湖南科学技术出版社

出版时间:2018-03-23

字       数:15.5万

所属分类: 科技 > 科普读物 > 科学知识

温馨提示:数字商品不支持退换货,不提供源文件,不支持导出打印

为你推荐

  • 读书简介
  • 目录
  • 累计评论(2条)
  • 读书简介
  • 目录
  • 累计评论(2条)
本书讲述了计算机思想层面的历史,通过引人胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。<br/>【推荐语】<br/>本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。 读完该书你将对西方文化的核心逻辑有更深的理解,有助于形成一种敏锐的眼光和问题意识,可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。 2018年新版的《*推动丛书》全新设计了版式和封面,简约个性,提升了阅读体验,让科普给你更多想象。 随书附赠价值39.6元由汪洁、吴京平掰揉碎,带你懂科学好书的《经典科普解读课》6折券。<br/>【作者】<br/>作者简介: 马丁·戴维斯(Martin Davis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。   译者介绍: 张卜天,1979年9月生,师从吴国盛。热爱哲学和科学史方面的翻译,研究方向为西方中世纪和近代早期科学思想史,研究领域主要集中在近代科学的起源和科学革命。<br/>
目录展开

总序

再版序 一个坠落苹果的两面:极端智慧与极致想象

前言

引言

第1章 莱布尼茨之梦

莱布尼茨的奇思妙想

巴黎

汉诺威

普遍文字

第2章 布尔把逻辑变成代数

乔治·布尔的艰辛岁月

乔治·布尔的逻辑代数

布尔与莱布尼茨之梦

第3章 弗雷格:从突破到绝望

弗雷格的概念文字

弗雷格发明形式句法

伯特兰·罗素的信为何如此具有毁灭性

弗雷格和语言哲学

弗雷格与莱布尼茨之梦

第4章 康托尔:在无限中摸索

工程师还是数学家

无穷集的大小是不同的

康托尔对无限数的探求

对角线方法

沮丧和悲剧

一场决定性的战斗?

第5章 希尔伯特的营救

希尔伯特早期的胜利

面向一个新世纪

克罗内克的幽灵

元数学

灾难

第6章 哥德尔使计划落空

克罗内克的幽灵的回归

不可判定命题

库尔特·哥德尔,计算机程序设计师

柯尼斯堡会议

爱与恨

希尔伯特的宣言

一个奇特的人和一个悲哀的结局

第7章 图灵构想通用计算机

帝国的孩子

希尔伯特的判定问题

图灵对计算过程的分析

运转的图灵机

图灵应用康托尔的对角线方法

不可解问题

前提

结论

图灵的通用机

阿兰·图灵在普林斯顿

阿兰·图灵的战争

第8章 研制第一批通用计算机

谁发明了计算机?

约翰·冯·诺依曼与摩尔学院

阿兰·图灵的ACE(自动计算机)

埃克特、冯·诺依曼和图灵

知恩的国家对其英雄的回报

第9章 超越莱布尼茨之梦

计算机、大脑和心灵

尾声

注释

参考书目

译后记

累计评论(2条) 2个书友正在讨论这本书 发表评论

发表评论

发表评论,分享你的想法吧!

买过这本书的人还买过

读了这本书的人还在读

回顶部