作者：胡作玄

　　自从《２１世纪１００个科学难题》出版之后，希尔伯特的名字也逐渐为更多的人知道，由于数学，特别是现代数学，很难为一般人所理解，自然，数学在媒体上难得有什么地位，而数学家的名字听起来也格外陌生了。无论国外国内，稍有科学素养的人都知道牛顿和爱因斯坦。无疑，牛顿应该是有史以来最伟大的科学家，而爱因斯坦是２０世纪最伟大的物理学家。但是，谈起２０世纪的数学，我想，至少应该记住三个人的名字：庞加莱、希尔伯特和冯·诺伊曼，他们是２０世纪最有影响的数学家。庞加莱是非线性数学（如现代时髦的浑沌理论）的奠基人以及当代数学女王——拓扑学的创建者。冯·诺伊曼被称为"计算机之父"和现代计算数学的奠基人，而数理经济学和对策论（一译博奕论）也由他首先取得突破的。而对２０世纪主流数学——结构数学有巨大影响的当属希尔伯特。　

希尔伯特通过两条途径对２０世纪数学施加影响：一条是通过自己遍及数论、代数、几何、分析以及数学基础的工作，一条是通过提出并研究数学前沿的问题指出未来数学发展的方向。他之所以能做到这点，除了他的天才和格廷根的优美环境之外，就要归结为他的献身精神——热爱数学、学习数学的热望，不断地去深入理解数学的任何一个部门。总之，使数学成为生活中不可或缺的东西。笔者在格廷根的档案馆中发现他的记录和笔记中，有一部分是他取得博士学位以后，访问国内国外知名数学家的记录；另有三大本笔记，详细记录他提出的各种问题以及对各种问题的思考；而他在１９００年８月８日关于《数学问题》的报告显然不是急就章，而是长年思考积累的结果。　

　　希尔伯特的报告不是大会报告，而是数学史组的分组报告，从这个意义上来讲，那时人们的确重视科学发展的历史，而也正是这种重视历史的心态，才使这些最伟大的数学家成就其历史的伟业。从另外一个意义上来讲，希尔伯特的２３个问题是一个继往开来的文献，说它继往，是它总结了１９世纪几乎所有未解决的重要问题；说它开来，是这些问题的确推动了２０世纪数学的进步。因此各数学大国，美国、前苏联、日本以及法国、德国和英国的数学家或组织起来或单独研究希尔伯特问题的历史和现状，并进一步提出新的问题。这里我们也极简单地概括一下，欲知其详，则有待于专著的问世。　

　　希尔伯特的２３个问题分属四大块：第１到第６问题是数学基础问题；第７到第１２问题是数论问题；第１３到第１８问题属于代数和几何问题；第１９到第２３问题属于数学分析。从顺序上讲，显然希尔伯特把自己的重点放在数学基础上，他自己的工作也正为缔造数学大厦牢固的基础而努力。从１９世纪末希尔伯特已致力把数学建立在少数公理的基础上。他还是集合论最早的少数支持者之一，把数学建立在集合论基础上成为他的梦想。这可以解释他为什么把集合论头号问题——连续统假设列为自己的第１问题。希尔伯特通过自己的工作包括他的基础问题对于２０世纪数理逻辑的发展起了决定性的影响。但是希尔伯持的纲领却由于哥德尔１９３０年的不完全性定理而不能实现，从此数理逻辑走向独特的发展道路。从新的观点看，第１、第２以及第１０问题属于数理逻辑的范围，第３、第４、第５、第６属于较为具体的学科。从某种意义来讲，这些问题可以说都在不同程度上得到解决。　

　　数论这一块是希尔伯特本人在１９００年之前最为关注的领域，他本人的工作对这领域的发展也有决定性的影响。出乎他本人的预料，第７问题在他在世时已经解决，而第８问题的黎曼猜想却至今还距离完全解决尚远，成为未来世纪数学家的头号难题。由第１２问题衍生出的朗兰兹（ＬａｎｇＬａｎｄｓ）纲领，更是远未解决，而其它４个问题可以说已经基本解决。　

　　２０世纪的代数学已由方程论和不变式论发展为抽象代数学或近世代数学，这条发展路线虽然同希尔伯特问题关系不大，但的确是在希尔伯特本人工作的影响之下发展起来的。１３、１４和１７这三个代数问题可以说基本解决，它们也给２０世纪数学带来新的方向。几何的三个问题中，第１５问题对于代数几何学的严格化有重要影响，而代数几何学在２０世纪是一门对各方面都有巨大影响的主流学科，它的基础已经建立在交换代数学的基础上。与此相反，１６问题前半的实代数几何学进展不大，尽管希尔伯特的问题有很大进步。１６问题后半的极限环问题经过一个世纪的努力可以说进展甚微，具体讲每一个重要进展在多年之后都发现不对。１８问题共有三问，前两问已经圆满解决，而第三问则发展成一个十分活跃的领域，特别是开普勒（就是发现行星运动的三定律的那位）猜想终于在本世纪结束之前完全证明。　

