大卫·希尔伯特（David Hilbert）

20 世纪数学的「总设计师」——他用一条存在性定理终结了整个不变量理论，用一本小册子把几何从欧几里得的直觉里解放出来变成纯粹的公理游戏，用一张 23 条问题的清单为下一个世纪的数学划定了版图；他把积分方程的谱理论锤炼成量子力学的数学舞台（希尔伯特空间），又在晚年以「希尔伯特纲领」为全部数学的一致性背水一战，直到哥德尔敲钟。「我们必须知道，我们必将知道」——这既是他的墓志铭，也是那个相信数学问题皆可解的黄金时代的最后宣言。

一、生平与时代背景

大卫·希尔伯特（David Hilbert）于 1862 年 1 月 23 日出生在普鲁士王国东普鲁士。关于确切出生地，文献有两种说法：一说是魏劳（Wehlau，今俄罗斯加里宁格勒州兹纳缅斯克），其父当时在该地任职；另说为哥尼斯堡（Königsberg，今俄罗斯加里宁格勒），这是希尔伯特本人的说法（标存疑：两种记载并存，MacTutor 取 Wehlau，维基百科并列二者并注明希尔伯特自陈 Königsberg）。父亲奥托·希尔伯特（Otto Hilbert）是县法官，出身法官与枢密参事世家，为人刻板，每日走同一条路、每年只出城一次度假；母亲玛丽亚·特蕾泽·埃尔特曼（Maria Therese Erdtmann）是哥尼斯堡商人之女，却痴迷哲学、天文学与素数。大卫是家中长子，6 岁时妹妹埃尔泽（Elise/Elsie）出生。

他 8 岁才入学（通常 6 岁），几乎可以肯定此前由母亲在家教导。1872 年进入哥尼斯堡的弗里德里希文科中学（Friedrichskolleg / Collegium Fridericianum）——这正是 140 年前康德就读的学校。该校重拉丁希腊文、轻数学，不教自然科学，教学以死记硬背为主，希尔伯特自称在这里是个"迟钝又愚蠢"的孩子（dull and silly），成绩并不突出。1879 年 9 月他转学到更偏重理科的威廉文科中学（Wilhelm Gymnasium）度过最后一学年，数学获最高分，毕业评语称其"对数学始终抱有极浓厚的兴趣与深刻的理解力……能稳健而富于独创性地加以运用"。1880 年秋入哥尼斯堡大学（阿尔贝蒂娜 Albertina）。

第一学期他修了积分学、行列式论与曲面曲率；第二学期按当时德国游学传统赴海德堡，听拉扎鲁斯·富克斯（Lazarus Fuchs）的课。1881—1882 学年回哥尼斯堡，听海因里希·韦伯（Heinrich Weber）讲数论与函数论。1882 年春，赫尔曼·闵可夫斯基（Hermann Minkowski）从柏林回到哥尼斯堡，两人结为终身挚友，相互影响至深。1883 年林德曼（Ferdinand von Lindemann）接任韦伯职位，1884 年春胡尔维茨（Adolf Hurwitz）受聘为副教授（Extraordinarius），三人（希尔伯特、闵可夫斯基、胡尔维茨）每天"准五点"在苹果树散步讨论数学，成为哥尼斯堡著名的"三叶草"。胡尔维茨是希尔伯特数学成长中最重要的引路人，林德曼则成为其博士导师。

1884 年 12 月 11 日希尔伯特通过口试，博士论文题目为 Über invariante Eigenschaften spezieller binärer Formen, insbesondere der Kugelfunctionen（《论特殊二元型、特别是球函数的不变性质》）；1885 年 2 月 7 日公开答辩两条命题（一条物理、一条哲学），获博士学位。随后通过国家教师资格考试（Staatsexamen），并听林德曼的普吕克线几何、李球面几何课与胡尔维茨的模函数课。胡尔维茨建议他去莱比锡见克莱因（Felix Klein），他从之，又结识了皮克（Georg Pick）与施图迪（Eduard Study）。克莱因让他和施图迪去巴黎访问，二人于 1886 年 3 月底成行，拜访了庞加莱、若尔当、埃尔米特、达布等人——与埃尔米特谈得最投机，反复讨论不变量理论的大问题。归途中经哥廷根见施瓦茨（H. A. Schwarz），再到柏林见克罗内克（Leopold Kronecker）与外尔斯特拉斯（Weierstrass）——这两位向他展示了两种截然不同的数学未来观。

1886 年希尔伯特回哥尼斯堡提交不变量理论的特许任教资格论文（Habilitation），任编外讲师（Privatdozent）直至 1892 年；1892 年任副教授，1893 年任正教授。1888 年 3 月他再度出游，一个月内走访柏林、莱比锡、哥廷根等地约 20 位数学家，其中在莱比锡与戈尔丹（Paul Gordan，当时不变量理论的头号权威）畅谈八日，十分投契——但正是这次会面促使他彻底放弃戈尔丹的算法路线，转而用存在性方法攻克"戈尔丹问题"。

1892 年 10 月 12 日，希尔伯特与远房堂妹克特·耶罗施（Käthe Jerosch，1864—1945）结婚，她是哥尼斯堡商人之女，性格独立直率。1893 年 8 月 11 日独子弗朗茨（Franz Hilbert，1893—1969）出生。弗朗茨终生受精神疾病困扰，后被送入精神病院，希尔伯特一度说"从今往后我得把自己当作没有儿子"——这给克特带来极大痛苦（据康斯坦丝·里德的传记）。

1895 年，经克莱因运作，希尔伯特受聘为哥廷根大学数学教授（施瓦茨去柏林后，韦伯接任又于 1893 年转赴斯特拉斯堡，克莱因遂力排众议请来希尔伯特）。此后他在哥廷根度过余生，与克莱因一起把哥廷根打造成 19 世纪末至 20 世纪 30 年代世界数学的中心。1902 年柏林大学邀他接任富克斯的讲席，他婉拒，但借此机会说服校方新设一个讲席把挚友闵可夫斯基请到哥廷根。1902—1939 年他担任 Mathematische Annalen（当时最重要的数学期刊）的主编。1907 年当选美国国家科学院国际通讯院士，1903 年获罗巴切夫斯基奖，1910 年获波尔约奖（Bolyai Prize）。

