1 生平
1.1 早年与教育
1.1.1 柯尼斯堡的童年
大卫·希尔伯特于1862年1月23日出生于东普鲁士的柯尼斯堡（今俄罗斯加里宁格勒）。他的父亲奥托·希尔伯特是一名地方法官，母亲玛丽亚·特蕾莎是一位对哲学和天文学颇有兴趣的妇女。希尔伯特的童年并不出彩——他并非神童，甚至在学习上显得迟缓，尤其对拉丁文和希腊文等古典语言缺乏兴趣。然而，他在数学和自然科学方面早早展现出惊人的直觉与专注力。柯尼斯堡作为康德故乡的哲学氛围，也在潜移默化中塑造了他对“知识确定性”的执着追求。
1.1.2 博士生涯与导师林德曼
1880年，希尔伯特进入柯尼斯堡大学学习数学。他的博士导师费迪南德·冯·林德曼是首位证明圆周率π为超越数的数学家。在林德曼的指导下，希尔伯特于1885年完成博士论文《论代数形式的不变性质》，该论文属于代数不变量理论领域。虽然论文本身尚未达到后来的高度，但林德曼给予他的自由研究空间，让希尔伯特养成了独立攻克难题的习惯。值得一提的是，希尔伯特的博士答辩中，林德曼仅问了一个问题就满意地通过了——这后来被希尔伯特本人用来调侃“学问大的人提问总是少的”。
1.2 哥廷根黄金时代
1.2.1 与闵可夫斯基的友谊
1895年，希尔伯特受邀前往哥廷根大学担任教授，那里很快成为世界数学中心。在哥廷根，他与赫尔曼·闵可夫斯基建立了深厚的友谊与学术合作。两人在学生时代就已相识，闵可夫斯基比希尔伯特年轻两岁，却以早慧和几何天赋著称。他们每天下午一同散步，讨论数学、物理甚至哲学问题。这种“散步论坛”形成了哥廷根的一种学术传统，后世流传着“希尔伯特与闵可夫斯基的散步改变数学史”的说法。闵可夫斯基后来在相对论数学框架的建立上发挥了关键作用，与希尔伯特的合作也促成了广义相对论的数学化。
1.2.2 希尔伯特空间的诞生
1900年至1910年间，希尔伯特在积分方程和谱理论方面的工作催生了一个核心概念——希尔伯特空间。最初，这是为了求解无穷多个变量组成的线性方程组而引入的无限维向量空间。希尔伯特意识到，将函数视为无限维空间中的点，并用内积赋予几何结构，可以在统一的框架下处理微分方程、积分方程和傅里叶分析。这一概念后来由约翰·冯·诺伊曼等人公理化，成为量子力学数学语言的基石。希尔伯特本人曾半开玩笑地说：“我只是想弄明白积分方程，结果却弄出了一个宇宙的舞台。”
1.3 晚年与纳粹时期
1.3.1 学术圈的孤独坚守
1933年纳粹上台后，哥廷根大学的犹太裔学者和反对派教职遭到清洗。希尔伯特的许多朋友和同事——包括赫尔曼·外尔、约翰·冯·诺伊曼、埃米·诺特——被迫流亡国外。希尔伯特本人虽为雅利安裔，但他公开拒绝与纳粹政策合作。在一次晚宴上，纳粹教育部长问：“希尔伯特教授，现在哥廷根的数学怎样了？没有了犹太人的影响？”希尔伯特冷冷回答：“哥廷根的数学？已经没有了。”这句话成为他晚年悲剧性的注脚。他努力在学术上坚持研究，但昔日的学术共同体已不复存在。
1.3.2 墓碑上的数学墓志铭
希尔伯特于1943年2月14日因骨折并发症在哥廷根去世，享年81岁。他的墓碑上刻着他生前最喜爱的一句话：“我们必须知道，我们终将知道。”（Wir müssen wissen, wir werden wissen.）这句话是他在1930年柯尼斯堡的一次演讲中，为回应数学知识界限问题而掷地有声的宣言。墓志铭简洁却承载着他对数学真理的绝对信仰，与当时笼罩欧洲的怀疑主义形成鲜明对比。
2 主要贡献
2.1 抽象代数与不变量理论
2.1.1 希尔伯特基定理
希尔伯特在1888年证明的基定理（Hilbert's Basis Theorem）是不变量理论的里程碑。该定理断言：多项式环中的任何理想都有有限生成基。换句话说，看似无穷无尽的代数不变量，实际上可由有限个“基本”不变量组合而成。这一证明当时震惊了数学界，因为甚至前辈保罗·高丹也断言该问题“不可能通过有限步骤解决”。希尔伯特采用非构造性方法，只证明了存在性而不给出具体的基。这引发了关于“存在性证明是否合理”的争论，但也开创了现代抽象代数的范式。
2.1.2 零点定理
希尔伯特的零点定理（Nullstellensatz）建立了几何与代数之间的基本联系：一个代数方程组是否有解，等价于这个方程组生成的理想是否包含1。该定理将代数几何中“点”的概念转化为“理想”的代数语言，为后来代数几何的抽象化奠定了基础。时至今日，零点定理仍是交换代数和代数几何教学中的核心内容。
2.2 泛函分析与积分方程
2.2.1 希尔伯特空间的公理化
希尔伯特空间是一个完备的内积空间，它将欧几里得几何的直觉（长度、角度、正交性）推广到无限维。希尔伯特在关于积分方程的一系列论文中（1904–1910），实际上已经使用了一个接近现代公理化的框架。后来冯·诺伊曼于1929年将其严格公理化，并命名“希尔伯特空间”。希尔伯特空间的引入使得函数分析摆脱了具体的微分方程形式，转向抽象空间结构的研究。
2.2.2 谱理论雏形
在研究积分方程时，希尔伯特发现了对称核的谱分解现象，即一个算子可以表示为特征值和特征向量的“和”。这直接启发了后来的自伴算子谱理论，成为量子力学中测量算符的数学依据。希尔伯特本人并未直接参与量子力学的创建，但他的方法为海森堡和薛定谔提供了工具箱。他在1927年的一次演讲中笑称：“物理学成了应用数学的一个分支，而我不过是在教会物理学家如何正确积分。”
2.3 几何基础与公理化运动
2.3.1 《几何基础》的出版
1899年，希尔伯特出版了《几何基础》（Grundlagen der Geometrie），这是一部让欧几里得几何获得严格公理化表述的书籍。他提出了21条公理（后经修订为20条），将几何的基本对象（点、线、面）视为无定义符号，完全通过公理之间的逻辑关系来约束。这种方法消除了欧几里得原著中依赖直观理解的部分，使得几何学成为纯逻辑体系。该书成为公理化方法的经典范本，影响远超数学领域。
2.3.2 欧几里得第五公设的消解
在《几何基础》中，希尔伯特通过公理系统的独立性分析，表明欧几里得第五公设（平行公设）与其他公理是独立的。这意味着放弃第五公设可以构造出非欧几何，而不会产生逻辑矛盾。希尔伯特更关注的是公理系统的一致性、独立性和完备性，而非囿于哪一种几何为“真实”。他用一句著名的话概括：“数学的对象应通过公理系统来定义，而非通过直观现实。”
2.4 数学物理与方法论
2.4.1 广义相对论中的方程协助
1915年，希尔伯特与爱因斯坦几乎同时独立推导出了广义相对论的场方程。希尔伯特从变分原理出发，得出了与爱因斯坦等效的方程，而他仅比爱因斯坦晚交稿（但更早明晰了数学结构）。两人事后保持着友谊，希尔伯特公开将场方程的发现权完全归于爱因斯坦，承认物理学直觉属于爱因斯坦而数学形式化是他的贡献。这种气度博得了物理学界的高度尊敬。
2.4.2 希尔伯特纲领与形式主义
希尔伯特纲领（Hilbert's Program）是他1920年代提出的数学基础方案：试图将整个数学纳入一个有限的公理系统内，并证明该系统的一致性、完备性和可判定性。这一方案基于形式主义哲学——数学被视为符号游戏，只要证明符号规则不会产生矛盾即可。然而，1931年哥德尔不完备定理证明了这样的系统不可能同时满足一致性与完备性，希尔伯特纲领的核心目标受到根本性打击。但希尔伯特本人并未因此消沉，他调整了策略，认为有穷方法论仍可用于部分一致性证明。
3 希尔伯特的23个问题
3.1 问题的分类与影响力
3.1.1 已解决与未解决问题一览
1900年8月8日，希尔伯特在巴黎第二届国际数学家大会上发表了题为《数学问题》的演讲，提出了23个未解决的问题。截至21世纪初，已有约一半被完全解决，部分获得部分进展，少数几个（如黎曼猜想、连续统假设）仍悬而未决。这些问题覆盖了集合论、代数、数论、几何、拓扑、分析、逻辑等多个领域，每个问题本身就是一个课题的宣言。解决任何一个问题都意味着研究者的重大成就，因此23个问题被喻为“数学界的奥运会金牌清单”。
3.1.2 对当代数学的“游戏规则”
希尔伯特的23个问题不仅仅是问题清单，更确立了一种学术研究范式：由权威学者界定学科的核心前沿问题，然后全球研究者共同努力攻克。这种“问题导向”的方式取代了此前更依赖个人兴趣的零散研究。许多数学分支，如递归论、模型论、代数拓扑，正是在努力解决这些问题的过程中诞生的。后世数学家常调侃：“如果你不知道研究什么，就看看希尔伯特那份清单里还有哪些未解决的。”
3.2 最著名的问题
3.2.1 连续统假设（第一问题）
连续统假设（Continuum Hypothesis, CH）询问：是否存在一个集合，其基数严格介于自然数集与实数集之间？希尔伯特将其列为第一问题，视其为集合论最根本的未决问题。1940年，哥德尔证明CH与ZFC公理系统相容；1963年，保罗·科恩证明CH独立于ZFC。这意味着，在ZFC框架内，CH既不能被证明也不能被否定。该结果标志着数学基础的一次深刻转折，表明公理集合论无法完全决定所有层次上的无穷大小。
3.2.2 数论中的黎曼猜想（第八问题）
黎曼猜想（Riemann Hypothesis）是第八问题的一部分，它断言黎曼ζ函数的所有非平凡零点都位于复平面上实部为1/2的直线上。这一问题自1859年由黎曼提出后，至今未经证明但也被计算机验证了超过10万亿个零点。黎曼猜想与素数分布紧密相关，如果它被证明，数论乃至整个数学都将经历重大变革。希尔伯特本人曾假想一个场景：未来五百年后，若他复活，第一件事就是问黎曼猜想是否已被解决。
3.2.3 丢番图方程可解性（第十问题）
第十问题询问：是否存在一个一般性的算法，能判定任意丢番图方程（整数系数多项式方程）是否有整数解？1970年，尤里·马季亚谢维奇在马丁·戴维斯、希拉里·普特南和朱莉娅·罗宾逊前序工作的基础上，证明这样的算法不存在。这直接否定了希尔伯特的乐观预期，也成为可计算性理论和希尔伯特第十问题的核心结论。有趣的是，希尔伯特用“我们必须知道”的语气提出该问题时，他以为算法一定存在——而他的学生哥德尔后来却参与修补了“不可判定”的翅膀。
4 哲学立场与争议
4.1 形式主义与直觉主义的论战
4.1.1 与布劳威尔的“数学战争”
1920年代，希尔伯特与荷兰数学家鲁伊兹·布劳威尔展开了一场激烈的哲学论战，史称“数学基础之争”。布劳威尔是直觉主义的代表人物，拒绝非构造性证明和排中律在无限集合上的应用；希尔伯特作为形式主义领袖，坚持数学推理的纯粹符号性，不依赖数学对象是否存在“直观”。两人在学术会议上针锋相对——布劳威尔将希尔伯特形式主义嘲讽为“无意义的符号堆砌”，希尔伯特则怒斥直觉主义是“试图阉割数学”。1928年，希尔伯特利用自己在《数学年鉴》编辑委员会的影响力，直接开除了布劳威尔的编委职位，这场论战以形式主义的媒体胜利告终，但哲学争议远未平息。
4.1.2 哥德尔不完备定理的冲击
1931年，哥德尔（希尔伯特的学生辈）发表了不完备定理，证明了任何一个包含算术的一致公理系统都无法证明自身的一致性，且存在不可判定的命题。这直接动摇了希尔伯特纲领的核心基石——数学系统的完全一致性证明不可能通过有穷方法实现。希尔伯特接到消息时震惊而痛苦，传说他当场质问哥德尔：“这是真的吗？”哥德尔平静回答：“是的。”但希尔伯特并未完全放弃，他调整了有穷主义的定义，试图在更受限的系统内获得部分一致性证明。尽管哥德尔的定理宣告了原初希尔伯特纲领的破产，但希尔伯特留下的公理化方法和元数学思想，仍是逻辑学最宝贵的遗产。
4.2 对数学教育的影响
希尔伯特一生重视数学教学，他在哥廷根开设的课程以清晰、结构和激情闻名。他反对死记硬背公式，推崇理解问题背景与逻辑结构。他的教学理念后来体现在“新数学”运动中：强调集合论、公理化和证明结构在中学教科书的引入。虽然这种“抽象化教学”在1960年代部分学校出现水土不服，但它彻底改变了人们对数学的认知：数学不再是计算技巧，而是逻辑思维的训练。希尔伯特曾说：“一个数学问题如果没有被解决，往往不是因为它太难，而是因为还没有被恰当地提出。”这种理念至今仍是数学教育的金句。
5 纪念与遗产
5.1 希尔伯特的名言与轶事
5.1.1 “我们必须知道，我们终将知道”的由来
1930年9月，柯尼斯堡科学大会闭幕演讲中，希尔伯特面对已经质疑数学确定性的时代氛围（如哥德尔定理刚刚浮出水面），毫不犹豫地高呼：“我们必须知道，我们终将知道。”这句话既是数学乐观主义的宣言，也是他人生信念的浓缩。演讲后不久，这句话被镌刻在他的墓碑上。据目击者回忆，台下一位年轻数学家嘀咕：“这恐怕是最后一堂数学自信课了。”
5.1.2 与爱因斯坦的跨学科互损
希尔伯特与爱因斯坦在个人交往中并不缺乏幽默感。据传，两人有一次在柏林大学附近散步，爱因斯坦抱怨物理学越来越难学，希尔伯特调侃道：“别担心，爱因斯坦，你在物理学上已经没什么可教我的了。可我在数学上，还可以教你很多。”爱因斯坦反击：“我担心的是，等到物理学家都变成数学家那天，就没人理解物理现象了。”这种友好的相互调侃，反映出两人在学术上的惺惺相惜。
5.2 以希尔伯特命名的事物
5.2.1 希尔伯特空间、希尔伯特变换
在数学和工程领域，希尔伯特的名字出现在多个概念中：
- 希尔伯特空间：完备内积空间，量子力学与泛函分析的核心舞台。
- 希尔伯特变换：信号处理中将实信号转化为解析信号的积分变换，用于通信系统和稀疏测量中。
- 希尔伯特符号：代数数论中定义的局部域上的二次型符号。
- 希尔伯特公理：欧氏几何的公理体系。
这些命名反映了希尔伯特在不同分支中的基础性贡献。
5.2.2 希尔伯特旅馆悖论（趣味数学梗）
希尔伯特旅馆悖论（Hilbert's Hotel）是一个关于无穷集合的思维实验：一间拥有无限个房间的旅馆，即使住满了客人，也能轻松容纳新来的客人（只需请每位客人移到编号+1的房间）。这一悖论形象地展示了可数无穷集的奇妙性质——在无限性面前，直觉常常受到挑战。它被广泛用于科普无穷基数概念，也成为科幻小说和网络段子里的常见数学梗。有网友调侃：“如果希尔伯特旅馆是4星好评，那旅客退房时一定因为移动的劳改感给了3星。”
5.3 流行文化中的希尔伯特
5.3.1 小说与影视中的客串
在尼尔·斯蒂芬森的科幻小说《编码宝典》（Cryptonomicon）和后来改编的剧集中，希尔伯特以数学家智库成员的形象出现。在《黑客帝国》系列小说版本中，希尔伯特的公理化思想被引用为“矩阵公设”的灵感源泉。此外，在纪录片《数学的故事》中，动画演绎了希尔伯特与布劳威尔在咖啡馆里的哲学斗嘴。虽然希尔伯特本人并未成为主流影视的主角，但他的问题和名言被视为“数学icon”的标配。
5.3.2 数学门户网站的吉祥物化
在互联网数学社区中，希尔伯特的名字被广泛用于门户网站、论坛头像和数学博客的昵称。一些在线数学教育平台（如Brilliant、可汗学院）内部将希尔伯特风格的公理教学称为“希尔伯特模式”。Reddit数学版块中，用户以“HilbertBot”昵称发布自动生成数学问题的帖子，被戏称为“23问吉祥物”。在中国数学科普圈，希尔伯特常被创作者配上“老教授讲大道”的表情包，介绍他的公理化理论和23问。这或许是数学家曾在纸上呼风唤雨，后来却变成表情包界的一员的宿命。