• 2021-04-14
    1936年,图灵发表了著名的论文《论可计算数及其在密码问题的应用》,首次提出逻辑机的通用模型——()的概念,为可计算性理论奠定了基础。