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

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

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

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

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

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