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
四年级-门道-曹文轩讲作文-修订版-第五次印刷 本书特色 曹文轩是我国当代著名作家,精擅儿童文学,任北京作家协会副主席,北京大学教授、现当代文学博士生导师、当代...
教育科研问题研究 本书特色 吴洪成、孙振东的《教育科研问题研究》是“当代中国重大教育问题史系列研究丛书”之一,是由中央教育科学研究所方晓东研究员主持的全国教育科...
茶花女 目录 Chapter 1Chapter 2Chapter 3Chapter 4Chapter 5Chapter 6Chapter 7Chapter 8C...
漫画大珠慧海顿悟入道要门论-06 本书特色 1999年蔡志忠获得“荷兰克劳斯亲王奖”,表彰蔡志忠“通过漫画将中国传统哲学与文学做出了很好的再创造”。蔡志忠的漫画...
小学卷-掌心的阳光-30年优秀习作精选 本书特色 中国教育学会中学语文教学专业委员会会报,中华语文**课,中国驰名商标。教育部基础教育课程教材发展中心,《中小学...
7000单词不用背 本书特色 和死记硬背say bye-bye,让英语学习变成一种享受。*神奇的记忆之旅,Ready? Go!7000单词不用背 内容简介 本书...
1、书架上最值得收藏的书,全22册豪华珍藏精装本,首次集结余秋雨全部经典作品,包括《中国文脉》《山河之书》《千年一叹》《行者无疆》《何谓文化》《君子之道》《吾家...
中国教育政策过程本土化研究 本书特色 中国教育政策现象繁富纷呈,教育政策过程颇具自身特色。如何理解年复一年中央频繁发文的治理教育乱收费政策 贺武华著的《中国教育...
自然与社会-读懂汉字 本书特色《(读懂汉字)自然与社会》一书从古老的甲骨文、金文讲起,讲述汉字字形的来源、字义的产生与演变,并贯穿着悠久的中华文明史。书中配有丰...
《幼儿园综合素质》内容简介:本书是系列丛书中的《幼儿园综合素质》。“幼儿园综合素质”是幼儿园教师资格考试的科目之一,该科目
《圣手神针——石学敏传》内容简介:1938年出生于天津市的石学敏,是中医、针灸学专家,中国工程院院士,国医大师。现代中国针灸奠
解图形题的钥匙 本书特色 本书将向介绍10种解图形题的分析思考方法。它们像10把钥匙,好让你打开“几何王国”的大门。伟大的科学家富兰克林又说过:“懒惰像生锈一样...
叔本华论智慧人生:英文 本书特色 这是德国著名哲学家叔本华的一本谈论人生的书,就人生如何活法发表自己的看法与意见,属于励志类图书。而叔本华此后一生也基本上再没写...
异文化博弈(中国现代留欧学人与西学东渐) 本书特色 《异文化博弈:中国现代留欧学人与西学东渐》是一部非常有趣且有独特意义的深思之作,内容关乎20世纪上半期的中国...
环境学导论-(第3版) 本书特色 《环境学导论(第3版)》可用作高等院校环境类专业的教材,也可作为其他专业素质教育课程的教学用书,并供决策人员、工程技术人员以及...
分好类 超好背15000英语单词口袋书 本书特色 如何高效、省时又灵活地学单词是每个英语学习者的梦想。而能为读者实现梦想尽一点微薄之力是昂秀一直秉承的理念和努力...
《宋庆龄往事续编》内容简介:《宋庆龄往事续编》是《宋庆龄往事》的姊妹编。同《宋庆龄往事》一样,作者基于掌握的大量第一手材料
民法案例分析教程(第三版)(21世纪法学系列教材) 本书特色 《民法案例分析教程(第3版)》用典型的民法案例,将民法的基本原理和规则串起来,让刻板的民法原理和规...
死水微澜 本书特色 《死水微澜》以甲午中日战争到辛丑条约签订的七年时间为经,以四川省会成都及其近郊构成的川西坝为纬,描绘了清朝末年社会底层人民的生活及挣扎的苦难...
不出国!跟着美国学生一起上课学英文-美国学校的社会课本 本书特色 本书根据美国中小学课本编写而成。全书共分为6个单元,每单元都由5部分组成:开篇提纲挈...