希尔伯特

生平#

大卫·希尔伯特（David Hilbert，1862—1943）是20世纪初最伟大的数学家之一，他对数学的发展方向产生了深远影响。他出生于普鲁士的柯尼斯堡（今俄罗斯加里宁格勒），父亲是法官，母亲对数学和天文学有浓厚兴趣。

希尔伯特在柯尼斯堡大学学习数学，1885年获得博士学位。在柯尼斯堡，他结识了赫尔曼·闵可夫斯基（Hermann Minkowski）和阿道夫·赫维茨（Adolf Hurwitz），这两位终生挚友对他产生了重要影响。

1895年，希尔伯特被任命为哥廷根大学数学教授。在此后的近半个世纪中，他将哥廷根建设为世界数学的中心。他的学生和助手包括冯·诺伊曼、外尔、柯朗、诺特等20世纪的杰出数学家。

1900年，希尔伯特在巴黎国际数学家大会上提出了23个未解问题，为20世纪数学研究设定了议程。这23个问题涵盖了数学的几乎所有分支，从数论到几何学，从分析学到数学物理。

希尔伯特是形式主义数学哲学的创始人。他试图将全部数学建立在有限的、完备的、一致的公理系统之上。虽然哥德尔的不完备定理（1931）证明这一纲领不可能完全实现，但希尔伯特的思想深刻影响了数学的发展。

1930年，希尔伯特从哥廷根大学退休。纳粹上台后，他的犹太同事和学生被迫离开德国。希尔伯特晚年孤独而忧郁，1943年2月14日在哥廷根去世，享年80岁。他的墓碑上刻着他的名言："我们必须知道，我们终将知道。"（Wir müssen wissen. Wir werden wissen.）

核心贡献#

希尔伯特23个问题#

1900年，希尔伯特在巴黎国际数学家大会上提出了23个未解问题，为20世纪数学研究设定了议程。这些问题涵盖了数学的几乎所有主要分支：

数论： 1. 连续统假设：是否存在一个基数严格介于可数无穷和连续统之间？（1963年由科恩证明在ZFC中不可判定） 2. 算术公理的相容性：能否证明算术公理系统的一致性？（1931年哥德尔证明不能） 7. 某些数的超越性：$a^b$（$a$ 代数且 $\neq 0,1$，$b$ 无理代数）是否总是超越数？（1934 年由盖尔芳德与施奈德独立证明，即"盖尔芳德-施奈德定理"） 8. 黎曼猜想：ζ函数的非平凡零点实部是否都等于1/2？（至今未解）

代数学： 2. 算术公理的相容性：（同上） 9. 任意数域中最一般的互反律的证明（部分解决） 14. 某些函数的有限性证明（1959年由永田雅宜给出反例）

几何学： 3. 能否把等体积的两个多面体互相剪拼（1900 年——就在希尔伯特演讲的同一年——由他的学生德恩（Max Dehn）解决，论文 1902 年正式发表；答案是否定的：正四面体和等体积的立方体无法互相剪拼，反例由"德恩不变量"给出。这是 23 个问题中最早被解决的一个） 6. 物理学的公理化（部分解决）

分析学： 19. 正则变分问题的解是否一定解析（1957年由De Giorgi和Nash解决） 20. 一般边值问题（已解决） 21. 具有给定单值群的微分方程的存在性证明（1989年由Bolibruch给出反例） 22. 解析关系的单值化（已解决） 23. 变分法的进一步发展（持续进展）

截至2026年，23个问题中有10个已完全解决，7个部分解决，6个未解决。这些问题深刻影响了20世纪数学的发展方向。

希尔伯特空间#

希尔伯特发展了希尔伯特空间理论——量子力学的数学框架。

希尔伯特空间是一个完备的内积空间。即，一个向量空间 $H$ 配备了内积 $\langle \cdot, \cdot \rangle$，使得由内积诱导的度量是完备的。

内积的性质： 1. $\langle x, y \rangle = \overline{\langle y, x \rangle}$（共轭对称性） 2. $\langle \alpha x + \beta y, z \rangle = \alpha \langle x, z \rangle + \beta \langle y, z \rangle$（线性性） 3. $\langle x, x \rangle \geq 0$，等号成立当且仅当 $x = 0$（正定性）

