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

　　在數(shù)字計(jì)算機(jī)出現(xiàn)之前，阿蘭·圖靈就預(yù)想了它們的功能和通用性……也證明了哪些事是計(jì)算機(jī)永遠(yuǎn)做不了的。 由Windows編程大師Charles Petzold耗時多年編寫的這本書剖析了現(xiàn)代計(jì)算機(jī)原理開山之作、阿蘭·圖靈流芳百世的論文 “On Computable Numbers， with an Application to the Entscheidungsproblem”。圖靈在其中描述了一種假想的計(jì)算機(jī)器，探索了其功能和內(nèi)在的局限性，由此建立了現(xiàn)代程序設(shè)計(jì)和可計(jì)算性的基礎(chǔ)?！秷D靈的秘密：他的生平、思想及論文解讀》也像是一本小說，行文間穿插講述了圖靈的成長經(jīng)歷和教育背景，以及他跌宕起伏的一生，包括破解德國恩尼格密碼的傳奇經(jīng)歷，他對人工智能的探索，他的性取向，以及最終因同性戀的罪名而在41歲時自殺的悲慘結(jié)局。全書完整揭示了阿蘭·圖靈非凡、傳奇而悲劇的一生，是了解圖靈的思想和生平的極好著作。 阿蘭·圖靈（1912—1954）是英國數(shù)學(xué)家、邏輯學(xué)家，被稱為計(jì)算機(jī)科學(xué)之父、人工智能之父，是計(jì)算機(jī)邏輯的奠基者，提出了“圖靈機(jī)”和“圖靈測試”等重要概念。為紀(jì)念他在計(jì)算機(jī)領(lǐng)域的卓越貢獻(xiàn)，美國計(jì)算機(jī)協(xié)會于1966年設(shè)立圖靈獎，此獎項(xiàng)被譽(yù)為計(jì)算機(jī)科學(xué)界的諾貝爾獎。

