超算、人工智能，當(dāng)這些曾經(jīng)超乎想象的東西一步步成為現(xiàn)實(shí)，人們開始自覺或不自覺地意識(shí)到，我們的生活正在與艾倫·圖靈的設(shè)想發(fā)生真切的聯(lián)系。

　　辭世50余年后，他開始成為這個(gè)時(shí)代流行文化塑造出來的英雄——同性戀的身份，破譯德軍密碼的經(jīng)歷，英年早逝死因成謎，給這位超越于時(shí)代的天才科學(xué)家的人生增添了旖旎想象和傳奇色彩：孤獨(dú)，疏離，生不逢時(shí)，離經(jīng)叛道——盡管喬布斯已經(jīng)否認(rèn)，但仍有許多人愿意相信，蘋果公司那被咬掉一口的蘋果LOGO，或許就是對(duì)計(jì)算機(jī)奠基者、“人工智能之父”圖靈的禮敬。

　　24歲發(fā)表論文成計(jì)算機(jī)理論基石

　　一部《模仿游戲》，使圖靈破譯德軍英格瑪密碼的傳奇經(jīng)歷為人們所津津樂道，但其實(shí)，圖靈一生最重要的貢獻(xiàn)之一，是他發(fā)表于1936年的論文《論可計(jì)算數(shù)及其在判定問題上的應(yīng)用》。在這篇文章里他提出的“可計(jì)算性”理論，是他此后一系列研究的理論基石。

　　“可計(jì)算性”理論是為了解答庫(kù)爾特·哥德爾提出的數(shù)學(xué)邏輯悖論：“任何數(shù)學(xué)系統(tǒng)中總是會(huì)存在不能被證明的命題”。圖靈從模擬人類思考過程和證明過程入手，提出利用機(jī)器實(shí)現(xiàn)邏輯代碼的執(zhí)行，模擬人類的各種計(jì)算和邏輯思維過程。他用一條無(wú)限長(zhǎng)的紙帶、對(duì)紙帶進(jìn)行操作的機(jī)械和操作規(guī)則表，構(gòu)建了一臺(tái)“解決任何可證數(shù)學(xué)問題”的“機(jī)器”——“圖靈機(jī)”。

　　圖靈機(jī)本身不是計(jì)算機(jī)模型，而是數(shù)學(xué)模型，它對(duì)計(jì)算的本質(zhì)認(rèn)識(shí)，奠定了整個(gè)計(jì)算機(jī)科學(xué)的基礎(chǔ)。它告訴我們計(jì)算是系列指令的集合，什么可算，怎么決定，什么可以決定。人類計(jì)算者的工作可以由機(jī)器做到。驚人的是，這種機(jī)器仿佛真的可以被制造出來。圖靈機(jī)成為后來設(shè)計(jì)實(shí)用計(jì)算機(jī)的思路來源，也是當(dāng)今各種計(jì)算機(jī)設(shè)備的理論基石。

　　破譯密碼開啟計(jì)算機(jī)研制之路

　　圖靈在二戰(zhàn)中的“解密”貢獻(xiàn)，是對(duì)他充滿詩(shī)意的計(jì)算機(jī)設(shè)想所進(jìn)行的一次有效踐行。

　　加密技術(shù)，就是偽裝和隱藏，出題者就是“偽裝者”，靠數(shù)字本身的復(fù)雜度和無(wú)序性來設(shè)置障礙。破譯密碼，就像行走在一座充滿哲學(xué)意味的數(shù)字迷宮，破譯者就是“解謎者”，在看似無(wú)序的數(shù)字中間尋找秩序和規(guī)律，這過程本身就充滿了神秘的哲趣。

　　德國(guó)人制造的英格瑪機(jī)，配有一套接線、數(shù)個(gè)轉(zhuǎn)子，密碼員只要切換一下接線和轉(zhuǎn)子的順序，就能制造出極為復(fù)雜的密碼，周而復(fù)始，每天更換。這就意味著，只要在24小時(shí)內(nèi)，解密員沒能找出規(guī)律，已經(jīng)掌握的所有信息都可能作廢。

　　早在1932年，波蘭青年數(shù)學(xué)家雷耶夫斯基等人就利用德軍每日傳遞密鑰規(guī)程中的漏洞和已知的密鑰數(shù)據(jù)，制造了“炸彈機(jī)”，通過大量計(jì)算盡可能快地找到接線和轉(zhuǎn)子的對(duì)應(yīng)關(guān)系，成功破解了部分英格瑪密碼。然而，波蘭的破解算法以窮舉為主，通過分析英格瑪機(jī)的結(jié)構(gòu)，圖靈發(fā)現(xiàn)，由于電氣線路的設(shè)計(jì)限制，它永遠(yuǎn)不會(huì)把一個(gè)字母加密成本身：即不會(huì)把A加密成A，把B加密成B。利用這一缺陷，圖靈和同事們想到了一種更簡(jiǎn)便的破解方法：排除這些已知，余下的再窮舉。他們研制出專門用于破解英格瑪機(jī)的新一代“炸彈”機(jī)，破譯了德軍90%以上的英格瑪電文。在與英格瑪?shù)亩窢?zhēng)中，圖靈逐漸形成了如何建造一臺(tái)實(shí)用的通用計(jì)算機(jī)的思路，在戰(zhàn)后繼續(xù)發(fā)展解碼思想，并制成真正“能計(jì)算的機(jī)器”。

　　“數(shù)學(xué)不僅有真理，也有最高的美，那是一種冷艷和簡(jiǎn)樸的美，就像雕塑?！本腿缈淘诼鼜厮固毓珗@里圖靈雕像底座上的話，圖靈的理論，是計(jì)算機(jī)科學(xué)中最有詩(shī)意的概念和理論。他用簡(jiǎn)潔而精確的純數(shù)學(xué)邏輯，描繪了“機(jī)器大腦”的樸素模型，在抽象符號(hào)和實(shí)體世界之間搭建了一座橋梁。

　　隨著技術(shù)的進(jìn)步，圖靈的意義將越來越重要。走進(jìn)任何一座計(jì)算機(jī)機(jī)房，一排排服務(wù)器如墻林立，風(fēng)扇翁鳴鼓噪作響，0和1的代碼似乎就在一臺(tái)臺(tái)處理器之間不停流動(dòng)。那是圖靈留下的遺產(chǎn)，他把數(shù)理邏輯作為應(yīng)用數(shù)學(xué)的一個(gè)分支，賦之以工程和物理的概念。今天，圖靈幾乎是計(jì)算機(jī)科學(xué)和人工智能的代名詞。

　　今天，圖靈的故事沒有結(jié)束，也不會(huì)結(jié)束，他們都如同沃爾特·惠特曼所說，將成為“未來的歷史”。在可以預(yù)見的未來，世界距離圖靈的預(yù)想也越來越近了。