[转载] 希尔伯特的数学生涯（重排版）

dragon_kai

崇高的人格与光辉的数学成就

——希尔伯特的数学生涯

摘要：本文叙述了希尔伯特的生平，列举并论述了他的数学研究成果，探
讨希尔伯特对后世数学发展的巨大影响。

关键词：《几何基础》 公理化  哥廷根  “23个数学问题”


前 言

   作为一个时代数学界的领袖，德国人民伟大的儿子，当大卫·希尔伯
特1943年在哥廷根与世长辞时，人们开始回顾他所留下的精神印记和正在
消失在地平线下的那个数学时代，似乎感到希尔伯特的时代比起以往和以
后贯穿着更完美的平衡——精通单个具体问题和形成一般抽象概念之间的
平衡。
   我们称之为希尔伯特的时代，正因为是他，希尔伯特，通过自己的工
作做出了巨大的贡献，开创了二十世纪初那个数学大发展的时代。而后继
者们所走的道路，也几乎都可以追溯到他的推动。希尔伯特是推动着一个
时代的数学的人，“在以后的时代里我们还没有找到可以达到与他相比的崇
高形象”（赫尔曼·外尔语）。


   大卫·希尔伯特对数学的贡献是巨大的和多方面的，研究领域涉及代
数不变式，代数数域，几何基础，变分法，积分方程，无穷维空间，物理
学和数学基础等。当然，他在数学领域所做出的最具影响的贡献还是著名
的几何基础和“23个数学问题”，它们贯穿整个20世纪的数学乃至现在，
影响之深远是我们所无法估量的。
   另一方面，希尔伯特的崇高人格更加为人称道的。许多在数学发展中
起了相当大作用的年轻数学家，都曾在1900至1914年间侨居哥廷根，师
从希尔伯特。而他的问题、观点和数学研究方法的影响更远远超过直接受
他教导所鼓舞的那些人的范围。希尔波特的政治人格同样崇高，是“独一
无二地没有国家和种族偏见的人”，他反对沙文主义，并且主张“科学无国
界”，在政治上始终站在自由和民主的一方。
   我们研究希尔伯特的数学思想和数学成就，以及产生这种成就的源泉，

一、 生平与为人

   1861年春的一天，奥托·希尔伯特和他夫人玛丽亚的遗传基因偶然地
结合，孕育了一个非同寻常的天才人物；1862年1只23日下午一点钟，
他们的第一个孩子降生在靠近东普鲁士首府哥尼斯堡的韦洛。父母给他起
了个名字叫大卫。
   希尔伯特和德国的国家主义几乎同时诞生。他来到人世前的几个月，
已故普鲁士国王的兄弟到哥尼斯堡进行了一次传统的朝拜。在那座古老的
城堡里，他带上了王冠。东普鲁士首都建于公元13世纪中叶，是条顿族骑
士修筑的城堡。市内有七座各具特色的大桥，横跨普累格尔河。其中有五
座把河岸同河中的克亲芳福岛相连接。这些桥可不简单，哥尼期堡因此而
载入了数学史：桥的配置能引出一个数学问题，牵涉著名的拓扑学基础，
之前的一个世纪被欧拉(Euler)所解决。哥尼斯堡大教堂在克余芳福岛，近
旁是一所古老的大学，还有哥尼斯堡最伟大的居民伊曼努尔·康德
(1mmanud Kant)的墓地。像哥尼斯堡所有的孩子一样，大卫的成长也深受
康德言论的抚育。
   1880年秋天，18岁的希尔伯特进人家乡的哥尼斯堡大学，他不顾当法
官的父亲希望他子承父业的愿望，毫不犹豫地进了哲学系学习数学（当时
的大学，数学还设在哲学系内）．希尔伯特发现当时的大学生活要多自由有
多自由．意想不到的自由，使许多年轻人把大学第一年的宝贵时光都花费
在学生互助会的传统活动饮酒和斗剑上。然而对希尔伯特来说，大学生活
的更加迷人之处却在于他终于能自由地把全部精力给予数学了．
   许多德国学生有从一个大学到另一个大学周游的习惯，希尔伯特却不
