从希尔伯特问题到图灵机：数学与计算的联姻 20世纪初，数学家希尔伯特试图建立一个完备、相容且可判定的形式化数学体系。然而，哥德尔解决了前两个问题，而第三个问题，即可判定性问题，却一直悬而未决。 可判定性之谜 可判定性问题是指是否存在一种通用的机械方法，可以在有限步骤内判断任何一个数学命题的真伪。这个问题吸引了众多数学家，包括冯·诺伊曼和邱奇。 冯·诺伊曼提出，或许可以通过机械过程来证明数学的可判定性。邱奇则使用λ演算，同时独立地解决了这个不可判定性问题。 图灵的划时代贡献 受到冯·诺伊曼的启发，图灵提出了“可计算数”和“可计算序列”的概念，并最终提出了著名的“图灵机”模型。图灵机是一种抽象的计算模型，它可以通过读取和写入纸带上的符号来模拟任何计算过程。 图灵发表了论文《论可计算数及其在判定问题上的应用》，证明了希尔伯特的可判定性问题是不可判定的。这一成果不仅解决了数学上的难题，更重要的是，它为计算机的发展奠定了理论基础。 数学与计算的联姻 在图灵机发明之前，数学的应用主要局限于理论研究，如物理学中的规律推演和量子物理计算。数学家们进行的大多是纸面上的符号运算，缺乏实际应用。 图灵机的出现，使得数学从抽象的符号世界走向了现实应用。数学符号可以表示可操作数和可操作符号，而图灵机则指导计算机将这些符号应用起来。 “图灵机”作为抽象符号和实体世界之间的桥梁，实现了数学与计算的联姻，开创了计算机科学的新时代。