常见的希尔伯特空间： - $\ell^2$：平方可和序列空间 - $L^2[a,b]$：平方可积函数空间 - $\mathbb{C}^n$：$n$ 维复向量空间

希尔伯特空间在量子力学中的应用： - 量子态用希尔伯特空间中的向量表示 - 物理量用希尔伯特空间上的自伴算子表示 - 测量结果是自伴算子的特征值

《几何基础》的公理化#

1899年，希尔伯特发表了《几何基础》（Grundlagen der Geometrie），给出了欧几里得几何的严格公理系统。

希尔伯特的公理系统包含20条公理，分为五组：

1. 关联公理（Incidence axioms）：描述点、线、面之间的关联关系
2. 顺序公理（Order axioms）：描述点在线上的顺序关系
3. 合同公理（Congruence axioms）：描述线段和角的合同关系
4. 平行公理（Parallel axiom）：欧几里得第五公设的现代表述
5. 连续性公理（Continuity axioms）：包括阿基米德公理和完备性公理

希尔伯特的公理系统弥补了欧几里得公理中的逻辑漏洞。例如，欧几里得的"所有直角都相等"实际上是一条定理而非公理；欧几里得的许多证明依赖于图形直觉，而非严格的逻辑推理。

希尔伯特那句名言——"必须能在任何时候用'桌子、椅子、啤酒杯'来代替'点、线、面'"——体现了他的形式主义立场：公理系统中的对象是未定义的原始概念，其性质完全由公理之间的关系决定，与它们"实际是什么"无关。要补充一个常被张冠李戴的史实：这句话并不出现在《几何基础》的正文里，而是布卢门塔尔（Otto Blumenthal）回忆 1891 年前后希尔伯特在柏林某火车站候车时的随口之言——它是一段口头轶事，而非书中文本，但精准概括了全书的结构主义精神。

不变量理论的有限基定理#

希尔伯特在1890年证明了不变量理论的有限基定理（Hilbert's basis theorem）：

定理：多项式环 $k[x_1, x_2, \ldots, x_n]$ 上的每个理想都是有限生成的。

这一定理解决了不变量理论中的一个基本问题。它之所以引起轰动，正因为证明方式是非构造性的——希尔伯特证明了有限生成元一定存在，却没有给出任何把它们具体写出来的方法。当时不变量理论的权威戈尔丹（Paul Gordan）习惯于一切都靠显式计算，面对这种"只证存在、不给构造"的论证，他失声说出那句名言："这不是数学，是神学。"（Das ist nicht Mathematik. Das ist Theologie.）然而希尔伯特的方法最终胜出，连戈尔丹后来也承认："我已说服自己，神学也自有其妙处。"这场争论是数学史上存在性证明 vs 构造性证明之争的标志性事件——它预示了 20 世纪布劳威尔的直觉主义对非构造方法的更系统的挑战。

形式主义数学哲学#

希尔伯特是形式主义数学哲学的创始人。形式主义的核心观点是：

1. 数学是符号游戏：数学对象是未定义的符号，数学定理是符号操作的结果
2. 一致性是唯一要求：一个数学理论只要是一致的（不包含矛盾），就是有效的
3. 有穷方法：数学基础的元数学研究应该只使用有穷的、可构造的方法

希尔伯特的形式主义纲领试图为全部数学找到一个公理系统，并用有穷的、不容置疑的方法证明它： 1. 完备性：所有真命题都可在系统内证明 2. 一致性：系统不包含矛盾，且这一点能用有穷方法证明 3. （相关地）可判定性：是否存在算法判定任意命题——即"判定问题"（Entscheidungsproblem），后来由图灵和丘奇否定地解决

哥德尔的两条不完备定理（1931）击中了前两个目标：第一定理说任何足够强（能表达初等算术）且一致的形式系统都存在既不能证明也不能证伪的命题（不完备）；第二定理说这样的系统不能在自身内部证明自己的一致性。