　　希尔伯特的５个分析问题，可以说都基本解决。希尔伯特从１９００年起研究分析，特别是狄式原理和积分方程直接推动偏微分方程和泛函分析的发展。总之，希尔伯特２３个问题有４个问题仍是下世纪的大问题（第８、第１２、１６Ｂ、１８Ｃ），而其他问题则应在基本解决的基础上提出更多更新的问题。　

　　回顾一个世纪数学的发展，我们的确可以看到希尔伯特通过他自己的工作和提出的问题，把２０世纪数学带上一条健康发展的道路。当然，即使像希尔伯特这样的数学巨人，也自然会有他的局限性。他基本上没有涉及庞加莱的组合拓扑的工作，Ｅ·嘉当关于李代数的工作以及黎曼几何与张量分析和群表示论的研究。但是，他的工作和他的问题同２０世纪特别是上半世纪一半以上的数学研究有联系。而到２０世纪末，数学已发展成如此庞大的领域，已经找不到一个人来提出全面数学问题的清单，他的工作需要几十人来代替。这些领袖人物虽然不像希尔伯特那样广博，但决不是狭窄领域的专家，他们都多少继承希尔伯特的基因，在学科交叉上看到数学未来的前沿。而这正预示着下一世纪数学辉煌的前景，也是解决老问题，提出新问题的关键所在。　

希尔伯特的２３个问题简介
希尔伯特的２３个问题希尔伯特（Ｈｉｌｂｅｒｔ　Ｄ·，１８６２．１．２３￣１９４３．２．１４）是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中，几乎走遍了现代数学所有前沿阵地，从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心，他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者，使哥廷根的传统在世界产生影响。希尔伯特去世时，德国《自然》杂志发表过这样的观点：现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大，在整个数学版图上，留下了他那显赫的名字。
　　１９００年，希尔伯特在巴黎数学家大会上提出了２３个最重要的问题供二十世纪的数学家们去研究，这就是著名的"希尔伯特２３个问题"。

　　１９７５年，在美国伊利诺斯大学召开的一次国际数学会议上，数学家们回顾了四分之三个世纪以来希尔伯特２３个问题的研究进展情况。当时统计，约有一半问题已经解决了，其余一半的大多数也都有重大进展。

　　１９７６年，在美国数学家评选的自１９４０年以来美国数学的十大成就中，有三项就是希尔伯特第１、第５、第１０问题的解决。由此可见，能解决希尔伯特问题，是当代数学家的无上光荣。

　　下面摘录的是１９８７年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特２３个问题及其解决情况：

　　１．连续统假设

　　１８７４年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。１９３８年，哥德尔证明了连续统假设和世界公认的策梅洛－－弗伦克尔集合论公理系统的无矛盾性。１９６３年，美国数学家科亨证明连续假设和策梅洛－－伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛－－弗伦克尔公理体系内证明其正确性与否。希尔伯特第１问题在这个意义上已获解决　

　　２．算术公理的相容性

　　欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。１９３１年，哥德尔发表的不完备性定理否定了这种看法。１９３６年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性　

　　１９８８年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。

　　３．两个等底等高四面体的体积相等问题

　　问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等。Ｍ·Ｗ·德恩１９００年即对此问题给出了肯定解答。

　　４．两点间以直线为距离最短线问题

　　此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。１９７３年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决。

　　《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。

　　５．一个连续变换群的李氏概念，定义这个群的函数不假定是可微的

　　这个问题简称连续群的解析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼（１９３３，对紧群情形）、邦德里雅金（１９３９，对交换群情形）、谢瓦荚（１９４１，对可解群情形）的努力，１９５２年由格利森、蒙哥马利、齐宾共同解决，得到了完全肯定的结果　

　　６．物理学的公理化

　　希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学。１９３３年，苏联数学家柯尔莫哥洛夫实现了将概率论公理化。后来在量子力学、量子场论方面取得了很大成功。但是物理学是否能全盘公理化，很多人表示怀疑　

　　７．某些数的无理性与超越性

　　１９３４年，Ａ·Ｏ·盖尔方德和Ｔ·施奈德各自独立地解决了问题的后半部分，即对于任意代数数α≠０
　　，１，和任意代数无理数β证明了αβ的超越性　

