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
现代西班牙语(2)MP3版 本书特色 《现代西班牙语(第2册)》让您轻松掌握西班牙语言,顺利读名西班牙风情,展现语言的魅力!现代西班牙语(2)MP3版 内容简介...
父与子全集 本书特色 一本散发着 意的 画书一本充满着 乐与温情的父子读本一本温暖了亿万读者的世界名 送给世界上所有的父亲,以及父亲心中 远 曾 的孩子父与子全...
中学生魅力阅读:影响你一生的经典美文精华本.九年级下 本书特色 《中学生魅力阅读:9年级·下(精华本)》是由石油工业出版社出版的。中学生魅力阅读:影响你一生的经...
学习心理学-(第6版) 内容简介 本书共分17章,包含了广泛的学习理论:行为主义、社会认知理论、认知理论、情境学习理论和发展理论。另外,作者还阐述了人类更加复杂...
饭店英语900句 内容简介 本书收录饭店英语共900句,分为“前台”、“客房部”、“餐饮部”、“康乐部”、“商场部”五个部分。饭店英语900句 目录 Part ...
鬼魂歌星 本书特色 嘿,你认识史酷经和他的四个小伙伴吗?他们可是美国家喻户晓的影视明星和探案高手!快来加入他们的队伍,和他们一起体验惊险,锻炼能力,增长智慧!破...
莫泊桑中短篇小说精选-全译本 本书特色 莫泊桑是19世纪末法国伟大的批判现实主义作家和短篇小说家、自然主义文学流派的杰出代表,与契诃夫、欧·亨利并称为“世界三大...
机器人技术基础-第二版 本书特色 《机器人技术基础(第2版)》是作者刘极峰、丁继斌总结了近年来在机器人教学实践中的心得体会,并结合他们的研究成果与工程设计经验,...
克兰福德 本书特色 “书虫”是外语教学与研究出版社和牛津大学出版社奉献给世界英语学习者的一大精品。书虫在英语中大约是颇可爱的形象,试想想如痴如醉沉迷于书卷,孜孜...
2009年国家公务员考试辅导教材:申论 本书特色 《中央机关及其直属机构2008年考试录用公务员公共科目考试大纲》对《申论》考试做出如下规定:主要通过报考者对给...
超简单手绘旅游日语 本书特色 本书面向日语初学者,内容以赴日旅游的情景为主,包括11个大场景,96个小场景,比如日常寒暄、在机场、在车站、在药妆店、在商店、在游...
远足迷踪 本书特色 闻所未闻的新颖题材?你试过读悬疑惊悚小说来学习商务英语吗?如果你一脸茫然的话那真是太OUT啦!快放下手中满是单词表的老古董,试试圣智学习出版...
现代施工技术(原书第四版) 本书特色 本书是根据Roy Chudley和Roger Greeno所著的《Advanced Construction Techno...
旅行卷-心灵和身体的行走-新概念语文阅读-06 本书特色 《青葱阅读系列-新概念语文阅读-心灵和身体的行走(旅行卷)》作者行走于西藏、新疆、青海、内蒙古、以及祖...
梦珂-插图典藏本 本书特色 丁玲是我国现代文学史上卓有成就的作家,由于深受时代的影响,丁玲的创作深深地打上了“五四”的烙印。其代表作从20世纪20年代写起的《莎...
数据库原理及应用-(第4版) 本书特色 本书重点地介绍了数据库系统的基本概念、基本原理和基本设计方法,同时以sql server为背景介绍了数据库原理的应用。本...
读书识小录 本书特色 《读书识小录(印象阅读)》由汪成法著,本书将在书评与印象记之间,寻找一种妥协、一种融合。入选作者,则老少成宜。*大愿望,是借这样一...
汉斯-威廉•米勒-沃尔法特医生(Dr. H-W Müller-Wohlfahrt)国籍:德国生日及出生地:1942年8月12日生于下萨克森州维特蒙德-列尔哈弗(...
中药学综合知识与技能习题集-2009国家执业药师资格考试 本书特色 《中药学综合知识与技能习题集(2009)》由中国协和医科大学出版社出版。中药学综合知识与技能...
英汉语对比翻译导论 本书特色 《英汉对比翻译导论》:普通高等教育“十一五”国家级规划教材英汉语对比翻译导论 内容简介 《英汉对比翻译导论》是“英汉对比翻译研究”...