万本电子书0元读

万本电子书0元读

顶部广告

论可计算数:图灵与现代计算的诞生电子书

大众对图灵的认识往往停留在二战时期破解密码拯救生命这个层面。 对于图灵在学术上的成就却知之甚少。 本书深入分析图灵一生中*重要的论文《论可计算数及其在判定问题上的应用》,从科学的角度讲述图灵为什么重要,如果没有图灵,我们的世界将会怎样。

售       价:¥

纸质售价:¥30.60购买纸书

357人正在读 | 1人评论 6.2

作       者:[美] 克里斯·伯恩哈特

出  版  社:中信出版社

出版时间:2016-01-02

字       数:10.4万

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

温馨提示:此类商品不支持退换货,不支持下载打印

为你推荐

  • 读书简介
  • 目录
  • 累计评论(1条)
  • 读书简介
  • 目录
  • 累计评论(1条)
【内容简介】1936年,24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中重要的贡献。然而,大众对图灵的了解多停留在破解德国的著名密码系统Enigma,帮助盟军取得二战的胜利上。对于数学家图灵,人们往往知之甚少。
目录展开

前言

第一章 背景

数学的确定性

布尔逻辑

数学逻辑

逻辑机器

保卫数学基础

希尔伯特的方法

哥德尔结论

图灵的结论

第二章 一些不可判定的判定问题

埃米尔·波斯特

波斯特的对应问题

一个算法

含有更多符号的对应问题

希尔伯特的第10个问题

停机问题

剑桥的图灵

第三章 有限自动机

有限自动机

我们的第一个机器

字母表和语言

有限自动机和回答问题

问题的否定

忽略图表中的陷阱

一些基本事实

正则表达式

有限自动机的瓶颈

同样数量的0和1

平衡括号

磁带和配置

联系对应问题

第四章 图灵机

图灵机的例子

可计算函数和计算

邱奇—图灵论题

计算能力

多项式时间

非确定性图灵机

不会停机的机器

第五章 其他计算系统

λ积分

皮亚诺算术

λ积分和函数

算术

逻辑

标签系统

一维元胞自动机

第六章 编码和通用机器

编码有限自动机的方法

通用机器

设计通用机器

现代计算机是图灵机

冯·诺依曼结构

随机存取机器

图灵机能够模拟RAM

其他通用机器

当我们把〈M〉输入M的时候会发生什么

第七章 不可判定的问题

矛盾证明法

罗素的理发师

不接纳自己的编码的有限自动机

不接纳自己的编码的图灵机

“图灵机是否会在自己的编码上偏离”是不可判定的

接纳、停机和空白磁带问题

一个不可计算函数

图灵的方法

第八章 康托尔的对角论证法

基数

有理数的子集拥有相同的基数

希尔伯特旅馆

定义不完善的减法

一般对角论证

康托尔定理

实数的基数

对角论证法

连续统假设

计算的基数

可计算数

一个非可计算数

存在可数数量的可计算数

可计算数无法有效枚举

第九章 图灵的遗产

图灵在普林斯顿大学

克劳德·香农

第二次世界大战

20世纪40年代的计算机发展

克兰德·楚泽

莫奇利和艾克特

冯·诺依曼

图灵测试

陨落

道歉和赦免

拓展阅读

注释

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

发表评论

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

买过这本书的人还买过

读了这本书的人还在读

回顶部