其他
图灵的秘密:他的生平思想及论文解读
由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰?图灵流芳百世的论文“On Computable Numbers, with an Application to theEntscheidungsproblem”。图灵在其中描述了一种假想的计算机器,探索了其功能和内在的局限性,由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说,行文间穿插讲述了图灵的成长经历和教育背景,以及他跌宕起伏的一生,包括破解德国恩尼格密码的传奇经历,他对人工智能的探索,他的性取向,以及 终因同性恋的罪名而在41岁时的悲惨结局。全书完整揭示了阿兰?图灵非凡、传奇而悲剧的一生,是了解图灵的思想和生平的极好著作。
第一部分 基 础
第1章 这个墓穴埋葬着丢番图 2
第2章 无理数和超越数 10
第3章 几个世纪以来的发展 28
第二部分 可计算数
第4章 图灵的学业 48
第5章 运作的机器 69
第6章 加与乘 86
第7章 子程序 97
第8章 万物皆数字 114
第9章 通用机 130
第10章 计算机与可计算性 150
第11章 机器与人 175
第三部分 判定性问题
第12章 逻辑与可计算性 188
第13章 可计算函数 216
第14章 主要证明 244
第15章 λ演算 266
第16章 对连续统的设想 285
第四部分 题外话
第17章 万物皆是图灵机? 310
第18章 长眠的丢番图 333
参考文献 341
往期推荐