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
躺着,也能学好数学 本书特色 原来数学可以和小说一样轻松有趣,韩国*具人气的数学尖子六人组,教你用*简单的方法,轻松成为数学**名。爱上数学,跳出恶性循环,进入...
前线救援-中文导读英文版 本书特色 《前线救援》(aunt jane's nieces in the red cross)是美国作家莱曼?弗兰克?鲍姆(l.fr...
★ 唯分数论只会助长精致利己,从容舒展才会鼓励独立思考★ 将教育的主权还给孩子,看战后日本如何走出教育“内卷”——————◎ 他们穿过战后的黑暗,执意找回教育的...
日本童话 远北童话-小学生文库-015-童话类 本书特色 正值辛亥百年,“民国热”再次升温。民国,是我们国家从封闭走向开放,从传统走向现代的一个承上启下、继往开...
刘兴诗爷爷给孩子讲中国地理 (7册装) 本书特色 入选中国小学生基础阅读书目地理百科升级版,刘兴诗爷爷科普书地理启蒙,60年心血结晶倾力之作,以(伟大的中国)开...
新日本语.2(上下册) 本书特色 《日本语》Ⅰ是东京外国语大学附属日本语学校以初学日语的留学生为对象而编写的。《新日本语(2上下)》由王二贵编译,孙凤翔注释,是...
TOEFL Ibt听力习语必备 内容简介 (一)本书**部分为TOEFL听力核心习语。这些习语在TOEFL听力考试中频繁出现,也是各位考生着重下功夫掌握的习语词...
日语口译实务。三级 本书特色 《汽车驾驶学习技巧》是初学者**的良师益友。该书从如何报名学车、怎样考取驾照的基本程序,到汽车驾驶基本动作的联系,以及在一般道路上...
刑法学-(第三版) 内容简介 绪论**编 刑法基础论**章 刑法概说第二章 刑法的基本原则第三章 刑法的适用范围第二编 犯罪论第四章 犯罪概说第五章 犯罪构成第...
本书荟萃了趣味数学珍文366篇.其中有能影响广大读者一生的著名数学家的生平传略、性格特点和趣闻轶事;也有广大中学生和大学生喜
英文字根字典升级第四版 本书特色 1.《英文字根字典》新升级第4版简介在众多的英文单词书中,《英文字根字典》不仅出版*早,而且与时俱进,不断升级。在首次出版12...
《温夫人的扇子》是王尔德的首本喜剧,所探讨的主题是上流社会的定义,说得具体一点,便是淑女与荡妇之别,王尔德的答案是:难以区别。要做淑女或荡妇,往往取决于一念之差...
社会工作实务(初级)考试过关必做 内容简介 为落实中共中央十六届六中全会提出的“建设宏大的社会工作人才队伍”的战略任务,推动我国社会工作...
繁星.春水 本书特色 本书是“世纪老人”冰心的颇具影响力的著作。书中不仅包含了《繁星》和《春水》两本经典诗集,另外还以适合青少年阅读为出...
绿野仙踪-美国版《西游记》-语文必读名著 本书特色一百多年前,有个叫莱曼弗兰克鲍姆的美国作家,写了一个堪萨斯小女孩多萝茜被龙卷风带到神奇的奥兹国的故事。多萝茜解...
供应链管理 本书特色 《供应链管理/高职高专物流管理类“十二五”规划教材》研究了供应链管理产生及发展的历程,全面系统分析了供应链管理的战略思想,具体阐述了供应链...
中国教育史这门课程讲什么?作为教育学类专业基础课程,中国教育史重在讲述中国历史上的教育制度和教育思想,将它们置于一定历史时期的社会经济、政治、文化条件下进行考察...
大学的精神 内容简介 站在新世纪的曙光中、全球化的背景下,就大学理念和大学精神做深入的探讨和思考,重新审视大学的理念和精神,是我们这个时代的学人无法回避的事情。...
人类遗传学 本书特色 本教材是在多年为生命科学院的本科生、研究生开设《人类遗传学》课程和全校公选课的教学积累和教学经验总结的基础上,广泛参考国内外相关教材和*新...
小学英语随堂故事.四年级 本书特色 全日制义务英语课程标准要求在英语教学中要积极开展诸如表演短剧、做游戏、讲故事等语言实践活动。亲爱的同学,希望你有勇气在课堂、...