　　８．素数问题

　　包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想的最佳结果属于陈景润（１９６６），但离最解决尚有距离。目前孪生素数问题的最佳结果也属于陈景润。

　　９．在任意数域中证明最一般的互反律

　　该问题已由日本数学家高木贞治（１９２１）和德国数学家Ｅ·阿廷（１９２７）解决。

　　１０．丢番图方程的可解性

　　能求出一个整系数方程的整数根，称为丢番图方程可解。希尔伯特问，能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性？１９７０年，苏联的ＩＯ·Ｂ·马季亚谢维奇证明了希尔伯特所期望的算法不存在　

　　１１．系数为任意代数数的二次型

　　Ｈ·哈塞（１９２９）和Ｃ·Ｌ·西格尔（１９３６，１９５１）在这个问题上获得重要结果。

　　１２．将阿贝尔域上的克罗克定理推广到任意的代数有理域上去

　　这一问题只有一些零星的结果，离彻底解决还相差很远。

　　１３．不可能用只有两个变数的函数解一般的七次方程

　　七次方程的根依赖于３个参数ａ、ｂ、ｃ，即ｘ＝ｘ（ａ，ｂ，ｃ）。这个函数能否用二元函数表示出来？苏联数学家阿诺尔德解决了连续函数的情形（１９５７），维士斯金又把它推广到了连续可微函数的情形（１９６４）。但如果要求是解析函数，则问题尚未解决。

　　１４．证明某类完备函数系的有限性

　　这和代数不变量问题有关。１９５８年，日本数学家永田雅宜给出了反例。

　　１５．舒伯特计数演算的严格基?

　　一个典型问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学不密切联系。但严格的基础迄今仍未确立。

　　１６．代数曲线和代数曲线面的拓扑问题

　　这个问题分为两部分。前半部分涉及代数曲线含有闭的分枝曲线的最大数目。后半部分要求讨论

　　的极限环的最大个数和相对位置，其中Ｘ、Ｙ是ｘ、ｙ的ｎ次多项式。苏联的彼得罗夫斯基曾宣称证明了ｎ＝２时极限环的个数不超过３，但这一结论是错误的，已由中国数学家举出反例（１９７９）。

　　１７．半正定形式的平方和表示

　　一个实系数ｎ元多项式对一切数组（ｘ１，ｘ２，。。。，ｘｎ）

　　都恒大于或等于０，是否都能写成平方和的形式？１９２７年阿廷证明这是对的。

　　１８．用全等多面体构造空间

　　由德国数学家比勃马赫（１９１０）、荚因哈特（１９２８）作出部分解决。

　　１９．正则变分问题的解是否一定解析

　　对这一问题的研究很少。Ｃ·Ｈ·伯恩斯坦和彼得罗夫斯基等得出了一些结果。

　　２０．一般边值问题

　　这一问题进展十分迅速，已成为一个很大的数学分支。目前还在继续研究。

　　２１．具有给定单值群的线性微分方程解的存在性证明

　　已由希尔伯特本人（１９０５）和Ｈ·罗尔（１９５７）的工作解决。

　　２２．由自守函数构成的解析函数的单值化

　　它涉及艰辛的黎曼曲面论，１９０７年Ｐ·克伯获重要突破，其他方面尚未解决。

　　２３．变分法的进一步发展出

　　这并不是一个明确的数学问题，只是谈了对变分法的一般看法。２０世纪以来变分法有了很大的发展。

　　这２３问题涉及现代数学大部分重要领域，推动了２０世纪数学的发展。




２１世纪七大数学难题
　　 最近美国麻州的克雷（Ｃｌａｙ）数学研究所于２０００年５月２４日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个"千僖年数学难题"的每一个悬赏一百万美元。以下是这七个难题的简单介绍。
　 "千僖难题"之一：Ｐ（多项式算法）问题对ＮＰ（非多项式算法）问题　

　　在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数１３，７１７，４２１可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为３６０７乘上３８０３，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（ＳｔｅｐｈｅｎＣｏｏｋ）于１９７１年陈述的。　　　

　 "千僖难题"之二： 霍奇(Hodge)猜想

　　二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。　　

　 "千僖难题"之三： 庞加莱(Poincare)猜想

　　如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是"单连通的"，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。　　

　 "千僖难题"之四： 黎曼(Riemann)假设

　　有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s＄的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。　　

　 "千僖难题"之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口

　　量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于"夸克"的不可见性的解释中应用的"质量缺口"假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。　　

　 "千僖难题"之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

　　起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

　 "千僖难题"之七： 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

　　数学家总是被诸如x^2 y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。