这些资源你可能感兴趣
1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中重要的贡献。然而，大众对图灵的了解多停留在破解德国的著名密码系统Enigma，帮助盟军取得二战的胜利上。对于数学家图灵，人们往往知之甚少。
在由克里斯·伯恩哈特著的《论可计算数(图灵与现代计算的诞生)(精)》中，作者深入分析了图灵的这篇论文，读者只需具备高中水平的数学知识，即可轻松读懂这篇划时代的论文，了解其对现代计算发展的杰出贡献。正如人工智能之父马文？明斯基所说，图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书！
编辑推荐
大众对图灵的认识往往停留在二战时期破解密码拯救生命这个层面。对于图灵在学术上的成就却知之甚少。本书深入分析图灵一生中*重要的论文《论可计算数及其在判定问题上的应用》，从科学的角度讲述图灵为什么重要，如果没有图灵，我们的世界将会怎样。
作者简介
Chris Bernhardt是美国费尔菲尔德大学数学系的一位教授，他从数学的角度入手，研究图灵的可计算数理论及现代计算的诞生，堪称图灵理论最深入的研究者。
目录
前言
第一章背景
数学的确定性
布尔逻辑
数学逻辑
逻辑机器
保卫数学的根基
希尔伯特的方法
哥德尔结论
图灵的结论
第二章一些无法确定的决策问题
埃米尔·波斯特
波斯特的对应问题
一个算法
具备更多符号的对应问题
希尔伯特的第十个问题
停机问题
剑桥的图灵
第三章有限自动机
介绍
有限自动机
我们的第一个机器
字母表和语言
有限自动机和回答问题
忽略图表中的陷阱
一些基本事实
正则表达式
有限自动机的瓶颈
平衡括号
磁带和配置
联系对应问题
第四章图灵机
图灵机的例子
可计算函数和计算
邱奇-图灵论题
计算能力
不会停机的机器
第五章其他计算系统
λ积分
皮亚诺算术
λ积分和函数
算术
逻辑
标签系统
一维元胞自动机
第6章编码和通用机器
编码有限自动机的方法
通用机器
构建通用机器
现代计算机是图灵机
冯·诺依曼结构
随机访问机器
图灵机能够模拟RAM
其他通用机器
本书评论