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
《西尔斯育儿经》告诉您,不必刻意观察,孩子就感受到我们太多的东西;不必刻意模仿,孩子就模仿了我们太多的态度。我们想怎样并
合作的进化 本书特色 《合作的进化》(修订版) 中的结论在社会科学的诸领域产生了广泛深刻的影响,被广泛征引。合作的进化 内容简介 本书内容包括:导论、合作的出现...
好快!-10天背完2000越南语单词 本书特色 《好快!10天背完2000越南语单词》学习语言的基础就是要先累积单词量,学习单词,才能练习发音,有足够的单词量才...
情景法语 内容简介 本书收录了约600个简便易记的短句,6000个常见词和词组。其内容几乎涵盖衣食住行的所有方面。*大特点就是令读者有身临其境之感。《情景法语》...
排序与调度丛书工艺规划与车间调度的智能算法 本书特色 本书主要总结了作者及其团队在工艺规划与车间调度的智能算法上取得的一系列成果。主要讨论了遗传算法、遗传规划、...
三国演义(上下册)增订版 本书特色 《三国演义》是中国**部长篇章回小说,也是群众创作和作家创作相结合的典范之一,是成就很高、影响很大的古代历史演义小说。小说通...
刨根问底的故事 本书特色 《刨根问底的故事》是英国作家吉卜林*喜爱的童话集子,共有12个童话故事,用一种人与动物、大自然息息相通的视角,给孩子们进述了关于真、善...
西班牙语三百句 本书特色 随着我国改革开放的深入,我国的对外交往日益频繁。为适应广大读者在较短的时间内学会一种或几种外语基本会话的迫切需要,北京大学出版社组织了...
做最美的自己 本书特色 《做美的自己》是哈尔滨工业大学出版社出版的《全国中考语文热点作家作品精选》系列丛书之一,是著名作家崔修建的美文作品精选集,是适合青少年阅...
夏国祥本名夏永为,沈阳师范大学中国现当代文学专业硕士,受过工科、文科跨领域学科教育。曾就职于上海酷象文化传播有限公司,资深外国文学、外国儿童文学编辑。其文学功底...
计量经济学基础 本书特色 本书作为计量经济学的入门教材,从经管类专业本科教学的实际出发,强调方法应用,注重计量案例讲解。全书共9章,包括统计基础知识回顾、经典回...
初中卷-那时花开-30年优秀习作精选 本书特色 中国教育学会中学语文教学专业委员会会报,中华语文**课,中国驰名商标。教育部基础教育课程教材发展中心,《中小学图...
作者简介弗里德里希· 尼采(1844—1900),德国著名哲学家,西方现代哲学的开创者,同时也是卓越的诗人和散文家。著有《悲剧的诞生》、《查拉图斯特拉如是说》等...
音乐导读--莫扎特钢琴协奏曲 本书特色 “bbc音乐导读”从书由著名的英国bbc广播公司精心主编,特邀音乐界的权威人士撰著,涵盖自十六世纪以来的名个音乐时期的*...
撬动地球的支点-诺贝尔获奖大师演讲全集-含盘 本书特色 江涛主编的《诺贝尔获奖大师演讲全集:撬动地球的支点》选取的专业性比较强的演讲,主要是一些物理学家、化学家...
孙家鼐创办京师大学堂风云 内容简介 历史往往如此:一件事办对了,可以功德无量,造福子孙后代;一件事耽误或做错了,往往祸国殃民,阻碍历史进步。京师大学堂是戊戌变法...
2019-张剑考研英语阅读理解精练100篇-考研红皮书-附赠《考研英语词汇秘笈》 本书特色 《2019张剑考研英语阅读理解精练100篇》以历年考研英语真题中的精...
Thisbookisarevised,updatedandgreatlyexpandedversionoftheauthors"ProbabilityandRa...
儿子与情人-世界名著.汉英对照 本书特色 《儿子与情人(世界名著汉英对照)》编著者劳伦斯。本书是戴·赫·劳伦斯作家的成名作。书中的许多内容均源于劳伦斯本人年轻时...
经典世界名著英文小说:月亮与六便士(英文版原版) 本书特色 一个生活安定的英国证券交易所经纪人,本已有牢靠的职业和地位、美满的家庭,人届中年却突然抛妻弃子,为响...