希尔伯特问题

一、1900年的巴黎

1900年，大卫·希尔伯特（David Hilbert，1862-1943 年）在巴黎国际数学家大会上提出了23个未解决的数学问题——这些问题为 20 世纪的数学研究指明了方向。

希尔伯特选择问题是基于几个标准：问题应该是清晰的、困难的、但不是不可解决的；问题的解决应该对数学产生深远影响。

二、部分解决的问题

希尔伯特的 23 个问题中，有些已被完全解决，有些部分解决，有些仍未解决：

第一问题（连续统假设）——是否存在一个集合，其大小严格介于整数和实数之间？库尔特·哥德尔（Kurt Gödel，1906-1978 年）在 1938 年证明：连续统假设与集合论公理不矛盾。保罗·科恩（Paul Cohen，1934-2007 年）在 1963 年证明：连续统假设的否定也与集合论公理不矛盾。因此，连续统假设是独立于集合论公理的——它既不能被证明，也不能被证伪。

第二问题（算术公理的相容性）——算术公理是否相容？哥德尔不完备定理（1931 年）给出了否定的答案：任何包含算术的公理系统都是不完备的——总有一些真命题不能被证明。

第八问题（黎曼假设）——黎曼ζ函数的所有非平凡零点是否都在实部为 1/2 的直线上？这是数学中最著名的未解决问题之一——它与素数分布密切相关。

三、哥德尔不完备定理

库尔特·哥德尔的不完备定理（1931 年）是 20 世纪最深刻的数学发现之一。第一不完备定理断言：任何包含算术的一致公理系统都是不完备的——总有一些真命题不能在系统内被证明。第二不完备定理断言：任何包含算术的一致公理系统不能证明自身的一致性。

哥德尔不完备定理的意义远超数学——它对哲学、计算机科学和人工智能都有深远影响。它表明：数学真理不能完全被公理化，总有一些真理超越了形式系统的证明能力。

四、图灵与可计算性

艾伦·图灵（Alan Turing，1912-1954 年）在 1936 年定义了图灵机——一种抽象的计算模型。图灵机为可计算性（Computability）提供了精确的定义——一个问题是否可计算，取决于是否存在一个图灵机可以解决它。

图灵证明了停机问题（Halting Problem）是不可判定的——不存在一个图灵机可以判断任意程序是否会停止。这个结论与哥德尔不完备定理有深刻的联系——它们都表明了形式系统的局限性。

五、希尔伯特的影响

希尔伯特的 23 个问题深刻影响了 20 世纪的数学——许多最重要的数学工作都是为了解决这些问题。希尔伯特的方法——提出问题、指导研究——也成为了数学界的标准做法。

六、问题的力量

希尔伯特的故事表明：提出正确的问题与解决问题同样重要。好的问题可以引导整个领域的发展。数学的进步不仅来自于答案，更来自于问题。