1909 年 1 月 12 日闵可夫斯基因急性阑尾炎去世，希尔伯特深受打击，在追悼会上称其为"最要好最真挚的朋友"。此后他的兴趣转向物理学（气体动理论、辐射理论），并于 1915 年在广义相对论上与爱因斯坦几乎同时导出引力场方程。1917 年他重返数学基础，保罗·贝尔奈斯（Paul Bernays）于该年来到哥廷根做其助手。1921 年他在汉堡作三次讲演，正式提出希尔伯特纲领。约 1925 年他患上恶性贫血（pernicious anemia），当时无药可治，主要症状是极度疲劳；其助手尤金·维格纳（Eugene Wigner）回忆他"显得很苍老"，"1925 年之后几乎不再是科学家，更不再是那个希尔伯特"，虽经诊断治疗后略有起色。1930 年退休（讲席由外尔接任）。

1930 年 9 月 8 日，在德国科学家与医生协会的退休演说中，他以著名的两句话作结——这也是针对生理学家杜布瓦-雷蒙（du Bois-Reymond）"我们不知道，也不会知道（Ignoramus et ignorabimus）"的回应：

Wir müssen wissen. Wir werden wissen. （我们必须知道。我们必将知道。） 这两句后来刻在他的墓碑上。极具反讽意味的是，就在前一天（1930 年 9 月 7 日），哥德尔在哥尼斯堡的一次圆桌讨论中首次试探性地宣布了（第一）不完备定理——它将从根本上动摇希尔伯特纲领的乐观信念。

1933 年纳粹上台，《恢复职业公务员法》清退了哥廷根大批犹太或与犹太人结婚的教员：外尔、埃米·诺特（Emmy Noether）、兰道（Edmund Landau）被迫离去，与希尔伯特合著《数学基础》的贝尔奈斯也不得不离开。约一年后希尔伯特赴宴，坐在新任教育部长鲁斯特（Bernhard Rust）旁边，鲁斯特问"数学研究所是不是因为犹太人离开而蒙受巨大损失"，希尔伯特答："蒙受损失？它已经不存在了，不是吗？"

1943 年 2 月 14 日希尔伯特在哥廷根去世，享年 81 岁。此时纳粹已几乎彻底改组了大学，他的葬礼出席者不足十二人，其中学术界同人只有两位（理论物理学家、同为哥尼斯堡人的索末菲（Arnold Sommerfeld）是其中之一），死讯数月后才为外界广泛知晓。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 不变量理论的终结：希尔伯特基定理（1888 证明 / 1890 发表）——代数

问题背景：19 世纪不变量理论研究代数型（齐次多项式）在坐标变换下保持不变的量。戈尔丹 1868 年用繁复计算证明了二元型不变量环的有限基存在（即所有不变量可由有限个基本不变量多项式表出），但推广到三元以上变量时计算量爆炸，几十年无人突破，这被称为"戈尔丹问题（Gordan's Problem）"。

关键思想：希尔伯特起初尝试沿戈尔丹的算法路线，很快意识到必须换路。他彻底放弃具体计算，转而证明一个更一般的抽象命题——不构造基，只证明基存在，且方法对任意多变量成立。这是数学史上第一次把"存在性证明"大规模、自觉地运用到核心代数问题中。

精确表述：希尔伯特基定理——若环 $R$ 是诺特环（每个理想都有限生成），则多项式环 $R[x]$ 也是诺特环。归纳即得：$R[x_1,\dots,x_n]$ 是诺特环。作为推论，域 $k$ 上任意多元多项式环 $k[x_1,\dots,x_n]$ 的每个理想都有限生成。由此，不变量环作为多项式环的子环/商，其不变量理想有限生成，故存在有限基——戈尔丹问题对任意元数均获肯定解答。希尔伯特原始证明（1890，Über die Theorie der algebraischen Formen，Math. Ann. 36）对域上多元多项式直接证明，未用诺特环语言（那是后来 Emmy Noether 的抽象表述）。

与前人关系：戈尔丹 1868 年对二元型给出构造性证明。希尔伯特的非构造性证明一开始被戈尔丹拒绝，评论"这不是数学，这是神学（Das ist nicht Mathematik, das ist Theologie）"，后克莱因力排众议原文发表；多年后戈尔丹承认"连神学也有其价值"。这一事件是构造主义与存在性（经典）证明冲突的标志性事件。

局限性：原始证明非构造，不能具体写出基。19 世纪末 20 世纪初，构造性版本由希尔伯特本人在 1893 年的第二篇论文中给出（估计生成元最高次数），而真正可计算的算法要等到 20 世纪 60 年代的格罗贝纳基（Gröbner basis）理论。基定理依赖排中律/选择公理的弱形式，由此引发与克罗内克、布劳威尔的长期争论。

2. 零点定理（Nullstellensatz）与合冲定理（1890）——代数几何的交换代数起点

问题背景：多项式方程组的公共解集（代数簇）与多项式理想之间有何精确对应？

关键思想：在同一篇 1890 年论文中，希尔伯特证明了把"几何的零点集"与"代数的理想"对偶起来的基本定理，为用交换代数研究代数几何奠定了语言基础。

精确表述：设 $k$ 为代数闭域。弱零点定理：多项式 $f_1,\dots,f_m\in k[x_1,\dots,x_n]$ 在 $k^n$ 中无公共零点，当且仅当存在多项式 $g_1,\dots,g_m$ 使 $\sum g_i f_i=1$（即理想 $(f_1,\dots,f_m)$ 为整个环）。强零点定理：对任意理想 $I$，其零点集的"消失理想"等于 $I$ 的根理想 $\sqrt I$，即 $I(V(I))=\sqrt I$。由此仿射代数簇与根理想之间存在反序双射。同文中希尔伯特还证明了合冲定理（Syzygy Theorem）：多项式环上有限生成模的自由分解长度至多为 $n$（这是现代同调代数中"投射维数"的雏形）。

与前人关系：此前代数几何（如黎曼、克莱布施、诺特）以几何直觉为主，缺乏代数基础；希尔伯特三定理（基、零点、合冲）使代数几何可以在纯代数框架下重建，是 20 世纪扎里斯基、韦伊、格罗滕迪克代数几何的远源。

局限性：需基域代数闭；非代数闭情形需用实零点定理（后来的发展）。合冲定理的现代形式由 Emmy Noether、嘉当等人重写。

3. 《数论报告》（Zahlbericht，1897）与类域论的奠基——代数数论

问题背景：19 世纪代数数论经库默尔（理想数）、克罗内克、戴德金（理想论）发展，但文献艰深晦涩、缺乏统一叙述，年轻人难以入门。德国数学会（1890 年成立）委托希尔伯特撰写代数数论的综述报告。

