自然科学总论
类型
7.9
豆瓣评分
可以朗读
语音朗读
98千字
字数
2016-09-01
发行日期
展开全部
主编推荐语
图灵一生中最重要的贡献就是这篇论文，别怕，这本书的讲解，你只需要高中数学水平就能读懂。
内容简介
1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中重要的贡献。然而，大众对图灵的了解多停留在破解德国的著名密码系统Enigma，帮助盟军取得二战的胜利上。对于数学家图灵，人们往往知之甚少。
在由克里斯·伯恩哈特著的《论可计算数：图灵与现代计算的诞生》中，作者深入分析了图灵的这篇论文，读者只需具备高中水平的数学知识，即可轻松读懂这篇划时代的论文，了解其对现代计算发展的杰出贡献。正如人工智能之父马文？明斯基所说，图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书。
目录
- 版权信息
- 前言
- 第一章
- 第二章
- 第三章
- 第四章
- 第五章
- 第六章
- 第七章
- 第八章
- 第九章
- 第一章 背景
- 数学的确定性
- 布尔逻辑
- 数学逻辑
- 逻辑机器
- 保卫数学基础
- 希尔伯特的方法
- 哥德尔结论
- 图灵的结论
- 第二章 一些不可判定的判定问题
- 埃米尔·波斯特
- 波斯特的对应问题
- 一个算法
- 含有更多符号的对应问题
- 希尔伯特的第10个问题
- 停机问题
- 剑桥的图灵
- 第三章 有限自动机
- 有限自动机
- 我们的第一个机器
- 字母表和语言
- 有限自动机和回答问题
- 问题的否定
- 忽略图表中的陷阱
- 一些基本事实
- 正则表达式
- 有限自动机的瓶颈
- 同样数量的0和1
- 平衡括号
- 磁带和配置
- 联系对应问题
- 第四章 图灵机
- 图灵机的例子
- 可计算函数和计算
- 邱奇—图灵论题
- 计算能力
- 多项式时间
- 非确定性图灵机
- 不会停机的机器
- 第五章 其他计算系统
- λ积分
- 皮亚诺算术
- λ积分和函数
- 算术
- 逻辑
- 标签系统
- 一维元胞自动机
- 第六章 编码和通用机器
- 编码有限自动机的方法
- 通用机器
- 设计通用机器
- 现代计算机是图灵机
- 冯·诺依曼结构
- 随机存取机器
- 图灵机能够模拟RAM
- 其他通用机器
- 当我们把〈M〉输入M的时候会发生什么
- 第七章 不可判定的问题
- 矛盾证明法
- 罗素的理发师
- 不接纳自己的编码的有限自动机
- 不接纳自己的编码的图灵机
- “图灵机是否会在自己的编码上偏离”是不可判定的
- 接纳、停机和空白磁带问题
- 一个不可计算函数
- 图灵的方法
- 第八章 康托尔的对角论证法
- 基数
- 有理数的子集拥有相同的基数
- 希尔伯特旅馆
- 定义不完善的减法
- 一般对角论证
- 康托尔定理
- 实数的基数
- 对角论证法
- 连续统假设
- 计算的基数
- 可计算数
- 一个非可计算数
- 存在可数数量的可计算数
- 可计算数无法有效枚举
- 第九章 图灵的遗产
- 图灵在普林斯顿大学
- 克劳德·香农
- 第二次世界大战
- 20世纪40年代的计算机发展
- 克兰德·楚泽
- 莫奇利和艾克特
- 冯·诺依曼
- 图灵测试
- 陨落
- 道歉和赦免
- 拓展阅读
- 图灵的论文
- 图灵的传记
- 计算原理的历史
- 计算机，思维和宇宙
- 元胞自动机
- 计算理论
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
中信出版集团
中信出版社，成立于1988年，隶属于中国中信集团公司，是全国中央级出版社。2008年改制为中信出版股份有限公司。 中信出版集团满怀激情，关注思想、关注理念、关注人物、关注资讯、关注时尚，为读者提供最前沿的思想与最优秀的学习实践，通过有价值的、有享受的阅读，倡导与展示新的文化主流，启动一个“大众阅读时代”。