同，一直在家乡求学，正是在嘉兴的大学里，他攀上了学术界的最初几级
台阶，成为大学讲师，在适当的时候升为副教授。1895年在费力克斯·克
莱因的建议下，被授予哥廷根的正教授的职位，这是他的一流代数家的声
誉已经建立起来了。而哥廷根由于有希尔伯特和稍后闵可夫斯基的加盟，
一下子成为了世界数学的中心。从这时一直到去世，希尔伯特一直在哥廷
根直至1930年退休。

   希尔伯特与三个人的关系很值得关注。
   一是他与克罗内克不免充满矛盾的态度。希尔伯特是康托尔的一般集
合论的早期一个少数的拥护者之一。而克罗内克正是康托尔的死敌。在希
尔伯特看来，克罗内克的数学就是普洛克鲁斯的梯床，这位老数学家利用
自己的全市和声望，压制那些不符合自己数学思想的其它声音。克罗内克
坚持定理的证明必须通过整数明显构造出来。然而另一方面。他又依赖克
罗内克，因为在希尔伯特的代数时期，克罗内克的工作的重要性是毋庸讳
言的。晚年的希尔伯特在这一方面的矛盾其实更加尖锐，与布劳维尔的直
觉主义的论战，其实是在与克罗内克的鬼魂的论战。希尔伯特一方面同克
罗内克斗争事实上又在另一方面追随他：他须沿着严格的直觉主义的路线
来思考，以求保护非直觉主义的数学。
   另两位是阿道尔·胡尔维茨和闵可夫斯基，前者是希尔伯特的老师、
朋友和前任，后者则在青年时就成为希尔伯特挚友并且成为希尔伯特前半
生最忠实的数学伙伴。1902年希尔伯特和闵可夫斯基在哥廷根重新聚首，
这之后的十年，直至闵可夫斯基逝世，数学领域因二人的共同工作经历了
一段伟大而光辉的时期。希尔伯特后来这样谈到他的朋友和他们共同工作
的这段时期：“我们的科学，我们爱它超过一切，它把我们联系在一起。在
我们看来，它好像鲜花盛开的花园。在花园中，有许多踏平的路径可以使
我们从容的左右环顾，毫不费力的尽情享受，特别是有趣味相投的游伴在
身旁。但是我们也喜欢寻求隐秘的小径。发现许多美观的新景，当我们向
对方指出来，我们就更加快乐。”这也不仅证明他们基于共同的科学兴趣的
友谊是如此的深厚，而且我们似乎由这几句话听到希尔伯特这位吹笛人所
吹的甜蜜的芦笛声，它诱惑许多老鼠跟着他投入数学的深河（赫尔曼·外
尔语）。

   这篇文章的主旨只是想简略谈一下希尔伯特个性中的个性方面，因此
笔者并不准备过多涉及他对人们生活中的态度，像社会及政治、艺术、宗
教道德和规范、家庭、友谊、爱情等等方面，也更加没有必要指出在的人
格光环下的某些阴影。然而不可忽略的是以上我们所谈到的他的同行和更
多的环境因素。像哥廷根那样的小镇中的大学，特别是处于1914年以前美
好平静的日子里，正是发展理论科学的最有利场所。教授们的崇高的科学
地位，以及大学城中一切事情都和大学密切相关，这在当今的中国几乎是
一种不可想象的气氛。此外，一旦一帮充满求知欲望的学生围绕着希尔伯
特，不被教学杂务打扰而专门从事研究，彼此之间相互激励，又怎能不产
生丰富的数学硕果。
   当然，这其中更加不能忽略的是希尔伯特的个人魅力。一个希尔伯特
的学生回忆说：“我去听希尔伯特开的课，课程讲的是数的概念和化圆为方。
他讲的内容一直钻进我的脑子里。新世界的门向我敞开了。我在他的班上
听课没多久就在我年青的心里下了决心，我必须用一切方法去阅读和研究
他所写的一切。……这之后几个月使我一生中最幸福的几个月，经历了我
们共同分担的疑虑和失败的岁月之后，它的光辉仍抚慰着我的心灵。”
   一个数学家对于他所处时代的推动并不直接和他科学研究工作的分量
