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

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

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

因版权原因待上架

编辑推荐

本书被誉为从逻辑角度讲述计算机发展的很好通俗读本之一。

内容简介

本书讲述了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前就已经提出了其背后的思想。

读完该书你将对西方文化的核心逻辑有更深的理解,有助于形成一种敏锐的眼光和问题意识,可认识到复杂的东西是如何由简单的东西根据一定的规则组合而成。

作者简介

作者马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。

章节目录

版权信息

总序

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

前言

引言

第1章 莱布尼茨之梦

莱布尼茨的奇思妙想

巴黎

汉诺威

普遍文字

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

乔治·布尔的艰辛岁月

乔治·布尔的逻辑代数

布尔与莱布尼茨之梦

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

弗雷格的概念文字

弗雷格发明形式句法

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

弗雷格和语言哲学

弗雷格与莱布尼茨之梦

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

工程师还是数学家

无穷集的大小是不同的

康托尔对无限数的探求

对角线方法

沮丧和悲剧

一场决定性的战斗?

第5章 希尔伯特的营救

希尔伯特早期的胜利

面向一个新世纪

克罗内克的幽灵

元数学

灾难

第6章 哥德尔使计划落空

克罗内克的幽灵的回归

不可判定命题

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

柯尼斯堡会议

爱与恨

希尔伯特的宣言

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

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

帝国的孩子

希尔伯特的判定问题

图灵对计算过程的分析

运转的图灵机

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

不可解问题

前提

结论

图灵的通用机

阿兰·图灵在普林斯顿

阿兰·图灵的战争

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

谁发明了计算机?

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

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

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

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

第9章 超越莱布尼茨之梦

计算机、大脑和心灵

尾声

参考书目

译后记

逻辑的引擎(新版 第一推动丛书·综合系列)是2018年由湖南科学技术出版社出版,作者马丁·戴维斯。

得书感谢您对《逻辑的引擎(新版 第一推动丛书·综合系列)》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

购买这本书

你可能喜欢
机器学习实战 电子书
《机器学习实战》面向日常任务的高效实战内容,介绍并实现机器学习的主流算法。
用Go语言自制解释器 电子书
从零开始,用GO语言创造出另一门语言,体验从无到有实现类C语言的乐趣。
华为防火墙技术漫谈 电子书
市场上第一本华为官方出版的防火墙学习用书。
C++ 黑客编程揭秘与防范(第3版) 电子书
反病毒工程师入门精选,包含反病毒领域的所有知识,是亿万读者的引路名师。
计算机组装与维护教程(第7版) 电子书
本书详细讲授多媒体计算机的各种部件,以及软件的安装和常见故障的维护和检修技术。