年，图灵发表了著名的论文《论可计算数及其在密码问题的应用》，首次提出逻辑机的通用模型——（）的概念，为可计算性理论奠定了基础