关键思想：希尔伯特并未满足于综述，而是重写了整个代数数论：以戴德金的理想论为主线，统一库默尔与克罗内克的成果，并在其中注入大量自己的新概念与猜想——这些后来直接长成了类域论。他把报告写成一篇原创研究而非普通综述。

精确表述 / 内容：Die Theorie der algebraischen Zahlkörper（Zahlbericht，刊于 Jahresbericht der DMV 4，1897，175—546 页）。核心包括：代数数域的理想论、分歧理论、相对扩张、希尔伯特乘积公式（Produktformel，Theorema Magnum）、希尔伯特定理 90（Satz 90）（对循环扩张，若元素的范数为 1，则形如 $\alpha/\sigma(\alpha)$）——这条定理后来成为伽罗瓦上同调 $H^1$ 平凡性的原型。书中他提出了一系列猜想（希尔伯特类域猜想）：每个数域都存在一个极大非分歧阿贝尔扩张（希尔伯特类域），其伽罗瓦群同构于理想类群，且理想在其中皆为主理想。这些猜想构成了类域论的蓝图。

与前人关系：系统整理并超越了库默尔、克罗内克、戴德金。其类域猜想由高木贞治（Takagi，1920）解决（存在任意阿贝尔扩张的类域论），阿廷（Artin，1927）证明一般互反律，哈塞（Hasse）完成后续，最终通向朗兰兹纲领。阿廷、哈塞、赫克、外尔都是从这本书学的数论。

局限性：只处理阿贝尔扩张的猜想；非阿贝尔类域论至今仍是开放问题（希尔伯特第 9、12 问题即源于此）。

4. 《几何基础》（Grundlagen der Geometrie，1899）与现代公理化方法——几何基础

问题背景：欧几里得《几何原本》作为教科书沿用两千多年，但其公理系统存在漏洞：默认了连续性、顺序（betweenness）、图形的"搬动"与全等而未列公理，证明常依赖图形直觉（如著名的"所有三角形都是等腰的"伪证明即利用了图上的顺序漏洞）。19 世纪帕施（Moritz Pasch，1882）已尝试补全顺序公理，但未完成彻底的公理化。

关键思想：希尔伯特在 1898—1899 年哥廷根讲课基础上写成《几何基础》，首次给出欧几里得几何的完备、独立、相容的公理系统。其革命性在于：公理不再被当作"自明真理"，而是无定义对象之间关系的形式约定——他说过一句名言（对舍恩弗利斯与克特尔）："人们必须随时能用'桌子、椅子、啤酒杯'来代替'点、线、面'。"几何只处理对象间由公理定义的关系，与对象的具体含义无关。

精确表述：系统以六个无定义概念为基础：点、直线、平面（三个对象），以及关联（incidence）、介于（betweenness）、合同（congruence，含线段合同与角合同）（三个关系）。公理分五组（初版 21 条，后世通行版 20 条——数量因版本而异，标存疑：第一版 1899 年为 21 条，经多次修订后第 7 版（希尔伯特生前最后一版）为 20 条；MacTutor 取 21，维基百科取 20，原因即版本差异）： - I. 关联公理（8 条）：点线面的从属关系； - II. 顺序公理（4 条）：含帕施公理（直线与三角形一边相交则必与另一边相交）——填补了欧几里得最大的漏洞； - III. 合同公理（6 条）：线段与角的全等； - IV. 平行公理（1 条，即普莱费尔形式）； - V. 连续公理（2 条）：阿基米德公理 + 完备性公理（Vollständigkeitsaxiom，在法文版/后续版中加入，保证实数模型的极大性）。

希尔伯特还系统研究了公理之间的独立性、相容性、完备性：用模型（如庞加莱的双曲几何模型证明平行公理独立；构造非阿基米德几何证明阿基米德公理独立）证明各组公理相互独立；用笛卡尔解析几何在实数中构造模型，把几何的相容性归约为实数算术的相容性。

与前人关系：帕施（1882）已引入顺序公理；皮亚诺等人也在做公理化。但希尔伯特是第一个把公理化提升为通用方法论的人——公理不仅组织已知内容，更成为研究对象本身。这本书是 20 世纪"公理化学科"运动（从几何到分析、物理乃至经济学）的源头。

局限性：希尔伯特的公理系统在现代一阶逻辑意义下并非完全一阶可表达（完备性公理是二阶的）；其相容性被归约到实数算术，而实数算术本身的相容性正是他后来第 2 问题与希尔伯特纲领要解决的——最终被哥德尔证明不能在系统内完成。

5. 1900 年巴黎 23 个数学问题——20 世纪数学的路线图

问题背景：1900 年 8 月在巴黎索邦召开第二届国际数学家大会，希尔伯特应邀作主题演讲。他选择不报告已完成的成果，而是展望下个世纪：一份精心挑选的未解问题清单，作为对数学共同体的挑战。

关键思想：希尔伯特相信"每一个数学问题都必然能够得到严格解决……只要它陈述得足够清楚"。他在演讲开头说："只要一门知识还能供给丰富的问题，它就保持着生命力。"23 个问题横跨集合论与基础、几何、数论、代数、分析、数学物理，覆盖面之广、眼光之前所未有。

精确表述：23 个问题（1902 年由 Mary Winston Newson 英译发表于 BAMS）： 1. 连续统的基数（连续统假设）； 2. 算术公理的相容性； 3. 等底等高四面体体积相等（剪拼同余）； 4. 直线作为两点间最短距离的几何构造； 5. 不假设可微性的李变换群概念； 6. 物理学公理的数学处理； 7. 某些数的无理性与超越性； 8. 素数问题（含黎曼假设、哥德巴赫猜想、孪生素数）； 9. 任意数域中最一般互反律的证明； 10. 丢番图方程可解性的判定； 11. 任意代数数系数的二次型； 12. 克罗内克—韦伯定理到任意代数域的推广； 13. 一般七次方程不能只用二元函数求解； 14. 某些完全函数系有限性的证明； 15. 舒伯特枚举微积分的严格基础； 16. 代数曲线与曲面的拓扑； 17. 正定形式表为平方和； 18. 由全等多面体构造空间； 19. 变分法正则问题的解是否必为解析？ 20. 一般边值问题； 21. 具有给定单值群的线性微分方程的存在性； 22. 用自守函数将解析关系单值化； 23. 变分法方法的进一步发展。