　　Charles PetzoldWindows編程大師、世界頂級技術(shù)作家、微軟資深MVP，擁有25年的Windows編程經(jīng)驗(yàn)。1994年5月，Petzold作為唯一的作家，獲得由微軟公司和WindowMagazine授予的Windows 先鋒獎（僅7人獲獎），直到今天，他依然是Windows GDI程序設(shè)計(jì)首席技術(shù)作家。他出版過十幾本著作，其中包括Win32 API編程經(jīng)典《Windows程序設(shè)計(jì)》、《編碼》等。歷屆圖靈獎得主名單◎ 1966A. J. Perlis 高級編程技術(shù)和編譯器架構(gòu)◎ 1967Maurice V. Wilkes設(shè)計(jì)出第一臺具有內(nèi)置存儲程序的計(jì)算機(jī)EDSAC◎ 1968Richard W. Hamming數(shù)值方法、自動編碼系統(tǒng)、錯誤檢測及錯誤校驗(yàn)碼◎ 1969Marvin Minsky創(chuàng)造、推進(jìn)和提升人工智能◎ 1970J. H. Wilkinson利用數(shù)值分析方法來促進(jìn)高速數(shù)字計(jì)算機(jī)的應(yīng)用◎ 1971John McCarthy人工智能◎ 1972Edsger W. Dijkstra編程語言◎ 1973Charles W. Bachman數(shù)據(jù)庫◎ 1974Donald E. Knuth算法分析和程序設(shè)計(jì)語言，“計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)”叢書◎ 1975Allen Newell和Herbert A. Simon人工智能、人類認(rèn)知心理學(xué)和表處理◎ 1976Michael O. Rabin和Dana S. Scott非確定性機(jī)器◎ 1977John Backus可用的高級編程系統(tǒng)設(shè)計(jì)◎ 1978Robert W. Floyd軟件編程的算法，語法分析理論、編程語言的語義和算法分析等多項(xiàng)計(jì)算機(jī)子學(xué)科的創(chuàng)立◎ 1979Kenneth E. Iverson程序設(shè)計(jì)語言理論、交互系統(tǒng)及APL◎ 1980C. Antony R. Hoare編程語言的定義和設(shè)計(jì)◎ 1981Edgar F. Codd數(shù)據(jù)庫管理系統(tǒng)的理論和實(shí)踐◎ 1982Stephen A. Cook奠定了NP完全性理論的基礎(chǔ)◎ 1983Dennis M. Ritchie和Kenneth L. Thompson一般操作系統(tǒng)理論，對UNIX操作系統(tǒng)的推廣◎ 1984Niklaus E.Wirth開發(fā)了EULER、ALGOL-W、MODULA和PASCAL等一系列嶄新的計(jì)算機(jī)語言◎ 1985Richard M. Karp算法理論◎ 1986John E. Hopcroft和Robert E. Tarjan在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)和分析中取得了決定性成果◎ 1987John Cocke編譯器的理論和設(shè)計(jì)，大系統(tǒng)體系結(jié)構(gòu)，精簡指令集計(jì)算機(jī)的開發(fā)◎ 1988Ivan E. Sutherland計(jì)算機(jī)圖形學(xué)◎ 1989William V. Kahan數(shù)值分析◎ 1990Fernando J. Corbato組織通用、大規(guī)模、分時和資源共享的兼容分時系統(tǒng)和Multics的開發(fā)◎ 1991Robin W.Milner可計(jì)算函數(shù)邏輯（LCF）、ML和并行理論（CCS）◎ 1992Butler Lampson分布式個人計(jì)算機(jī)系統(tǒng)◎ 1993Jurlis Hartmanis和Richard E. Stearns奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)◎ 1994Raj Reddy和Edward Feigenbaum對大型人工智能系統(tǒng)的開拓性研究◎ 1995Manuel Blum奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)，密碼術(shù)及程序校驗(yàn)◎ 1996Amir Pnueli在計(jì)算中引入時序邏輯、程序及系統(tǒng)檢驗(yàn)◎ 1997Douglas Engelbart提出交互計(jì)算概念并創(chuàng)造出實(shí)現(xiàn)這一概念的重要技術(shù)◎ 1998James Gray數(shù)據(jù)庫和事務(wù)處理◎ 1999Frederick P. Brooks， Jr.計(jì)算機(jī)體系結(jié)構(gòu)、操作系統(tǒng)、軟件工程◎ 2000姚期智（Andrew Chi-Chih Yao）計(jì)算理論方面的基礎(chǔ)性工作◎ 2001Ole-Johan Dahl和Kristen Nygaard面向?qū)ο蟪绦蛟O(shè)計(jì)思想◎ 2002Ronald L. Rivest、Adi Shamir和Leonard M.Adelman公共密鑰算法（RSA）◎ 2003Alan Kay 發(fā)明第一個完全面向?qū)ο蟮膭討B(tài)計(jì)算機(jī)程序設(shè)計(jì)語言Smalltalk◎ 2004Vinton G. Cerf和Robert E. Kahn在互聯(lián)網(wǎng)方面的開創(chuàng)性工作◎ 2005Peter NaurAlgol 60語言◎ 2006Frances E. Allen編譯器優(yōu)化理論和實(shí)踐（她是圖靈獎第一位女性得主）◎ 2007Edmund M. Clarke、Allen Emerson和JosephSifakis將模型校驗(yàn)推廣成軟硬件工業(yè)中廣泛采用的高效校驗(yàn)技術(shù)◎ 2008Barbara Liskov編程語言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論基礎(chǔ)◎ 2009Charles P. Thacker第一臺現(xiàn)代個人計(jì)算機(jī)Alto之父◎ 2010Leslie L.Valiant人工智能、自然語言處理和手寫識別等大量革新技術(shù)◎ 2011Judea Pearl通過或然性積分和隨機(jī)推理對人工智能做出貢獻(xiàn)