圖靈的祕密，計算機科學之父阿蘭·圖靈的故事

圖靈的祕密，計算機科學之父阿蘭·圖靈的故事

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歲時自殺的悲慘結局。全書完整揭示了阿蘭•圖靈非凡、傳奇而悲劇的一生，是瞭解圖靈的思想和生平的極好著作。