论可计算数-图灵与现代计算的诞生 本书特色

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第二次世界大战  // 20920 世纪 40 年代的计算机发展 //213克兰德•楚泽  // 214莫奇利和艾克特  // 214冯•诺依曼  // 215图灵测试  // 218陨落  // 221道歉和赦免  // 223  拓展阅读 //  227注释 //  231

论可计算数-图灵与现代计算的诞生 相关资料

图灵的《论可计算数及其在判定问题中的应用》堪称史诗级论文，拉开了计算机革命的序幕。在这本书中，伯恩哈特与我们分享了与这篇论文相关的许多细节，让我们以最简洁、最轻松的方式了解这篇伟大的论文。 ——伊恩•斯图尔特，《改变世界的17个方程式》作者   对于那些不太了解图灵的读者来说，这本精彩纷呈的书是非常好的普及读物。 ——斯科特•阿伦森，麻省理工学院电气工程和计算机科学学院教授     近年来，现代计算之父图灵已经成为文化领域的偶像。伯恩哈特这本清晰易懂的书解释了图灵的工作，说明了他的思想如何深刻影响了今天的计算机科学。 ——诺索•亚诺夫斯基，《理性的外部界限》作者     如今智能手机和笔记本电脑的高速发展掩盖了现代计算先驱们的光芒。在这本书中，伯恩哈特揭示了图灵和其他早期计算机科学家做出的决定性贡献。这是一本了不起的书！   ——a•k•杜德尼，西安大略大学计算机系名誉教授

 1/2    1 2 下一页 尾页

科普读物 其他科普知识

在线阅读