与前人关系：这是数学史上最成功的个人问题清单。其中许多直接催生了 20 世纪重大突破：第 3 问题由德恩（Dehn，1900）用德恩不变量否定解决；第 1 问题由哥德尔（1940）与科恩（1963）证明在 ZFC 中不可判定；第 2 问题被哥德尔不完备定理（1931）从根本上改写；第 7 问题由盖尔范德—施奈德（Gelfond–Schneider，1934）解决；第 10 问题由马蒂亚谢维奇（Matiyasevich，1970）否定解决；第 17 问题由阿廷（Artin，1927）解决。至今第 8（黎曼假设等）、第 9、第 12、第 16 等仍未解决。

局限性 / 存疑：①问题 4 和 23 表述过于模糊，难以判定是否已"解决"；②希尔伯特原清单实际上有第 24 个问题（证明的简单性判据，属于证明论），他最终未收入发表版，2000 年由德国数学史家吕迪格·蒂勒（Rüdiger Thiele）在希尔伯特手稿中重新发现（标存疑：手稿发现的时间与解读）；③部分问题（如 6b、13、15）的"是否已解决"至今有争议。

6. 积分方程、谱理论与希尔伯特空间的创立（1904—1912）——分析 / 泛函分析

问题背景：19 世纪末，弗雷德霍姆（Ivar Fredholm，1900）研究了第二类积分方程 $\varphi(x)+\lambda\int_a^b K(x,y)\varphi(y)\,dy=f(x)$，得到解的存在性定理。但他的理论缺少对核 $K$ 的结构（特别是对称性）与解的分解的深入分析。

关键思想：希尔伯特从 1904 年起发表六篇积分方程论文（1904—1906 五篇，1910 第六篇，1912 年汇成《线性积分方程一般理论纲要》出版）。他的核心洞察是：把积分方程看成有限维线性代数的极限——对称核对应对称矩阵，从而把有限维对称矩阵的谱定理（特征值为实数、可正交对角化）推广到无穷维，开辟了谱理论。

精确表述：对对称核 $K(x,y)=K(y,x)$，希尔伯特证明积分算子的特征值（Eigenwert，这一术语由他引入）皆为实数，存在完备的正交特征函数系 ${\varphi_n}$，任意 $L^2$ 函数可按该系展开（广义傅里叶展开）；并证明了特征值的极值刻画（Rayleigh–Ritz 原理的严格形式）。这实质上是自伴紧算子谱定理的先驱。希尔伯特在研究中使用了平方可和序列空间 $\ell^2$（把函数按正交基展开得到系数序列），并研究其几何——这就是希尔伯特空间的雏形。抽象的希尔伯特空间概念（完备内积空间）后来由施密特（Erhard Schmidt，约 1905 年）把希尔伯特的思想正式化为单一概念，并引入大量几何术语，而"希尔伯特空间"这一名称由冯·诺依曼（John von Neumann）在 1929 年量子力学的数学基础中正式命名。

与前人关系：弗雷德霍姆建立积分方程基本定理；希尔伯特发展其谱理论；施密特、里斯（F. Riesz）完善空间框架。这一整套工作是泛函分析的真正起点，后来由巴拿赫、冯·诺依曼等人抽象为完备赋范空间与算子代数理论。

局限性：希尔伯特当时处理的是紧的（全连续）对称算子，谱定理限于有界自伴算子的一般形式要等到冯·诺依曼（1929—1932）；无界自伴算子的谱定理也是冯·诺依曼完成，成为量子力学的严格数学基础。

7. 狄利克雷原理的严格化与变分法直接法（1904）——分析 / PDE

问题背景：狄利克雷原理说：在给定边界值的所有函数中，使狄利克雷能量 $\int_\Omega |\nabla u|^2\,dx$ 最小者就是拉普拉斯方程的解（调和函数）。黎曼在 1851 年博士论文中用它证明黎曼映射定理，但外尔斯特拉斯 1870 年指出该原理不成立：能量泛函的下确界未必能取到（存在性缺失），由此黎曼复分析的一大块基础崩塌，成为 19 世纪分析的著名危机。庞加莱 1887 年用另一方法（扫除法）绕过它证明了存在性。

关键思想：希尔伯特在 1904 年（思想可追溯到 1899—1900 年的讲演）用变分法直接法恢复了狄利克雷原理：不是把极小化问题转化为微分方程再求解，而是直接在函数空间中证明极小元的存在性——在边界适当光滑的条件下，取能量极小化序列，证明其（子列）弱收敛到一个函数，再证该函数取到极小值。

精确表述：对具有适当光滑边界的区域与边界数据，存在唯一函数 $u$ 使 $\int_\Omega |\nabla u|^2$ 在给定边界值的函数类中取极小，且该 $u$ 调和。希尔伯特的证明是现代变分法直接法（direct methods in the calculus of variations）的开端，也是弱收敛/紧性方法进入 PDE 的里程碑。

与前人关系：外尔斯特拉斯提出批评；庞加莱 1887 年给出存在性证明但方法不同；希尔伯特是第一个恢复黎曼"变分存在性"路线的人。后来的索伯列夫空间、外尔引理把狄利克雷原理的希尔伯特空间框架彻底透明化。希尔伯特的第 19、20 问题也正源于对变分法与边值问题正则性的关切。

局限性：希尔伯特当时的严格性在现代标准下仍有不足（紧性论证依赖区域的光滑性假设）；一般区域的完整处理由后来的势论与索伯列夫空间理论完成。

8. 华林问题的解决（1908 / 1909）——数论

问题背景：1770 年英国数学家爱德华·华林（Edward Waring）在《代数沉思录》中猜想：对每个整数 $k\ge 2$，存在只依赖于 $k$ 的正整数 $g(k)$，使每个正整数都可表为至多 $g(k)$ 个非负整数的 $k$ 次幂之和（$k=2$ 即拉格朗日四平方定理；$k=3$ 等为开放）。

关键思想：希尔伯特 1909 年证明了华林猜想，使用的是极其精巧的恒等式与多重积分估计方法——他把 $k$ 次幂和表示问题转化为对某种三角和/积分的估计，证明存在有限界。这是存在性证明，不给出具体的 $g(k)$。

精确表述：希尔伯特定理（Waring 问题）：对每个 $k\ge 2$，存在正整数 $s=s(k)$，使得每个正整数 $n$ 都可以写成 $n=x_1^k+\cdots+x_s^k$（$x_i\ge 0$ 整数）。这一定理首次确认了 $g(k)$ 的存在性，是加法数论的里程碑。