成比例。希尔伯特的数学工作博大精深，然而他的影响并不完全来自这些
工作。同样是哥廷根历史上领军人物的高斯，其数学成就甚至要高过希尔
伯特，但是他对同时代的人的激励却很少，不仅没有形成学派，甚至给某
些年青数学家的前途带来了毁灭性的灾难。高斯与小波尔约和阿贝尔的纠
葛中，高斯都未能表现出一个数学领袖应有的风范。这或许是个人的天性
所决定。尽管很多的创造性的天才习惯于孤独与默默无闻，但是希尔伯特
充满生活热情的天性使他选择了另一种方式。他喜欢和其他人交往，尤其
是同年青科学家交往，并在交往中发展自己，也给对方带来启发。正如他
从胡尔维茨那儿学到东西，在年青时不顾世俗的偏见和闵可夫斯基结成了
终生的友谊。他也在环绕哥廷根的树林中长时期漫步或雨天在有顶的花园
中走来走去时，把科学传授给自己的学生，至少是那些他深感兴趣的学生。
他的乐观主义，他的热情，他对科学的崇高价值的不可动摇的信念以及他
坚信对于简单明了的问题能够求出简单明了的答案的理性的力量，都具有
不可抗拒的感染力。
   他憎恶假装冷淡的势利态度与游手好闲甚至玩世不恭的犬儒主义，他
对人对事总是采取直截了当的态度。即使这样。在他周围总是充满快乐和
欢笑。他惊人的勤奋。“天才就是勤奋”是他的座右铭。而最卓著的是他伟
大的启示性力量，有时甚至使平庸的智利提高到远远超过你所期待的水平
而取得惊人的成就。

二、 数学工作

   希尔伯特的数学工作涉及的领域非常广泛而且成就巨大。他的工作可
以清楚的分为不同的时期，每一时期他都几乎集中于一组特殊的问题，当
他全神贯注于微分方程时，微分防城似乎就是一切，放弃一个题目，他就
永远的离开，转向另外的题目。他就是以这样特殊的方式造就他的广博。
一般的，将他的工作氛围五个主要时期：
   1、不变式理论 （1885－1893）
   2、代数数域理论 （1893－1898）
   3、基础论
   a、几何基础（1898－1902）
   b、一般数学基础（1922－1930）
   4、积分方程（1902－1912）
   5、物理学（1910－1922）
   尽管以上前4个时期的每个时期的数学成就都足以使希尔伯特位列一
流数学家，但论及对整个数学的发展真正举足轻重的还是他的公理化理论
和“23个数学问题”。后者虽然不是一项严格意义上的数学成果，但它的
影响却不比任何一个理论的成果影响小。

（一）、《几何基础》与公理化理论

1、《几何基础》
   希尔伯特在名著《几何基础》中第一次给出了自然、简明、全面、严
格的公理系统，提出了形式公理法，这是公理学上的里程碑。
   在欧几里德的实质公理法中，所讨论的对象是在所列举的公理也是不
完备的。公理系统以前早就已知的，而这些对象（指基本概念）的定义仅
限于直觉描述而不是逻辑定义。因而在定理的证明过程中并非为严格的逻
辑推演，往往诉诸“直观”和“经验”。
   希尔伯特还注意到，要研究数学的逻辑推理，要考察哪种推理过程可
以实现，哪种过程不能实现，与作为前提的诸命题和作为结论的命题的具
体含义无关，只与其逻辑构成形式有关，例如，由“如果A则B”与“如
果B则C”可以推出“如果A则C”，这种推理是常见的、正确的和可以
实现的。并且这种推理与命题A、B、C的具体含义无关。
   因此，希尔伯特在研究欧式几何的基础上，放弃了《几何原本》里公
理系统的直观显然性，而强调逻辑结构，给出了由五组公理构成的公理系
统。这便是希尔伯特《几何基础》的主要内容，也就是所谓的形式公理法。
   在希尔伯特的公理系统中，把“点、线、面”作为一组抽象元素，把
