圖靈的秘密

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

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