与前人关系：拉格朗日 1770 年证明四平方定理；哈代与李特尔伍德 1920 年代的圆法、维诺格拉多夫的方法后来给出了 $g(k)$ 的渐近与精确值（如 $g(3)=9$），并发展出更强大的解析数论工具。希尔伯特的存在性证明为这些后续工作开辟了道路。

局限性：证明非构造，不给出 $g(k)$ 的具体值；其方法后来被圆法取代。

9. 希尔伯特纲领与证明论（1921—）——数理逻辑 / 数学基础

问题背景：19 世纪末 20 世纪初数学基础遭遇危机：集合论悖论（罗素悖论等）、康托尔集合论的合法性争议、以及布劳威尔的直觉主义对经典数学（尤其是排中律在无穷上的使用）的全面挑战。希尔伯特的学生外尔甚至转向直觉主义，宣布"数学处于新的基础危机中"。

关键思想：希尔伯特在 1921 年汉堡讲演中提出希尔伯特纲领，核心有三：①形式化——把全部数学（包括无穷概念、排中律）公理化并完全形式化为符号系统；②有穷主义（finitism）——存在一个有特权的、内容性的初等数论部分，只处理具体的符号串（如竖线序列 $|||$ 表示数），不假定实无穷，其推理具有直觉上的绝对可靠性；③一致性证明——用有穷主义方法证明整个形式化数学的相容性（不可能同时推出 $A$ 与 $\neg A$），从而一劳永逸地为经典数学辩护，回应布劳威尔。

精确表述：纲领的目标表述为：对包含足够多算术的形式系统 $T$，用可在 $T$ 内形式化的有穷方法证明 $T$ 的相容性 $\operatorname{Con}(T)$。纲领的技术工具是元数学（metamathematics / Beweistheorie，证明论）——把数学证明本身当作研究对象，研究公式与推导的句法性质。希尔伯特与贝尔奈斯发展了 ε-演算（epsilon calculus） 与 ε-代入法 作为一致性证明的工具，并在《理论逻辑基础》（与阿克曼，1928）中首次给出一阶逻辑的现代形式。

结局：哥德尔不完备定理（1931）表明：任何包含足够算术的、相容的形式系统 $T$，都不能在自身内部证明自己的相容性（第二不完备定理）。由于有穷主义方法被认为可形式化在算术中，因此用有穷主义方法证明算术的相容性在原则上不可能——希尔伯特纲领的原始目标失败。贝尔奈斯在研究哥德尔论文后（1931 年 1 月）立即意识到这一点；冯·诺依曼也独立证明了阿克曼一致性证明有误。

与前人关系：希尔伯特的几何公理化（1899）与第 2 问题（1900）是纲领的源头；罗素—怀特海《数学原理》（1910—1913）提供了形式化逻辑工具；他的直接对手是布劳威尔（直觉主义）与早年追随布劳威尔的外尔。哥德尔本人正是被希尔伯特纲领激励才研究不完备性的。

局限性 / 后续：纲领虽在原始形式下失败，却催生了证明论这一整个学科。根岑（Gentzen，1936）用超出有穷主义的方法（直到 $\varepsilon_0$ 的超穷归纳）证明了皮亚诺算术的相容性，开启相对化希尔伯特纲领（relativistic Hilbert program），至今仍是证明论的核心方向。

10. 理论逻辑基础与形式系统（1917—1928）——数理逻辑

问题背景：在 1917 年的《公理化思想》讲演中，希尔伯特意识到公理化研究需要一个成熟的逻辑形式系统。他当时依赖的施罗德代数逻辑不适合作为数学的形式化语言，而罗素《数学原理》的系统过于繁复。

关键思想：1917 年贝尔奈斯到哥廷根后，希尔伯特在一系列讲课（1917—1921）中重新发展了一阶逻辑的现代形式：明确区分对象语言与元语言、语法与语义、公理与推理规则。1928 年与阿克曼合著的《理论逻辑基础》是第一本清晰呈现一阶谓词逻辑的现代教科书。

精确表述：书中精确提出了一阶逻辑的完备性问题（后来的"哥德尔完备性定理"所回答的：每个普遍有效的一阶公式是否可证？——哥德尔 1929 年博士论文给出肯定回答）和可判定性问题（Entscheidungsproblem）：是否存在算法判定任意一阶公式的有效性？——这一问题由图灵（1936）与丘奇（1936）独立否定解决，直接催生了可计算性理论与图灵机。

与前人关系：弗雷格、皮亚诺、罗素奠定了符号逻辑；希尔伯特—贝尔奈斯把它整理为可用的现代形式，并明确提出语义完备性与可判定性这两个驱动了 20 世纪逻辑的核心问题。

局限性：希尔伯特与阿克曼在书中曾误以为某种谓词逻辑系统是完备的（后来发现有缺陷）；严格的语义学（真、满足的模型论定义）由塔尔斯基在 1930 年代给出。

11. 物理的公理化（第 6 问题）与理论物理研究（1912—1915）——物理公理化

问题背景：希尔伯特第 6 问题要求"对物理学公理进行数学处理"，即像几何一样把物理公理化，特别是：(a) 概率与统计物理基础的公理化；(b) 从原子论到连续介质运动定律的极限过程的严格理论。此外，希尔伯特本人在 1912 年后把大量精力投入理论物理。

关键思想与成果： - 概率公理化：希尔伯特 1900 年就呼吁公理化概率，1910 年代在哥廷根讲授概率与统计物理。第 6(a) 问题最终由柯尔莫哥洛夫（Kolmogorov，1933）的测度论公理体系解决。 - 气体动理论：希尔伯特 1912 年研究玻尔兹曼方程，发展了用积分方程方法求解分子速度分布函数的逐次逼近（希尔伯特展开），这是动理论数学化的重要工作。 - 辐射理论：1912 年前后研究热辐射的数学基础。 - 广义相对论与爱因斯坦—希尔伯特作用量（1915）：1915 年 11 月 20 日，希尔伯特向哥廷根科学院提交《物理学的基础》（Die Grundlagen der Physik），用变分原理从一个作用量导出引力场方程： $$S_{\mathrm{EH}}=\frac{1}{2\kappa}\int R\sqrt{-g}\,d^4x,$$ 其中 $R$ 为里奇标量、$g$ 为度规张量行列式、$\kappa$ 为引力常数。对度规变分 $\delta S=0$ 即得爱因斯坦场方程。爱因斯坦在 1915 年 11 月 25 日（即希尔伯特提交后五天）向普鲁士科学院提交了他的场方程论文。这引发了长期的广义相对论场方程优先权之争（见第六节）。