“在…之上”，“在…中间”，“合同于…”作为一组抽象的关系，这是六个
基本概念。然后把他们的基本属性用五组公理形式陈述出来，也就是说与
欧式的实质公理法不同，不是把所讨论的对象作直接的定义，做明显的直
觉描述。而是把它们之间的基本关系的根本性质用公理来刻画。从而把所
讨论的对象整体的公理形式做“隐”的规定，所以，作为抽象元素的点、
线、面和作为抽象关系的“在…之上”，“在…中间”，“合同于…”完全不
必与直觉关系下的点、线、面和他们之间的关系发生任何联系。这六个基
本概念，我们只知道他们是适合上述五组公理的元素和关系，换言之。这
些公理就是在其中出现的概念的定义。同时公理自身就是自己的证明。应
用纯粹逻辑推理来建立几何是，所需要的一切都包含在公理之中了。“
   当我们把这些基本概念看成某一具体领域的元素的关系时，若公理成
了该领域的真命题，就称给公理系统一个解释，或者说给出公理系统的一
个模型。举一例如下：
   考虑非空的集合S＝{x, y, z,…}，S上有一抽象关系R：“在…之前”，
简记为“<”。这里x， y， z……作为抽象的元素，“<”作为抽象的关系，
还并未说明由什么具体含义。
   我们列举两条关于它们的公理：
   1、任何元素不再自身之前，即关系“<”不自反。
   2、如果x<y，y<z，则x<z,，即关系“<”是传递的。
   不难看出公理系统{1,2}是有模型的。例如，当x, y, z指的是人，而人
与人之间有个年龄的大于关系，如果把“x<y”解释作“x大于y”，那么
公理系统{1，2}的一个解释就是：人的集合和人之间的年龄大于关系。
   再如，把x, y, z看成整数，则S就成了整数集Z，而把“<”看成“Z
上的小于关系”，那么整数集Z和他们之间的小于关系就是公理系统{1,2}
的又一解释。

2、公理系统的系统特征
A、 系统的无矛盾性
   希尔伯特用形式公理法研究初等几何的逻辑结构时，首先提出了公理
系统的协调性，即无矛盾性。也就是基于它的公理系统作逻辑演绎时不会
推出互相矛盾的命题来。否则这个公理系统就不能反应“真”、“假”，因而
也就没有意义了。希尔伯特认为公理系统的协调性是解决悖论问题的方法。
为了给出协调性的证明，希尔伯特创立了证明论和有穷方法。这对数学思
想的发展，对数理逻辑和数学基础的研究有很大的促进作用和深远的影响。
以协调性为中心论题的证明论已发展成为数理逻辑的西大分之之一。
B、系统的独立性
   在一个公理系统中，若一个公理A不能从其他公理对出，则称A对于
其它公理是独立的。公理系统应该尽可能的精简。然而一条独立的公理就
不能轻易删除，否则它所包含的内容不能有其它公理推出，系统也就具有
缺陷。
C、系统的完备性
   从公理系统出发借助于逻辑规则可以推演出一个数学分支的全部真命
题，即为公理的完备性。

   公理化方法的出现和研究可以上溯到古希腊时期。在希尔伯特的《几
何基础》问世之后，公理化方法则成为数学研究中的主要研究方法。几乎
现在所有的数学分支都经历过公理法的分析和讨论。可以讲，没有希尔伯
特形式公理法的数学是难以想象的。

（二）、希尔伯特的23个数学问题

   在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问
题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，
提出了23个最重要的数学问题。这23个问题通称“希尔伯特问题” ，后
来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻
的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，
有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的
信念，对于数学工作者是一种巨大的鼓舞。

希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7
到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19
到第23问题属于数学分析。
   （1）康托的连续统基数问题。
   1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即
著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明
连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科思
（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能
用ZF公理加以证明。在这个意义下，问题已获解决。
   （2）算术公理系统的无矛盾性。
   欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提
出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定
理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明
了算术公理系统的无矛盾性。
   （3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可
能的。
   问题的意思是：存在两个登高等底的四面体，它们不可能分解为有限
个小四面体，使这两组四面体彼此全等德思（M.Dehn）1900年已解决。
   （4）两点间以直线为距离最短线问题。
   此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条
件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况
下，问题获解决。
   （5）拓扑学成为李群的条件（拓扑群）。
   这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是
李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾
（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。
   （6）对数学起重要作用的物理学的公理化。
   1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力
学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多
人有怀疑。
   （7）某些数的超越性的证明。
   需证：如果α是代数数，β是无理数的代数数，那么αβ一定是超越
数或至少是无理数（例如，2√2和eπ）。苏联的盖尔封特（Gelfond）1929
年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证
明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越
数，尚无统一的方法。
   （8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。
   素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）
猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解
决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中
国数学家陈景润。
   （9）一般互反律在任意数域中的证明。
   1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以
基本解决。而类域理论至今还在发展之中。
   （10）能否通过有限步骤来判定不定方程是否存在有理整数解？
   求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊
数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南
（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔
（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。
1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。
尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和
计算机科学有密切联系。
   （11）一般代数数域内的二次型论。
   一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这
四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一
般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学
有密切的关系。但严格的基础至今仍未建立。
   （16）代数曲线和曲面的拓扑研究。
   此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要
求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y
是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔
得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣
布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑
问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不
超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程
具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗
庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。1983年，
秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，
从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第
（16）问题提供了新的途径。
   （17）半正定形式的平方和表示。
   实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等
于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。
   （18）用全等多面体构造空间。
   德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）
1928年作出部分解决。
   （19）正则变分问题的解是否总是解析函数？
   德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基
（1939）已解决。
   （20）研究一般边值问题。
   此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。
   （21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性
证明。
   此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒
尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅
（Deligne）作出了出色贡献。
   （22）用自守函数将解析函数单值化。
   此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变
量情形已解决而使问题的研究获重要突破。其它方面尚未解决。
   （23）发展变分学方法的研究。
   这不是一个明确的数学问题。20世纪变分法有了很大发展。

   希尔伯特认为，数学科学是一个不可分割的整体，它的生命正是在于
各个部分之间的联系。尽管数学知识千差万别，但是在作为整体的数学中，
数学家们都在使用着相同的工具，存在着概念的亲缘关系，同时，在它的
不同部分之间，也有大量相似之处。并且希尔伯特相信，数学理论越是向
前发展，它的结构就变得越加的调和一致，并且，这门科学一向相互隔绝
的分支之间也会显露出原先意想不到的关系。因此，随着数学的发展，它
的有机的特性不会丧失，只会更清楚的呈现出来。
   时至今日，希尔伯特的高度预见性已经得到了验证，他向人们指出的
数学方向和具体问题也被证明是极为正确的。

三、 希尔伯特带给我们的启发

   希尔伯特是一个伟大的数学现象,这个现象可以用三个方面来概括：
   1、 数学领域中基础性和革命性的成果；
   2、 对于数学未知的关键领域的高度敏感和预见性；
   3、 一代数学领袖的光辉、无比高尚的人格和巨大的精神感召力。
   是什么给了他这些呢？
   通过以上的探讨，我想可以从以下几个方面来阐述：
   1、少年和青年时代生活环境的影响。哥尼斯堡是一方具有伟大文化和
科学传统的沃土。伟大的先辈，古老的传统，浓重的文化与科学氛围，都
对处于发展时期的希尔伯特产生着潜移默化的影响。
   2、一直处于像哥廷根这样的数学研究中心，长期有杰出的数学家共同
工作。相互之间的交流和关怀对于产生数学硕果具有的决定性的影响。
   3、对朋友真挚的热情，对数学无限的热爱，对知识的不懈追求和严谨
的治学态度，这些都是希尔伯特成其为希尔伯特的关键因素。
   4、在数学道路上对简单性和严格性的坚持和把握。应该说，公理化理

   希尔伯特是20世纪真正意义上的数学大师，他的研究成果博大精深，
无论是生前还是身后，人们对他的评价都是那样高崇。
   由于希尔伯特的杰出贡献，德国政府授予了他“枢密顾问”的称号。
在他六十八岁那年，哥尼斯堡市政会授予了他“荣誉市民”称号。
   希尔伯特毕生投身于数学研究。在他去世时，德国《自然》杂志发表
了这样的观点：“现在世界上难得有一位数学家的工作不是以某种途径导源
于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留
下了他那显赫的名字。”


参考资料：
   《希尔伯特》 康斯坦西·瑞德著 上海科学技术出版社（1982）
   《公理化方法的由来,特征,作用和意义》 温学先 周金安 南都学坛
（1995年第6期）
   《大卫希尔伯特及其数学工作》 赫尔曼·外尔
   《数学问题》 大卫·希尔伯特 （以上两篇来自《数学史译文集》 上
海科学技术出版社）
   《数学思想史》 王树禾著 中国科学技术大学出版社