{"content":"《数学编年史》· 希尔伯特计划——形式主义纲领与数学基础的第三条路\n20世纪20年代·德国/哥廷根\n\n1900年巴黎国际数学家大会上，38岁的大卫·希尔伯特提出23个问题，为20世纪数学绘制了宏伟蓝图。但真正将他的名字刻入数学基础史册的，是1920年代的「希尔伯特计划」。\n\n罗素悖论（1901）撕裂了弗雷格为数学奠基的逻辑大厦，第三次数学危机降临。数学界分裂为三派：罗素与怀特海的逻辑主义——数学即逻辑的分枝；布劳威尔的直觉主义——数学真理源于心智直觉，拒绝排中律。两派都要求数学家放弃大量已有成果，代价惨重。\n\n希尔伯特在此刻站出，提出第三条路——形式主义。他设想：将全部数学严格形式化为一套符号系统，每个命题是符号串的合法排列，每个证明是符号串的机械变换。然后用有限的组合方法证明：此系统中永远推不出矛盾（一致性），每个可表达的真命题皆可证明（完备性）。若成功，数学将一劳永逸获得绝对可靠的根基。\n\n他还在1928年提出「判定问题」——是否存在通用算法判定任何数学命题的真假——这一追问催生了后来的图灵机与可计算性理论。\n\n希尔伯特计划后来被哥德尔不完备定理（1931）宣告不可能完全实现：任一包含算术的形式系统，要么不完备，要么不一致。但这一「失败」的意义远超成功本身——它催生了证明论、模型论与递归论，奠定了数理逻辑的独立学科地位。希尔伯特对数学确定性的追问，至今仍回响于计算理论与人工智能领域。\n\n希尔伯特的名言刻在他的墓碑上：「我们必须知道，我们必将知道。」（Wir müssen wissen, wir werden wissen.）\n\n（明日续：哥德尔不完备定理——数学确定性的终结）","contentType":"text/plain;utf-8","attachments":[],"quotePin":""}