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

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

　　Charles PetzoldWindows编程大师、世界顶级技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为唯一的作家，获得由微软公司和WindowMagazine授予的Windows 先锋奖（仅7人获奖），直到今天，他依然是Windows GDI程序设计首席技术作家。他出版过十几本著作，其中包括Win32 API编程经典《Windows程序设计》、《编码》等。历届图灵奖得主名单◎ 1966A. J. Perlis 高级编程技术和编译器架构◎ 1967Maurice V. Wilkes设计出第一台具有内置存储程序的计算机EDSAC◎ 1968Richard W. Hamming数值方法、自动编码系统、错误检测及错误校验码◎ 1969Marvin Minsky创造、推进和提升人工智能◎ 1970J. H. Wilkinson利用数值分析方法来促进高速数字计算机的应用◎ 1971John McCarthy人工智能◎ 1972Edsger W. Dijkstra编程语言◎ 1973Charles W. Bachman数据库◎ 1974Donald E. Knuth算法分析和程序设计语言，“计算机程序设计艺术”丛书◎ 1975Allen Newell和Herbert A. Simon人工智能、人类认知心理学和表处理◎ 1976Michael O. Rabin和Dana S. Scott非确定性机器◎ 1977John Backus可用的高级编程系统设计◎ 1978Robert W. Floyd软件编程的算法，语法分析理论、编程语言的语义和算法分析等多项计算机子学科的创立◎ 1979Kenneth E. Iverson程序设计语言理论、交互系统及APL◎ 1980C. Antony R. Hoare编程语言的定义和设计◎ 1981Edgar F. Codd数据库管理系统的理论和实践◎ 1982Stephen A. Cook奠定了NP完全性理论的基础◎ 1983Dennis M. Ritchie和Kenneth L. Thompson一般操作系统理论，对UNIX操作系统的推广◎ 1984Niklaus E.Wirth开发了EULER、ALGOL-W、MODULA和PASCAL等一系列崭新的计算机语言◎ 1985Richard M. Karp算法理论◎ 1986John E. Hopcroft和Robert E. Tarjan在算法及数据结构的设计和分析中取得了决定性成果◎ 1987John Cocke编译器的理论和设计，大系统体系结构，精简指令集计算机的开发◎ 1988Ivan E. Sutherland计算机图形学◎ 1989William V. Kahan数值分析◎ 1990Fernando J. Corbato组织通用、大规模、分时和资源共享的兼容分时系统和Multics的开发◎ 1991Robin W.Milner可计算函数逻辑（LCF）、ML和并行理论（CCS）◎ 1992Butler Lampson分布式个人计算机系统◎ 1993Jurlis Hartmanis和Richard E. Stearns奠定了计算复杂性理论的基础◎ 1994Raj Reddy和Edward Feigenbaum对大型人工智能系统的开拓性研究◎ 1995Manuel Blum奠定了计算复杂性理论的基础，密码术及程序校验◎ 1996Amir Pnueli在计算中引入时序逻辑、程序及系统检验◎ 1997Douglas Engelbart提出交互计算概念并创造出实现这一概念的重要技术◎ 1998James Gray数据库和事务处理◎ 1999Frederick P. Brooks， Jr.计算机体系结构、操作系统、软件工程◎ 2000姚期智（Andrew Chi-Chih Yao）计算理论方面的基础性工作◎ 2001Ole-Johan Dahl和Kristen Nygaard面向对象程序设计思想◎ 2002Ronald L. Rivest、Adi Shamir和Leonard M.Adelman公共密钥算法（RSA）◎ 2003Alan Kay 发明第一个完全面向对象的动态计算机程序设计语言Smalltalk◎ 2004Vinton G. Cerf和Robert E. Kahn在互联网方面的开创性工作◎ 2005Peter NaurAlgol 60语言◎ 2006Frances E. Allen编译器优化理论和实践（她是图灵奖第一位女性得主）◎ 2007Edmund M. Clarke、Allen Emerson和JosephSifakis将模型校验推广成软硬件工业中广泛采用的高效校验技术◎ 2008Barbara Liskov编程语言和系统设计的实践与理论基础◎ 2009Charles P. Thacker第一台现代个人计算机Alto之父◎ 2010Leslie L.Valiant人工智能、自然语言处理和手写识别等大量革新技术◎ 2011Judea Pearl通过或然性积分和随机推理对人工智能做出贡献