圖靈的秘密：他的生平、思想及論文解讀

　　在數字計算機出現之前，阿蘭·圖靈就預想了它們的功能和通用性……也證明了哪些事是計算機永遠做不了的。 由Windows編程大師Charles Petzold耗時多年編寫的這本書剖析了現代計算機原理開山之作、阿蘭·圖靈流芳百世的論文 “On Computable Numbers， with an Application to the Entscheidungsproblem”。圖靈在其中描述了一種假想的計算機器，探索了其功能和內在的局限性，由此建立了現代程序設計和可計算性的基礎?！秷D靈的秘密：他的生平、思想及論文解讀》也像是一本小說，行文間穿插講述了圖靈的成長經歷和教育背景，以及他跌宕起伏的一生，包括破解德國恩尼格密碼的傳奇經歷，他對人工智能的探索，他的性取向，以及最終因同性戀的罪名而在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數值方法、自動編碼系統(tǒng)、錯誤檢測及錯誤校驗碼◎ 1969Marvin Minsky創(chuàng)造、推進和提升人工智能◎ 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可用的高級編程系統(tǒng)設計◎ 1978Robert W. Floyd軟件編程的算法，語法分析理論、編程語言的語義和算法分析等多項計算機子學科的創(chuàng)立◎ 1979Kenneth E. Iverson程序設計語言理論、交互系統(tǒng)及APL◎ 1980C. Antony R. Hoare編程語言的定義和設計◎ 1981Edgar F. Codd數據庫管理系統(tǒng)的理論和實踐◎ 1982Stephen A. Cook奠定了NP完全性理論的基礎◎ 1983Dennis M. Ritchie和Kenneth L. Thompson一般操作系統(tǒng)理論，對UNIX操作系統(tǒng)的推廣◎ 1984Niklaus E.Wirth開發(fā)了EULER、ALGOL-W、MODULA和PASCAL等一系列嶄新的計算機語言◎ 1985Richard M. Karp算法理論◎ 1986John E. Hopcroft和Robert E. Tarjan在算法及數據結構的設計和分析中取得了決定性成果◎ 1987John Cocke編譯器的理論和設計，大系統(tǒng)體系結構，精簡指令集計算機的開發(fā)◎ 1988Ivan E. Sutherland計算機圖形學◎ 1989William V. Kahan數值分析◎ 1990Fernando J. Corbato組織通用、大規(guī)模、分時和資源共享的兼容分時系統(tǒng)和Multics的開發(fā)◎ 1991Robin W.Milner可計算函數邏輯（LCF）、ML和并行理論（CCS）◎ 1992Butler Lampson分布式個人計算機系統(tǒng)◎ 1993Jurlis Hartmanis和Richard E. Stearns奠定了計算復雜性理論的基礎◎ 1994Raj Reddy和Edward Feigenbaum對大型人工智能系統(tǒng)的開拓性研究◎ 1995Manuel Blum奠定了計算復雜性理論的基礎，密碼術及程序校驗◎ 1996Amir Pnueli在計算中引入時序邏輯、程序及系統(tǒng)檢驗◎ 1997Douglas Engelbart提出交互計算概念并創(chuàng)造出實現這一概念的重要技術◎ 1998James Gray數據庫和事務處理◎ 1999Frederick P. Brooks， Jr.計算機體系結構、操作系統(tǒng)、軟件工程◎ 2000姚期智（Andrew Chi-Chih Yao）計算理論方面的基礎性工作◎ 2001Ole-Johan Dahl和Kristen Nygaard面向對象程序設計思想◎ 2002Ronald L. Rivest、Adi Shamir和Leonard M.Adelman公共密鑰算法（RSA）◎ 2003Alan Kay 發(fā)明第一個完全面向對象的動態(tài)計算機程序設計語言Smalltalk◎ 2004Vinton G. Cerf和Robert E. Kahn在互聯網方面的開創(chuàng)性工作◎ 2005Peter NaurAlgol 60語言◎ 2006Frances E. Allen編譯器優(yōu)化理論和實踐（她是圖靈獎第一位女性得主）◎ 2007Edmund M. Clarke、Allen Emerson和JosephSifakis將模型校驗推廣成軟硬件工業(yè)中廣泛采用的高效校驗技術◎ 2008Barbara Liskov編程語言和系統(tǒng)設計的實踐與理論基礎◎ 2009Charles P. Thacker第一臺現代個人計算機Alto之父◎ 2010Leslie L.Valiant人工智能、自然語言處理和手寫識別等大量革新技術◎ 2011Judea Pearl通過或然性積分和隨機推理對人工智能做出貢獻