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

“可計(jì)算性”理論是為了解答庫爾特·哥德爾提出的數(shù)學(xué)邏輯悖論：“任何數(shù)學(xué)系統(tǒng)中總是會(huì)存在不能被證明的命題”。圖靈從模擬人類思考過程和證明過程入手，提出利用機(jī)器實(shí)現(xiàn)邏輯代碼的執(zhí)行，模擬人類的各種計(jì)算和邏輯思維過程。他用一條無限長的紙帶、對(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è)備的理論基石。

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

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

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