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
小学3~4年级-小学数学课外读物-数学真美妙 本书特色 1、培养少儿数学思维与兴趣的经典读物,内容包括数学游戏,数学幽默、数学魔术、数学妙招、数学奇观、数学故事...
法语基础语法与练习 本书特色 法语是世界上*优美的语言之一,然而法语语法却是一个非常复杂的体系,要想学好它必须经过反复实践。《法语基础语法与》一书正是为了给法语...
名人传 本书特色 《大悦读·语文必读丛书:名人传》:教育部《语文新课程标准》指定篇目。课标篇目全部收录专家名师全程助读阅读写作全面提升真题模拟全能演练名人传 内...
教育的人类学视野-中国民族教育的田野个案研究 本书特色 《教育的人类学视野:中国民族教育的田野个案研究》是由民族出版社出版的。教育的人类学视野-中国民族教育的田...
《中国财政诚信》内容简介:本书在系统分析财政工作中的诚信缺失及其影响、总结借鉴发达国家和我国部分省市社会诚信制度建设方面的
大夏书系:课堂密码 本书特色 我们需要成绩,但却不能从学生身上抢成 绩;我们需要趣味,但又不能偏离学科来讨好 学生;我们需要有序,但又不能用权力和体力 ...
围城.增订版 本书特色 凡是真正出色的文学作品,都具有一种抗理论分析力,任何自认为深透、精彩的理论都会在它们面前显得干瘪而又捉襟见肘。尽管《围城》本身并不朦胧,...
全科医学导论-第2版-供临床医学专业用 本书特色 赵拥军主编的《全科医学导论(供临床医学专业用第2版)》按照先易后难、循序渐进的原则进行了编排,注重构建科学的全...
◎◎◎20岁即获博士学位的数学奇才,带你穿越古今,感受数学塑造历史、改变生活的力量。知晓数学史的来龙去脉,明白学数学的根本原因,获得真正受用终身的数学认知。本书...
作品目录《俄罗斯数学教材选译》序中文版序言第7版和第6版序言第5版和第3版序言第2版序言第1版序言摘录第一章 一些通用的数学概
《没什么特别的(全彩)》内容简介:文艺风私房人像写真画册。是双囍摄影五周年的精华纪念版画册,更具收藏价值。全书以双囍的随笔
安徒生童话-彩绘注音版 内容简介 《安徒生童话(彩绘注音版)/小学生语文必读丛书》精选了安徒生在不同时期创作的童话故事,有的短小精悍,耐人寻味;有的篇幅较长,情...
波动力学 本书特色 波动力学在力学以及相关学科的教学和科研工作中占有极其重要的地位,它是连续介质动力学的基本理论支柱之一,在爆炸和冲击力学中更是具有非常重要和不...
雪莉-中译经典文库-世界文学名著-第五辑 本书特色 本书的故事背景是19世纪初英国纺织工人自发捣毁机器而引起的产业界的骚动。书中的雪莉是艾米莉的写照,作者将艾米...
基础拓扑学讲义 内容简介 《基础拓扑学讲义》是拓扑学的入门教材。内容包括点集拓扑与代数拓扑,重点介绍代数拓扑学中的基本概念、方法和应用。全书共分八章:拓扑空间的...
智能视感学-英文版 本书特色 《智能视感学(英文版)》作者张秀彬、曼苏乐根据自己和博士、硕士生们的研究成果,结合多年从事本科生及研究生的教学经验与体会整理出这本...
语音学教程(增订版)2013 本书特色 《语音学教程(增订版)》为汉语言文字专业高年级本科生以及研究生的语音学基础教材,在原版的基础上进行了较大幅度的修订和增补...
这本书是金耀基对大学的理念、性格及发展的精微论述,并涉及到人文与科学的文化观的论争、大学的世界精神、通识教育,以及在世纪
"Extremelyreadablerecollectionsoftheauthor...Araretestimonyofaperiodofthehistory...
胡适(1891―1962),字适之,安徽绩溪人。现代学者。1910-1917年留学美国,回国后在北京大学任教,并参与《新青年》的编辑工作