与前人关系：爱因斯坦 1915 年 11 月 4 日、11 日、18 日已连续提交三篇逐步修正的论文，接近最终方程；希尔伯特受爱因斯坦 1915 年夏天在哥廷根的系列演讲启发，用其更熟练的变分法独立得到作用量形式。希尔伯特始终把广义相对论的创立归功于爱因斯坦。

局限性 / 存疑：第 6(b) 问题（从原子论到连续介质的极限）至今没有公认的彻底解决；2025 年有论文（Deng–Hani–Ma）声称从牛顿粒子定律推出连续流体方程与玻尔兹曼方程，尚在同行评议中。

12. 希尔伯特曲线（1891）——分析中的空间填充曲线

问题背景：1890 年皮亚诺构造了第一条空间填充曲线（把单位区间连续映到单位正方形上的满射），震惊了数学界——它表明"维数"与"连续映射"的关系远比直觉复杂。

关键思想：希尔伯特在 1891 年构造了自己的空间填充曲线（后人称希尔伯特曲线），用迭代的递归替换规则定义：把正方形四等分，按特定顺序连接各小正方形中心，再对每个小正方形递归，取一致收敛的极限。

精确表述：存在连续映射 $H:[0,1]\to[0,1]^2$，其像覆盖整个单位正方形（即 $H$ 是满射）。希尔伯特曲线的逼近具有局部保持邻近性的特点，至今是空间索引（如地理数据库的 Hilbert R-tree）与图像处理的常用工具。

与前人关系：皮亚诺 1890 年首建空间填充曲线；希尔伯特的构造更直观、几何性更强，引发了对维数、测度、分形的长期研究（曲线"长度"无穷但面积有限）。

局限性：希尔伯特曲线处处不可微；连续满射 $[0,1]\to[0,1]^2$ 的存在性动摇了 19 世纪对"维数"的朴素理解，直到 20 世纪初布劳威尔的维数不变定理才澄清。

13. 捍卫康托尔集合论与经典数学的方法论立场——数学基础

问题背景：克罗内克（构造主义）、后来的布劳威尔（直觉主义）质疑康托尔集合论与实无穷的合法性，甚至要把大部分经典分析"革出教门"。

关键思想：希尔伯特是康托尔集合论最坚定的捍卫者。他说"没有人能把我们逐出康托尔为我们创造的乐园（Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können）"。他坚持经典数学（包括排中律、实无穷、非构造性证明）的合法性，认为它们是"我们最有价值的宝藏"。

精确表述：在与布劳威尔的争论中，希尔伯特把排中律比作"禁止拳击手使用拳头"。他的策略不是否定直觉主义的批评，而是在保留经典数学全部内容的前提下，用有穷方法证明其相容性——这正是希尔伯特纲领。他还推动策梅洛（1904，良序定理）等人的集合论工作，并在 1925 年《论无穷》中系统阐述了潜无穷与实无穷、有穷数学与理想数学（ideal mathematics，含无穷的经典部分）的区分，把理想数学视为"有用的虚构"，只需证明其不产生矛盾即可。

与前人关系：康托尔创立集合论却饱受攻击；希尔伯特是其最重要的支持者。策梅洛的集合论公理化（1908）也受到哥廷根学派的推动。

局限性：希尔伯特"用有穷方法捍卫无穷数学"的梦想被哥德尔打破；但他对集合论的捍卫使其最终成为现代数学的标准语言。

四、代表著作与文献

• 博士论文：Über invariante Eigenschaften spezieller binärer Formen, insbesondere der Kugelfunctionen（1885，哥尼斯堡大学）。
• 《论代数形式的理论》（Über die Theorie der algebraischen Formen，Math. Ann. 36，1890，473–534）：基定理、零点定理、合冲定理。
• 《数论报告》（Die Theorie der algebraischen Zahlkörper / Zahlbericht，Jahresbericht der DMV 4，1897，175–546）：代数数论的经典著作，类域论的源头；1998 年由 Lemmermeyer/Schappacher 等首次英译出版（The Theory of Algebraic Number Fields，Springer）。
• 《几何基础》（Grundlagen der Geometrie，Teubner，1899；生前出到第 7 版，后世多次再版）：现代公理化方法的奠基作；1902 年 E. J. Townsend 授权英译（The Foundations of Geometry，Open Court）。
• 《数学问题》（Mathematische Probleme，Archiv der Mathematik und Physik，1901；1902 年 Mary Winston Newson 英译发表于 BAMS）：23 个问题的原始文献。
• 积分方程六篇论文（1904—1910），汇成 《线性积分方程一般理论纲要》（Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen，Teubner，1912）。
• 《狄利克雷原理》（Über das Dirichletsche Prinzip，Jber. DMV，1904 讲演 / Math. Ann. 1905 刊出）。
• 《华林问题的证明》（Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen，Nachr. Ges. Wiss. Göttingen，1909）。
• 《物理学的基础》（Die Grundlagen der Physik，Nachr. Ges. Wiss. Göttingen, Math.-Phys. Kl. 3，1915，395–407；1916 年发表修订版）：爱因斯坦—希尔伯特作用量。
• 《公理化思想》（Axiomatisches Denken，1918，Math. Ann.）。
• 《论无穷》（Über das Unendliche，Math. Ann. 95，1926，161–190）：有穷主义立场的系统阐述。
• 《理论逻辑基础》（Grundzüge der theoretischen Logik，与 W. 阿克曼合著，Springer，1928）：一阶逻辑的首部现代教科书。
• 《数学基础》（Grundlagen der Mathematik，与 P. 贝尔奈斯合著，两卷，Springer，1934 / 1939）：证明论的系统总结。
• 《希尔伯特全集》（David Hilbert Gesammelte Abhandlungen，3 卷，Springer，1932—1935；第 1 卷数论、第 2 卷代数/几何/不变量、第 3 卷分析/数学基础/物理）。
• 未刊手稿：包括第 24 问题（Thiele 2000 年重新发现）、1915 年《物理学基础》的初校样（1997 年发现，对优先权之争至关重要）。

五、师承、学派与同时代交往

