图灵的秘密:他的生平、思想及论文解读

副标题：无

作者: Charles Petzold

内容简介：

​

引 言
研究过计算机的历史、技术或理论的人，都会接触到“图灵机”这个概念。在1936年，为帮助解决数理逻辑中的一个问题，英国数学家阿兰·图灵（1912—1954）提出了图灵机。它是一种纯属虚构的计算机，连计算机假设也算不上。而由此得到的意外收获是，图灵创立了一个新的研究领域——计算理论（或可计算性），它主要研究数字计算机的功能和局限性。
尽管图灵机是一种并不太合理的计算机，但由于其自身极其简单而大放异彩。最基本的图灵机只能进行一些简单的操作。如果连这些操作都不能做，那么这台机器干脆什么都别做了。然而，只要将这些简单的操作组合起来，图灵机就能够进行现代数字计算机可以执行的任何计算。
拨开云雾见天日，通过考查计算机的原始基础，我们就能够更好地理解数字计算机的能力和局限性，这二者同样重要。尽管有人早就论证过计算机可以做什么，但在这种论证出现多年之前，图灵就证明了计算机永远都做不到的事。
图灵机仍然是被阐述和探讨的热门话题，你可以试试用喜爱的网络搜索引擎搜索“图灵机”。然而，我猜很少有人会阅读阿兰·图灵描述他这项创造的原始论文。或许，这与论文的标题“On Computable Numbers, with an Application to the Entscheidungsproblem”（“论可计算数及其在判定性问题上的应用”）有关。即使你会读最后那个单词（试试看，将重音放在第二个音节上，把这个音节发成类似“shy”的音，这就差不多了），并且知道它的意思（即判定性问题），你可能也会担心，图灵一定指望他的读者对繁冗的德国数学问题有基本的了解。快速浏览这篇论文（其中还用到了德国哥特式字体来表示机器状态）也无法让人消除这种担心。今天的读者还能手捧70年前伦敦数学学会集刊中的文章，并坚持看到有所收获，甚至十分满意吗？
这本书要讲的正是这篇论文。它包含了图灵原版36页的论文［1］ “O

目录预览：

​ 图灵的秘密:他的生平、思想及论文解读
引 言
目录
第一部分　基 础
第1章　这个墓穴埋葬着丢番图
第2章　无理数和超越数
第3章　几个世纪以来的发展
第二部分　可计算数
第4章　图灵的学业
第5章　运作的机器
第6章　加　与　乘
第7章　子 程 序
第8章　万物皆数字
第9章　通　用　机
第10章　计算机与可计算性
第11章　机器与人
第三部分　判定性问题
第12章　逻辑与可计算性
第13章　可计算函数
第14章　主要证明
........