圖靈的秘密，電腦科學之父阿蘭·圖靈的故事

圖靈的秘密，電腦科學之父阿蘭·圖靈的故事
2014年6月7日是阿蘭·圖靈逝世60周年。這個名人故事是圖靈生平的縮影，摘自《圖靈的秘密：他的生平、思想及論文解讀》。 阿蘭•圖靈（1912—1954）是英國數學家、邏輯學家，被稱為電腦科學之父、人工智慧之父，是電腦邏輯的奠基者，提出了“圖靈機”和“圖靈測試”等重要概念。為紀念他在電腦領域的卓越貢獻，美國電腦協會於1966年設立圖靈獎，此獎項被譽為電腦科學界的諾貝爾獎。 1912年6月23日，阿蘭·圖靈生於倫敦，是家中的第二個男孩。 1926年圖靈進入公立學校舍伯恩學習。他害羞、孤獨，似乎總是衣衫不整，學習上也沒有表現得特別優異。只有在數學上，他的智力天賦初露端倪。1929年，圖靈開始著迷於《物理世界的自然》（1928）一書。期間認識克里斯多夫·莫科姆，並交往密切，他們在科學和數學上有著共同的興趣。回想起來，圖靈很可能在那時發現了他的同性戀傾向。 1929年12月，圖靈和克里斯多夫共同參加了劍橋大學獎學金考試，隨後克里斯多夫被三一學院錄取，圖靈落榜。但兩個月後，克里斯多夫突然生病，在一周內去世。一位舍伯恩的舊日同窗在信中寫道：“可憐的圖靈因為這個打擊幾乎崩潰，他們一定是極其要好的朋友。” 1930年12月，圖靈再次參加了三一學院的考試，仍然未被錄取。他調整目標，瞄準第二選擇劍橋大學國王學院，全心鑽研G. H. 哈代的經典著作《純數學教程》備考。1931年秋，圖靈開始了他在劍橋大學國王學院的學習。 1935年春，圖靈修讀了麥克斯·紐曼的“數學基礎”課程，課程涵蓋了尚未解決的判定性問題。同年夏天，圖靈開始研究判定性問題。 圖靈的畢業論文發表在倫敦數學學會1936年11月和12月的論文集裡， 這就是圖靈流芳百年的“OnComputable Numbers, with an Application to the Entscheidungsproblem”（論可計算數及其在判定性問題上的應用）。他的論文採用了一種不同尋常的數學證明方法，甚至創造了一個通用機器，它能類比其他任何一台電腦器的操作。 畢業後圖靈來到美國普林斯頓大學攻讀數學博士學位，期間他對密碼學產生了興趣。 1939年9月1日，德國入侵波蘭，第二次世界大戰爆發。兩天后，英國向德國宣戰。9月4日，圖靈受邀到英國政府情報破譯中心布萊切利莊園報到，致力於破譯德國海軍的密碼。1940年，第一台“圖靈Bombe”開始運行。它重達一噸，可模擬30台並行運行的恩尼格瑪密碼機。1941年，德軍恩尼格瑪加密的通信被攻破，圖靈在其中起到了重要作用。 1943年初，圖靈到貝爾實驗室待了兩個月， 在這裡遇到了開闢數位採樣理論的哈利·奈奎斯特和克勞德·香農。 1951年3月15日，因在可計算數方面所做的工作，圖靈被評為英國皇家學會會士，舉薦人是麥克斯·紐曼和伯特蘭·羅素。 1952年2月，因同性戀行為，警方傳訊了圖靈。最終，法庭判處圖靈“嚴重猥褻罪”，且強制實施荷爾蒙治療。圖靈的擇業因此受到限制，電腦之路也嚴重受阻。 1954年6月7日晚，睡前，圖靈照例吃下蘋果，但是，這只蘋果蘸上了劇毒氰化物，41歲的天才就此了結了自己的一生。 2009年9月10日，英國前首相戈登·布朗代表英國政府為圖靈當年受到的不公正待遇公開致歉。2013年12月24日，英國女王伊莉莎白二世為圖靈追授死後赦免狀。 由Windows程式設計大師Charles Petzold耗時多年編寫的《圖靈的秘密：他的生平、思想及論文解讀》剖析了現代電腦原理開山之作、阿蘭•圖靈流芳百世的論文 “On Computable Numbers, with an Application to the Entscheidungsproblem”。 圖靈在其中描述了一種假想的電腦器，探索了其功能和內在的局限性，由此建立了現代程式設計和可計算性的基礎。這本書也像是一本小說，行文間穿插講述了圖靈的成長經歷和教育背景，以及他跌宕起伏的一生，包括破解德國恩尼格密碼的傳奇經歷，他對人工智慧的探索，他的性取向，以及最終因同性戀的罪名而在41歲時自殺的悲慘結局。全書完整揭示了阿蘭•圖靈非凡、傳奇而悲劇的一生，是瞭解圖靈的思想和生平的極好著作。