• 师承：
• 博士导师：费迪南德·冯·林德曼（Ferdinand von Lindemann）（哥尼斯堡，以证明 π 超越性闻名）。
• 最重要的师长：阿道夫·胡尔维茨（Adolf Hurwitz）——1884 年到哥尼斯堡后，每日散步讨论，是希尔伯特数学视野的主要塑造者。
• 游学：海德堡听富克斯，莱比锡见克莱因，巴黎见庞加莱/若尔当/埃尔米特/达布，柏林见克罗内克/外尔斯特拉斯。
• 精神前辈：费利克斯·克莱因——把他挖到哥廷根，二人共治哥廷根数学系直至克莱因 1925 年去世。
• 学生（部分，含博士与助手）：希尔伯特在哥廷根指导了约 69 名博士，其中著名者：
• 奥托·布卢门塔尔（Otto Blumenthal，1898）、费利克斯·伯恩斯坦（Felix Bernstein，1901）、赫尔曼·外尔（Hermann Weyl，1908）、理查德·库朗（Richard Courant，1910）、埃里希·赫克（Erich Hecke，1910）、胡戈·施坦豪斯（Hugo Steinhaus，1911）、威廉·阿克曼（Wilhelm Ackermann，1925）、卡尔·古斯塔夫·亨佩尔（Carl Gustav Hempel，1934）。
• 另有恩斯特·策梅洛（Ernst Zermelo）（虽非博士但属其学派）、伊曼纽尔·拉斯克（Emanuel Lasker，国际象棋世界冠军）、约翰·冯·诺依曼（John von Neumann）（1926—1930 年任其助手）、尤金·维格纳（Eugene Wigner）（后期助手）。
• 学派与合作者：
• 赫尔曼·闵可夫斯基：终身挚友，1902 年被希尔伯特请到哥廷根，1909 年早逝；二人常以"苹果树下散步"讨论数学与物理。
• 埃米·诺特（Emmy Noether）：非博士学生，但希尔伯特与克莱因 1915 年力主让她在哥廷根任教（克服反对意见，希尔伯特称"我看不出候选人的性别为何妨碍她成为编外讲师——毕竟这是大学不是澡堂"，此句真伪有争议，标存疑：常被引用，原始出处为里德的传记，属广为流传的轶事），她在哥廷根创立抽象代数，是哥廷根学派的重要成员。
• 保罗·贝尔奈斯：1917 年起的助手与合作者，合著《数学基础》。
• 阿尔伯特·爱因斯坦：1915 年夏在哥廷根演讲，与希尔伯特就广义相对论有密切交流（见第六节）。
• 主要对手与论争对象：
• 利奥波德·克罗内克：构造主义，对希尔伯特的非构造性证明持批评态度（1891 年去世，争论未久）。
• 保罗·戈尔丹：基定理论文的审稿人，最初拒绝。
• L. E. J. 布劳威尔：直觉主义的代表，希尔伯特晚年的主要论争对手；二人之争不仅是数学的，还涉及 Mathematische Annalen 编辑权（1928 年希尔伯特将布劳威尔逐出编委会，"布劳威尔事件"）。
• 赫尔曼·外尔：一度转向直觉主义，令希尔伯特极为痛心，称其为自己"有天赋的学生"却被布劳威尔"诱惑"；外尔后来回归经典数学。
• 学派归属：希尔伯特是哥廷根学派（高斯—狄利克雷—黎曼—戴德金—克莱因—希尔伯特—外尔—诺特）的巅峰领袖。该学派经外尔、库朗、诺特的学生传承到美国（普林斯顿、纽约大学库朗研究所），在 1933 年后成为美国数学的中坚。

六、争议、公案与历史评价

• 基定理："这是神学"：戈尔丹对希尔伯特非构造性证明的著名拒绝，是构造主义与经典数学冲突的缩影。后来戈尔丹承认其价值。
• 广义相对论场方程的优先权之争：希尔伯特 1915 年 11 月 20 日提交《物理学的基础》，爱因斯坦 11 月 25 日提交场方程论文。表面看希尔伯特抢先五天，一度被认为希尔伯特先得到方程。但1997 年在哥廷根发现了希尔伯特论文的初校样（proofs），显示校样中不含最终的场方程完整形式——正式发表版（1916）补入的内容很可能参考了爱因斯坦 11 月 25 日的论文。学界主流结论因此调整为：爱因斯坦独立且在先地得到了正确场方程，优先权属于爱因斯坦；希尔伯特独立发现了变分作用量形式（爱因斯坦—希尔伯特作用量），是广义相对论数学表述的重要贡献者。（标存疑/学界有争议：少数研究者仍根据校样的解读为希尔伯特主张部分优先权；但爱因斯坦—希尔伯特作用量的命名本身反映了二人各自的贡献。）希尔伯特本人始终把广义相对论的创立归功于爱因斯坦，从未争夺优先权。
• "桌子、椅子、啤酒杯"名言：广为引用的希尔伯特公理化思想名言，出处是他对舍恩弗利斯与克特尔说的话（见于传记与数学史文献），属可信但非一手发表的转述。
• "大学不是澡堂"轶事：希尔伯特为诺特争取编外讲师资格时被传所说，原始来源为康斯坦丝·里德传记，属广为流传但存疑的轶事。
• 对哥德尔不完备定理的反应：传说希尔伯特得知定理后"很生气"（"ausgefallen / angry"），最初不相信；但也有记述他后来接受并在《数学基础》第二卷中纳入了哥德尔的结果。（标存疑：具体反应的细节各传记记述不一。）哥德尔 1930 年 9 月 7 日在哥尼斯堡宣布第一不完备定理时，希尔伯特未在场（他次日的退休演讲仍在宣称"我们必将知道"），形成历史反讽。
• 布劳威尔事件（1928）：希尔伯特以健康与年龄为由，把直觉主义领袖布劳威尔逐出 Mathematische Annalen 编委会，布劳威尔认为这是人身攻击。此事被爱因斯坦（编委）称为"青蛙与老鼠之战"，对希尔伯特的声誉有损。
• 对儿子弗朗茨的态度：弗朗茨患精神病入院后，希尔伯特说"从今往后我得把自己当作没有儿子"，这给妻子克特带来极大痛苦（据里德传记），反映了他在情感上的冷酷一面。
• 历史评价：希尔伯特是 20 世纪上半叶最具影响力的数学家，与庞加莱并称世纪之交两大领袖。他的影响不在某个具体定理，而在方法论：公理化、存在性证明、问题驱动的研究纲领、对学科整体结构的关切。他的学生与合作者（外尔、冯·诺依曼、诺特、策梅洛、柯朗、赫克……）构成了 20 世纪数学的中坚。他的乐观主义（"每一个数学问题都可解"）被哥德尔修正为更精细的图景，但这种对数学可知性的信念塑造了整个 20 世纪的数学文化。
• 常见误传：①"希尔伯特证明了连续统假设"——否，第 1 问题由哥德尔与科恩证明在 ZFC 中不可判定；②"希尔伯特空间由希尔伯特正式定义"——否，希尔伯特研究了 $\ell^2$ 与积分算子，但抽象空间概念由施密特形式化、由冯·诺依曼命名；③"希尔伯特先于爱因斯坦发现广义相对论"——如上述，优先权属于爱因斯坦，希尔伯特贡献的是作用量变分形式；④"希尔伯特晚年完全痴呆"——他患恶性贫血致体力衰退，但心智仍活跃到 1930 年代，《数学基础》第二卷仍在合作中。

