1936年,24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。这篇论文堪称图灵一生中最重要的贡献。然而,大众对图灵的了解多停留在破解德国的著名密码系统Enigma,帮助盟军取得二战的胜利上。对于数学家图灵,人们往往知之甚少。
在本书中,作者深入分析了图灵的这篇论文,读者只需具备高中水平的数学知识,即可轻松读懂这篇划时代的论文,了解其对现代计算发展的杰出贡献。正如人工智能之父马文•明斯基所说,图灵的论文有着超乎寻常的简洁性及数学之美。任何希望深入了解图灵及其工作的读者都不该错过这本书!
前 言 // VII
第一章 背景
数学的确定性 //004
布尔逻辑//008
数学逻辑//010
逻辑机器//011
保卫数学基础//012
希尔伯特的方法//014
哥德尔结论//016
图灵的结论//016
第二章 一些不可判定的判定问题
埃米尔•波斯特 // 025
波斯特的对应问题 // 026
一个算法 // 030
含有更多符号的对应问题 // 032
希尔伯特的第 10 个问题 // 034
停机问题 // 036
剑桥的图灵 // 036
第三章 有限自动机
有限自动机 // 043
我们的第一个机器 // 044
字母表和语言 // 046
有限自动机和回答问题 // 049
问题的否定 // 051
忽略图表中的陷阱 // 052
一些基本事实 // 054
正则表达式 // 057
有限自动机的瓶颈 // 062
同样数量的0 和1 // 063
平衡括号 // 064
磁带和配置 // 065
联系对应问题 // 067
第四章 图灵机
有限自动机 // 043
我们的第一个机器 // 044
字母表和语言 // 046
有限自动机和回答问题 // 049
问题的否定 // 051
忽略图表中的陷阱 // 052
一些基本事实 // 054
正则表达式 // 057
有限自动机的瓶颈 // 062
同样数量的 0 和 1 // 063
平衡括号 // 064
磁带和配置 // 065
联系对应问题 // 067
图灵机的例子 // 079
可计算函数和计算 // 088
邱奇—图灵论题 // 090
计算能力 // 092
多项式时间 // 093
非确定性图灵机 // 095
不会停机的机器 // 097
第五章 其他计算系统
λ积分 // 106
皮亚诺算术 // 108
λ积分和函数 // 109
算术 // 110
逻辑 // 112
标签系统 // 114
一维元胞自动机 // 119
第六章 编码和通用机器
编码有限自动机的方法 // 129
通用机器 // 133
设计通用机器 // 136
现代计算机是图灵机 // 138
冯•诺依曼结构 // 140
随机存取机器 // 142
图灵机能够模拟RAM // 145
其他通用机器 // 147
当我们把〈M〉输入M的时候会发生什么 // 149
第七章 不可判定的问题
矛盾证明法 // 155
罗素的理发师 // 158
不接纳自己的编码的有限自动机 // 161
不接纳自己的编码的图灵机 // 162
“图灵机是否会在自己的编码上偏离”是不可判定的 // 164
接纳、停机和空白磁带问题 // 166
一个不可计算函数 // 168
图灵的方法 // 170
第八章 康托尔的 对角论证法
基数 // 177
有理数的子集拥有相同的基数 // 179
希尔伯特旅馆 // 182
定义不完善的减法 // 184
一般对角论证 // 184
康托尔定理 // 186
实数的基数 // 189
对角论证法 // 193
连续统假设 // 195
计算的基数 // 195
可计算数 // 197
一个非可计算数 // 198
存在可数数量的可计算数 // 199
可计算数无法有效枚举 // 200
第九章图灵的遗产
图灵在普林斯顿大学 // 206
克劳德•香农 // 208
第二次世界大战 // 209
20 世纪 40 年代的计算机发展 // 213
克兰德•楚泽 // 214
莫奇利和艾克特 // 214
冯•诺依曼 // 215
图灵测试 // 218
陨落 // 221
道歉和赦免 // 223
拓展阅读 // 227
注 释 // 231
小学数学基础知识手册-彩图版 本书特色 《·小学数学基础知识手册》在深度渗透理念基础上,结合*新《考试大纲》编写而成;全面系统地整合小学数学所涉及的所有基础知识...
城市艺术设计 本书特色 城市艺术设计与城市设计和城市规划设计是当代城市建设三大理论体系,它们分别代表了城市建设的微观、中观和宏观层面。这三个层面的协同发展、相得...
英语语法大全 内容简介 本书分词法、句法两部分,全面讲述了英语语法结构及其习惯用法。对学生特别感到困难的一些项目作了透彻细致的讲解,在必要的地方指出了严格的语法...
日语-临时急需一句话(2006新版) 内容简介 中国和日本是一衣带水的邻国,两国之间有着源远流长的友好交往的历史。近几年,随关改革开放的日益深入,两国之间的交往...
常微分方程考研教案(第二版) 内容简介 本书是考研参考用书。全书内分为两部分,**部分共七章,内容包括绪论、一阶微分方程的初等解法、一阶微分方程角的存在定理、高...
宋词三百首 本书特色 《宋词三百首(全民阅读国学经典大字注音全本)》是“尚雅国学经典书系”之一,由朱孝臧编著。 宋词是继唐诗之后,我国诗歌创作的又一高峰。...
红色英勇勋章--2000单词读遍世界名著丛书 本书特色 现代美语改编,世界名著变简单了;用词精纯生动,彻底强化英语能力;中英双语对照,方便学习轻松阅读;阅读、写...
高校思想政治教育创新研究-以构建和谐校园为视角 本书特色 《高校思想政治教育创新研究:以构建和谐校园为视角》是由人民出版社出版的。高校思想政治教育创新研究-以构...
偏微分方程的并行算法 国外数学名著系列 影印本 14 本书特色 该书学术水平很高,可供数学系研究生、应用数学工作者和科研人员阅读。偏微分方程的并行算法 国外数学...
水浒传-注音彩绘本 本书特色 中国古典文学“四大名著”之一,一部荡气回肠的英雄演义,展现气象万千的宋代社会风貌刻画栩栩如生的英雄好汉形象,已有数十种译本,对中国...
曾国藩治学方法 本书特色 《小书馆:曾国藩治学方法》为“小书馆”丛书之一,绝版多年。这是一部民国人对曾国藩的解读,曾国藩女儿曾纪芬推崇备至,亲自作序推荐。它堪称...
唐璜 Don Juan 本书特色 有些书不可不熟读,不可不熟知,那就是经典。那是被岁月吹打、淘洗、风化后剩下的菁华。让自己心灵纯净,精神充实的一个熏要方式是阅读...
当代教育心理学(第2版) 本书特色 《普通高等教育"十一五"国家级规划教材?新世纪高等学校教材?心理学基础课系列教材:当代教育心理学(第2版)》可用作高等师范大...
CHINESE FOLKARTS(中国民间美术) 本书特色 中国民间美术是中国民间大众为了满足自身的社会生活需要而创造的视觉形象艺术,它融于民族群体的生产生活、...
发现.奥秘.探索-欧美中小学生课外读物精选 本书特色 一次突发的事件使这只巨大的猛犸象葬身于大峡谷中,而后,它的尸体被冰雪覆盖。经过千百万年的冷藏,科学家们终于...
读者人文读本·初中卷1 内容简介 这本书是很多人读过的好文章,收集到一起汇成了一片美丽的仙女菇。它们吸收了大地的营养,它们沐浴了太阳的光芒,它们凝结了中外哲人的...
国际日语水平考试(日本语能力测试)文字.词汇难点.考点.过关题库:一级、二级 本书特色 详尽的汉日双语释义,易错词、多义词、同音异义词大汇总,以2004版出题基...
现代政治经济学教程 本书特色 在教育观念上,《高等学校财经类核心课程教材:现代政治经济学教程》力图改变经济学教育中长期存在的单纯向学生灌输固定不变的、有定论的概...
变分迭代法 内容简介 本书系统地讨论了求解奇异和非奇异的大型稀疏线性方程组的计算方法和理论。内容包括:矩阵和线性方程组的预备知识,奇异线性方程组迭代法的理论基础...
古代汉语词典 全新版 本书特色 《古代汉语词典》从学生学习文言文和一般读者阅读古籍的需要出发,收录古汉语常用、次常用字约7000个(包括繁体字、异体字);此外还...