江风网

txt_epub_Kindle_azw3_mobi_pdf电子书免费下载

第一推动丛书·综合系列:逻辑的引擎

译者:张卜天
分类: 科普百科
出版时间: 2005-05-01
发布时间: 2020-10-04
阅读热度: 8
综合评分: 8.5
下载支持: TXT EPUB MOBI AZW3 PDF
在线阅读: 手机阅读 电脑阅读
《第一推动丛书·综合系列:逻辑的引擎》内容简介

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。博达著作权代理有限公司授权出版据美国W.W.Norton公司2000年版本译出。马丁·戴维斯是计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一。他是纽约大学库朗数学科学研究所的荣誉退休教授,目前在加州大学伯克利分校做访问学者。

《第一推动丛书·综合系列:逻辑的引擎》章节目录
  • 总序
  • 前言
  • 引言
  • 第一章 莱布尼茨之梦
  • 莱布尼茨的奇思妙想
  • 巴黎
  • 汉诺威
  • 普遍文字
  • 第二章 布尔把逻辑变成代数
  • 乔治·布尔的艰辛岁月
  • 乔治·布尔的逻辑代数
  • 布尔与莱布尼茨之梦
  • 第三章 弗雷格:从突破到绝望
  • 弗雷格的概念文字
  • 弗雷格发明形式句法
  • 伯特兰·罗素的信为何如此具有毁灭性
  • 弗雷格和语言哲学
  • 弗雷格与莱布尼茨之梦
  • 第四章 康托尔:在无限中摸索
  • 工程师还是数学家
  • 无穷集的大小是不同的
  • 康托尔对无限数的探求
  • 对角线方法
  • 沮丧和悲剧
  • 一场决定性的战斗?
  • 第五章 希尔伯特的营救
  • 希尔伯特早期的胜利
  • 面向一个新世纪
  • 克隆内克的幽灵
  • 元数学
  • 灾难
  • 第六章 哥德尔使计划落空
  • 克隆内克的幽灵的回归
  • 不可判定命题
  • 库尔特·哥德尔,计算机程序设计师
  • 柯尼斯堡会议
  • 爱与恨
  • 希尔伯特的宣言
  • 一个奇特的人和一个悲哀的结局
  • 第七章 图灵构想通用计算机
  • 帝国的孩子
  • 希尔伯特的判定问题
  • 图灵对计算过程的分析
  • 运转的图灵机
  • 图灵应用康托尔的对角线方法
  • 不可解问题
  • 图灵的通用机
  • 阿兰·图灵在普林斯顿
  • 阿兰·图灵的战争
  • 第八章 研制第一批通用计算机
  • 谁发明了计算机?
  • 约翰·冯·诺依曼与摩尔学院
  • 阿兰·图灵的ACE(自动计算机)
  • 埃克特、冯·诺依曼和图灵
  • 知恩的民族对其英雄的回报
  • 第九章 超越莱布尼茨之梦
  • 计算机、大脑和心灵
  • 尾声
  • 注释
  • 参考书目
  • 译后记
更多小说
上一篇: 迷人的温度
版权免责声明
《第一推动丛书·综合系列:逻辑的引擎》为网络收集或网友自行上传,本站不对内容负责,《第一推动丛书·综合系列:逻辑的引擎》版权归原作者所有,仅供学习交流,请勿商业使用,本站不提供任何下载,储存服务,如无意侵犯了你对《第一推动丛书·综合系列:逻辑的引擎》的版权,请联系我们,我们将在第一时间删除相关内容!