圖靈的秘密

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

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