前史

1936 年

• 1936

  On Computable Numbers, with an Application to the Entscheidungsproblem（论可计算数及其在判定问题上的应用）

  1936 年Proc. London Math. Soc.

  图灵1936年的这篇论文用一台抽象机器定义了「可计算数」，这台机器后来被称为图灵机；论文还证明，不存在能判定任意数学命题是否可证的通用方法。