一部《模仿游戏》，使图灵破译德军英格玛密码的传奇经历为人们所津津乐道，但其实，图灵一生最重要的贡献之一，是他发表于1936年的论文《论可计算数及其在判定问题上的应用》。在这篇文章里他提出的“可计算性”理论，是他此后一系列研究的理论基石。
　　“可计算性”理论是为了解答库尔特·哥德尔提出的数学逻辑悖论：“任何数学系统中总是会存在不能被证明的命题”。图灵从模拟人类思考过程和证明过程入手，提出利用机器实现逻辑代码的执行，模拟人类的各种计算和逻辑思维过程。他用一条无限长的纸带、对纸带进行操作的机械和操作规则表，构建了一台“解决任何可证数学问题”的“机器”——“图灵机”。
　　图灵机本身不是计算机模型，而是数学模型，它对计算的本质认识，奠定了整个计算机科学的基础。它告诉我们计算是系列指令的集合，什么可算，怎么决定，什么可以决定。人类计算者的工作可以由机器做到。惊人的是，这种机器仿佛真的可以被制造出来。图灵机成为后来设计实用计算机的思路来源，也是当今各种计算机设备的理论基石。
　　图灵在二战中的“解密”贡献，是对他充满诗意的计算机设想所进行的一次有效践行。
　　加密技术，就是伪装和隐藏，出题者就是“伪装者”，靠数字本身的复杂度和无序性来设置障碍。破译密码，就像行走在一座充满哲学意味的数字迷宮，破译者就是“解谜者”，在看似无序的数字中间寻找秩序和规律，这过程本身就充满了神秘的哲趣。
　　“数学不仅有真理，也有最高的美，那是一种冷艳和简朴的美，就像雕塑。”就如刻在曼彻斯特公园里图灵雕像底座上的话，图灵的理论，是计算机科学中最有诗意的概念和理论。他用简洁而精确的纯数学逻辑，描绘了“机器大脑”的朴素模型，在抽象符号和实体世界之间搭建了一座桥梁。