七、身后影响与学术谱系

• 代数与代数几何：基定理、零点定理、合冲定理是交换代数与现代代数几何的基石；"环 = 诺特环"的语言由 Emmy Noether 继承，扎里斯基、韦伊、格罗滕迪克的代数几何都建在希尔伯特奠定的基础上。第 14 问题（不变量环有限性）由永田雅宜（Nagata，1959）给出反例，推动了不变量理论的复兴。
• 代数数论与类域论：《数论报告》与希尔伯特的类域猜想由高木、阿廷、哈塞完成，直接通向 20 世纪后半叶的朗兰兹纲领（非阿贝尔类域论）。
• 几何与公理化：《几何基础》开启的公理化运动影响遍及数学各分支乃至物理、经济学（阿罗—德布鲁的一般均衡公理化）。希尔伯特第 3 问题（德恩不变量）开创了几何测度论的一个方向；第 5 问题（局部欧几里得拓扑群是李群）由格利森（Gleason）、蒙哥马利—齐平（Montgomery–Zippin，1953）解决。
• 分析与泛函分析：积分方程谱理论 → 希尔伯特空间 → 冯·诺依曼的量子力学数学基础（1929—1932）→ 现代泛函分析、偏微分方程、算子代数。狄利克雷原理的变分法直接法 → 现代变分法与 PDE 弱解理论（索伯列夫空间）。
• 数理逻辑与计算：希尔伯特纲领虽败，却催生了证明论与可计算性理论：他提出的完备性问题与可判定性问题直接激励了哥德尔完备性定理（1929）、不完备定理（1931）、图灵机（1936）与丘奇定理（1936），是计算机科学的远源。
• 物理：第 6 问题推动了概率公理化（柯尔莫哥洛夫）与数学物理的公理化；爱因斯坦—希尔伯特作用量是广义相对论的标准作用量形式，至今是量子引力（圈量子引力、弦论）研究的出发点。
• 数学文化：23 个问题开创了"问题驱动"的研究模式，直接启发了后续的斯梅尔问题（1998）、千禧年七大难题（2000）。
• 学术谱系：
• 希尔伯特 → 外尔 → （理论物理与数学物理的许多传人）；
• 希尔伯特 → 库朗 → （纽约大学库朗研究所，美国应用数学中心）；
• 希尔伯特 → 冯·诺依曼 → （量子力学基础、计算机、博弈论）；
• 希尔伯特（学派）→ 诺特 → （阿廷、范德瓦尔登，抽象代数）；
• 希尔伯特 → 贝尔奈斯 → （证明论）。
• 文化与纪念：希尔伯特空间、希尔伯特变换、希尔伯特曲线、希尔伯特基定理、希尔伯特零点定理、希尔伯特纲领、希尔伯特类域、希尔伯特符号、希尔伯特—施密特算子、希尔伯特—爱因斯坦作用量、希尔伯特第 16/17 问题等以其命名；月球上有希尔伯特环形山；哥廷根数学研究所前有希尔伯特—克莱因纪念碑；墓碑刻"Wir müssen wissen, wir werden wissen"。哥廷根大学数学图书馆以他命名。

八、延伸阅读与权威来源

• MacTutor 数学史档案：David Hilbert：圣安德鲁斯大学权威传记，本档案生平与学术脉络的核心出处。
• Stanford Encyclopedia of Philosophy: Hilbert's Program：希尔伯特纲领的权威哲学阐述（历史发展、有穷主义、哥德尔的影响、相对化纲领）。
• Wikipedia: David Hilbert：生平、著作、成就与争议的交叉核对（本档案年表主要来源之一）。
• Wikipedia: Hilbert's problems：23 个问题的完整清单、解决状态与年份（含第 24 问题的重新发现）。
• Wikipedia: Hilbert's basis theorem：基定理的精确陈述、1890 年论文出处与"这是神学"轶事。
• Wikipedia: Hilbert's axioms：《几何基础》公理系统（20 条，原 21 条）的六原始概念与五组公理。
• Wikipedia: Hilbert space：希尔伯特空间的定义、起源（希尔伯特—施密特—里斯，冯·诺依曼命名）与应用。
• Wikipedia: Einstein–Hilbert action：爱因斯坦—希尔伯特作用量的公式、变分推导与 1915 年出处。
• MacTutor 数学史档案：Erhard Schmidt：核对施密特把希尔伯特积分方程思想形式化为希尔伯特空间（约 1905 年）。
• SEP: 19th Century Geometry（Hilbert 公理化章节）：核对《几何基础》在 19 世纪几何公理化史中的位置。
• Wikipedia: Hilbert's Nullstellensatz：零点定理的强/弱形式与代数簇—理想对应。
• Wikipedia: Hilbert's program：纲领的目标、哥德尔不完备定理的影响与证明论后续发展。
• Deutsche Biographie: David Hilbert：德国权威传记辞典条目，核对《数论报告》与生平纪年。
• Constance Reid, Hilbert（Springer, 1996 初版 1970）：权威性英文传记，本档案若干轶事（弗朗茨、诺特、与爱因斯坦交往）的主要来源。
• N. Schappacher 等，David Hilbert: Report on Algebraic Number Fields (Zahlbericht) (1897)（收入《Landmark Writings in Western Mathematics 1640–1940》）：《数论报告》历史地位的研究。
• J. Mehra, Einstein, Hilbert, and the Theory of Gravitation（Reidel, 1974）：广义相对论优先权之争的详细研究（含 1997 年校样发现后的讨论）。