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
新英汉小词典 本书特色 本词典遵循以下几个原则: 一、简明:根据中学英语教师的实际情况,参加新《英语课程标准》,精选了初高中阶段常用的3600余个单词,重点讲解...
鲁滨逊漂流记-经典全译版 本书特色 《鲁滨逊漂流记》是笛福受一个真实故事的启发而写成的。本书的主人公鲁滨逊出身于英国约克郡的中产阶级家庭。由于他一心要遨游四海,...
集合论是数学的一个基本分支,在数学中占据着独特的地位,其基本概念已渗透到数学的所有领域。本书从集合论中最基本的概念开始,
古文观止-无障碍阅读版-注音+释义+解词 本书特色 《古文观止》所选之文上起先秦,下至明末,大体反映了先秦至明末散文发展的大致轮廓和主要面貌。其中包括《左传》《...
名人传 本书特色 《世界文学名著宝库·名人传(青少版)》作者罗曼·罗兰,是19世纪末20世纪初法国著名的批判现实主义作家、音乐史学家和社会活动家。20世纪30年...
忏悔录-英汉双语 本书特色 《忏悔录(英汉双语)》:企鹅口袋书系列·伟大的思想忏悔录-英汉双语 目录 **章第二章第三章第四章第四章第六章第七章第八章第九章第十...
墨子-大中华文库(汉英对照)(全2卷) 本书特色 ★ 16开精装,装帧精良,印质极佳,湖南人民出版社出版★ 本书隶属“大中华文库”丛书,学术顾问委员会成员有任继...
语法-德福考前必备 本书特色 徐立华编著的《德福考前**--语法》收集了大量的学生作文,将在本书中对高频的语法表达进行归纳总结,除了写作和口语部分,阅读和听力部...
宪法练习题集(第三版)(21世纪法学系列教材配套辅导用书) 本书特色 本书是“21世纪法学系列教材”《宪法》的配套辅导用书,按照教材的章节安排了同步练习题,帮助...
《历史性跨越:构建新发展格局》内容简介:目前全球政治经济格局正处于旧秩序遭遇冲击而新秩序尚未破土之际,加之中美博弈和新冠肺
曾国藩治学方法 本书特色 《小书馆:曾国藩治学方法》为“小书馆”丛书之一,绝版多年。这是一部民国人对曾国藩的解读,曾国藩女儿曾纪芬推崇备至,亲自作序推荐。它堪称...
假如给我三天光明 本书特色 紧扣阅读与作文两大勇力点解读,配合语文考试要点编排内容,全面提高语文成绩。《假如给我三天光明》是海伦·凯勒*著名的一篇散文代表作,她...
操作系统 本书特色 操作系统 内容简介 操作系统是*重要的一种软件。作为操作系统一门课程,它是计算机及其相关专业的必修课,为了适应高职教育的发展和根上计算机技术...
《儿童健康指南:零至十八岁的身心灵发展》主要内容简介:近三十年间,于德国不断修订再版达18次,台湾一流的医师、教师队伍历时五
英汉互译简明教程 内容简介 本书由绪论和五个主体部分组成。**篇“英汉语言结构对比和翻译中的转换”涉及到基础的翻译知识或基本原理;第二、三篇讲述英汉互译的基本技...
数学家向来设想数学就像一个城市,城市天际线矗立著三座雄伟的高塔。这三座雄伟的建物分别致力於“几何”、“分析”和“代数”,
数学精神巡礼 本书特色 内容简介:本书共分八章:*章科学与科学精神;第二章人文与人文精神;第三章数学精神;第四章数学精神的光辉结晶—数学推理;第五章...
《中国小说史略》内容简介:本书是中国小说史的一部开山著作,也是一部奠基著作。它初版于二十世纪二十年代,出版以后,以它丰富翔
数学分析的思想与方法 内容简介 本书通过多角度、深层次、全方位地探讨了数学分析学科的思想方法,全书共分为六部分:**部分对数学分析内容体系中所体现的重要思想进行...
数值分析 本书特色 《数值分析》是计算数学专业本科生的教材,讲述数值计算的基本理论和方法。数值分析 内容简介 全书共七章。内容包括: 绪论、函数的多项式插值与逼...