图灵的秘密：他的生平、思想及论文解读

1. 他的生命，迸发耀眼的光芒，他的作品，奠定计算机的发展，他是阿兰图灵；

2. 他的教育和成长经历，二战破解恩尼格密码，前瞻性探索人工智能，41岁因同性恋罪名自杀...全书完整诠释图灵跌宕起伏的一生；

3. 《论可计算数及其在判定性问题上的应用》是图灵重要的作品，是20世纪人类发展的重要知识地标，本书为你详细解读；

4. 图灵机 / 可计算性 / 逻辑 / 数学...本书还将深入探索人类思维和计算机器之间的关系。

　　 在数字计算机出现之前，阿兰·图灵就预想了它们的功能和通用性……也证明了哪些事是计算机永远做不了的。 　　 由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰·图灵流芳百世的论文 “On Computable Numbers， with an Application to the Entscheidungsproblem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。《图灵的秘密：他的生平、思想及论文解读》也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰·图灵非凡、传奇而悲剧的一生，是了解图灵的思想和生平的极好著作。 　　 阿兰·图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。

　　 Charles Petzold， Windows编程大师、世界级技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为weiyi的作家，获得由微软公司和Window Magazine授予的Windows 先锋奖（仅7人获奖），直到今天，他依然是Windows GDI 程序设计首席技术作家。他出版过十几本著作，其中包括Win32 API编程经典《Windows程序设计》、《编码》等。

献词
引言
第一部分　基础
第1章　这个墓穴埋葬着丢番图
第2章　无理数和超越数
第3章　几个世纪以来的发展
第二部分　可计算数
第4章　图灵的学业
第5章　运作的机器
第6章　加与乘
第7章　子程序
第8章　万物皆数字
第9章　通用机
第10章　计算机与可计算性（上）
第10章　计算机与可计算性（下）
第11章　机器与人
第三部分　判定性问题
第12章　逻辑与可计算性（上）
第12章　逻辑与可计算性（下）
第13章　可计算函数
第14章　主要证明（上）
第14章　主要证明（下）
第15章　λ演算
第16章　对连续统的设想
第四部分　题外话
第17章　万物皆是图灵机？
第18章　长眠的丢番图
参考文献
书籍