希尔伯特问题
一、1900年的巴黎
希尔伯特选择问题是基于几个标准：问题应该是清晰的、困难的、但不是不可解决的；问题的解决应该对数学产生深远影响。
二、部分解决的问题
第一问题（连续统假设）——是否存在一个集合，其大小严格介于整数和实数之间？库尔特·哥德尔（Kurt Gödel，1906-1978 年）在 1938 年证明：连续统假设与集合论公理不矛盾。保罗·科恩（Paul Cohen，1934-2007 年）在 1963 年证明：连续统假设的否定也与集合论公理不矛盾。因此，连续统假设是独立于集合论公理的——它既不能被证明，也不能被证伪。科恩为此获得了 1966 年的菲尔兹奖——他发明的力迫法（Forcing）至今仍是集合论的核心工具。
第二问题（算术公理的相容性）——算术公理是否相容？哥德尔不完备定理（1931 年）给出了否定的答案：任何包含算术的公理系统都是不完备的——总有一些真命题不能被证明。
第八问题（黎曼假设）——黎曼ζ函数的所有非平凡零点是否都在实部为 1/2 的直线上？这是数学中最著名的未解决问题之一——它与素数分布密切相关。截至 2025 年，已验证超过十万亿个零点全部满足这一猜想，但一般性证明仍遥遥无期。
已完全解决的问题中，第十问题（丢番图方程的可判定性）尤为精彩——1970 年，苏联数学家尤里·马季亚谢维奇（Yuri Matiyasevich）证明了不存在通用算法来判定任意丢番图方程是否有整数解。第三问题（等底等高多面体必可切割拼合）则早在 1900 年就被希尔伯特的学生马克斯·德恩（Max Dehn）否定——他构造了两个体积相等但无法互相剖分的四面体。23 个问题中，至今仍有约六个处于完全开放状态，包括第八问题（黎曼假设）和第六问题（物理学的公理化）。
三、哥德尔不完备定理
库尔特·哥德尔的不完备定理（1931 年）是 20 世纪最深刻的数学发现之一。第一不完备定理断言：任何包含算术的一致公理系统都是不完备的——总有一些真命题不能在系统内被证明。第二不完备定理断言：任何包含算术的一致公理系统不能证明自身的一致性。
哥德尔不完备定理的意义远超数学——它对哲学、计算机科学和人工智能都有深远影响。它表明：数学真理不能完全被公理化，总有一些真理超越了形式系统的证明能力。
四、图灵与可计算性
艾伦·图灵（Alan Turing，1912-1954 年）在 1936 年定义了图灵机——一种抽象的计算模型。图灵机为可计算性（Computability）提供了精确的定义——一个问题是否可计算，取决于是否存在一个图灵机可以解决它。
图灵证明了停机问题（Halting Problem）是不可判定的——不存在一个图灵机可以判断任意程序是否会停止。这个结论与哥德尔不完备定理有深刻的联系——它们都表明了形式系统的局限性。
五、希尔伯特的影响
希尔伯特的 23 个问题深刻影响了 20 世纪的数学——许多最重要的数学工作都是为了解决这些问题。希尔伯特的方法——提出问题、指导研究——也成为了数学界的标准做法。
六、问题的力量
希尔伯特的故事表明：提出正确的问题与解决问题同样重要。好的问题可以引导整个领域的发展。数学的进步不仅来自于答案，更来自于问题。