在数字计算机出现之前，阿兰•图灵就预想了它 们的功能和通用性……也证明了哪些事是计算机永 远做不了的。 由Windows编程大师Charles Petzold耗时多年 编写的这本书剖析了现代计算机原理开山之作、 阿 兰•图灵流芳百世的论文 “On Computable Numbers, with an Application to the Entscheidungs problem”。 图灵在其中描述了一 种假想的计算机器，探索了其功能和内在的局限 性，由此建立了现代程序设计和可计算性的基础。 这本书也像是一本小说，行文间穿插讲述了图灵的 成长经历和教育背景， 以及他跌宕起伏的一生，包 括破解德国恩尼格密码的传奇经历，他对人工智能 的探索，他的性取向，以及最终因同性恋的罪名而 在41岁时自杀的悲惨结局。全书完整揭示了阿兰• 图灵非凡、传奇而悲剧的一生，是了解图灵的思想 和生平的极好著作。 阿兰·图灵（1912-1954) 英国数学家、逻辑学家，被称为计算机科学之 父、人工智能之父，是计算机逻辑的奠基者，提出 了“图灵机”和“图灵测试”等重要概念。为纪念 他在计算机领域的卓越贡献，美国计算机协会于 1966年设立图灵奖，此奖项被誉为计算机科学界 的诺贝尔奖。 Charles Petzold Windows编程大师、世界顶级技术作家、微软 资深MVP，拥有25年的Windows编程经验。1994 年5月，Petzold作为唯一的作家，获得由微软公司 和Window Magazine授予的Windows先锋奖（仅 7人获奖），知道今天，他依然是Windows GDI程 序设计首席技术作家。他出版过十几本著作，其中 包括Win32 API编程经典《Windows程序设计》、 《编码》等。 历届图灵奖得主名单 ◆ 1966 A. J. Perlis 高级编程技术和编译器架构 ◆ 1967 Maurice V. Wilkes 设计出第一台具有内置存储程序的计算机 EDSAC ◆ 1968 Richard W. Hamming 数值方法、自动编码系统、错误检测及错误校 验码 ◆ 1969 Marvin Minsky 创造、推进和提升人工智能 ◆ 1970 J. H. Wilkinson 利用数值分析方法来促进高速数字计算机的应 用 ◆ 1971 John McCarthy 人工智能 ◆ 1972 Edsger W. Dijkstra 编程语言 ◆ 1973 Charles W. Bachman 数据库 ◆ 1974 Donald E. Knuth 算法分析和程序设计语言，“计算机程序设计 艺术”丛书 ◆ 1975 Allen Newell和Herbert A. Simon 人工智能、人类认知心理学和表处理 ◆ 1976 Michael O. Rabin和Dana S. Scott 非确定性机器 ◆ 1977 John Backus 可用的高级编程系统设计 ◆ 1978 Robert W. Floyd 软件编程的算法，语法分析理论、编程语言的 语义和算法分析等多项计算机子学科的创立 ◆ 1979 Kenneth E. Iverson 程序设计语言理论、交互系统及APL ◆ 1980 C. Antony R. Hoare 编程语言的定义和设计 ◆ 1981 Edgar F. Codd 数据库管理系统的理论和实践 ◆ 1982 Stephen A. Cook 奠定了NP完全性理论的基础 ◆ 1983 Dennis M. Ritchie和Kenneth L. Thompson 一般操作系统理论，对UNIX操作系统的推广 ◆ 1984 Niklaus E. Wirth 开发了EULER、ALGOL-W、MODULA和 PASCAL等一系列崭新的计算机语言 ◆ 1985 Richard M. Karp 算法理论 ◆ 1986 John E. Hopcroft和Robert E. Tarjan 在算法及数据结构的设计和分析中取得了决定 性成果 ◆ 1987 John Cocke 编译器的理论和设计，大系统体系结构，精简 指令集计算机的开发 ◆ 1988 Ivan E. Sutherland