但这里有一个流行的过度解读必须澄清：哥德尔定理并没有说"数学是不一致的"，也没有说"有些数学真理永远无法被任何方法证明"。它说的是更精确的事——一致性不能由系统自身的、希尔伯特意义上的有穷方法来担保。事实上，纲领并未彻底破产：1936 年根岑（Gentzen）用一个超出皮亚诺算术、但仍然相当"建设性"的方法（沿序数 $\epsilon_0$ 的超限归纳）证明了皮亚诺算术的一致性。所以更恰当的说法是：希尔伯特那个最纯粹版本的纲领（用有穷方法自证一致性）被否决了，但它催生的证明论作为一门学科蓬勃发展至今，"相对一致性"成了现代逻辑的标准工具。

历史背景#

希尔伯特生活在德意志帝国和魏玛共和国时期。这一时期德国是世界数学的中心，哥廷根大学尤其著名——从高斯到黎曼到克莱因到希尔伯特，哥廷根的数学传统延续了一个多世纪。

在数学方面，19世纪末到20世纪初是基础危机的时代。康托尔的集合论引发了关于无穷的争论，罗素悖论动摇了数学的基础。希尔伯特试图通过形式化来解决这些基础问题。

思想遗产#

希尔伯特的影响深远而持久：

1. 希尔伯特空间：成为量子力学和泛函分析的基础
2. 公理化方法：推动了数学的严格化和形式化
3. 23个问题：为20世纪数学设定了议程
4. 形式主义：虽然被哥德尔的不完备定理修正，但深刻影响了数学哲学
5. 哥廷根学派：培养了冯·诺伊曼、外尔、诺特等20世纪的杰出数学家

与其他数学家的关系#

• 闵可夫斯基：希尔伯特的终生挚友，共同研究数论和相对论
• 庞加莱：与希尔伯特在数学基础问题上有深刻分歧
• 哥德尔：哥德尔的不完备定理终结了希尔伯特的形式主义纲领
• 诺特：希尔伯特为诺特在哥廷根的教职据理力争
• 冯·诺伊曼：希尔伯特的学生，发展了希尔伯特空间理论
• 外尔：希尔伯特的学生，将希尔伯特的思想应用于物理学

跨域连接#

• 哥德尔不完备定理：他要求为数学找一套有穷且可机械检验的基础，而正是这个要求被精确化之后，"该纲领不可能完成"才成为一个能被证明的命题。推论是：一个纲领只有形式化到足够精确，才可能被证伪；含糊的纲领连失败都谈不上。
• 量子力学的态空间：完备的内积空间保证收敛序列的极限仍是合法的态，谱分解与概率解释才有立足之处。推论是：若空间不完备，"测得某个本征值的概率"这句话会在极限情形下失去定义，玻恩规则的归一化也就无从谈起。
• 判定问题：他问的是能否有一个机械程序判定任意数学命题；为了回答"机械"究竟指什么，人们才不得不先把计算模型定义出来。推论是：可计算性这个概念是被一个纯数学问题逼出来的，而不是从工程实践里总结出来的。
• 无限维商品空间：跨越无限期的消费流，或按连续状态标记的证券，构成的是无限维空间，均衡存在性的不动点论证必须在那里重做一遍。推论是：资产定价里的随机贴现因子本质上是一次投影，与最小二乘共享同一套几何。
• 公理化的收益：把一个领域公理化，真正的收益不是严格性本身，而是"独立性"从此可以被讨论——去掉某一条会得到什么。推论是：非欧几何之所以能被接受，正因为公理化把"平行公理并非必然"变成了可证明的陈述，而不再是哲学立场之争。

参考文献#

1. David Hilbert, Grundlagen der Geometrie (1899)
2. Constance Reid, Hilbert (1970)
3. Victor Katz, A History of Mathematics: An Introduction (2008)
4. Felix Browder (ed.), Mathematical Developments Arising from Hilbert Problems (1976)

延伸阅读#

1. 梁宗巨, 《数学历史典故》, 辽宁教育出版社, 1992

「我们必须知道，我们终将知道。」——希尔伯特