看奇中文网

附录（第1页）

附录

希尔伯特问题

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

希尔伯特在这次著名的讲演中所阐述的每个数学问题都可以解决的乐观信念，对于数学工作者是一种巨大的鼓舞。

希尔伯特的23个问题分属四大块：第1到第6个问题是数学基础问题；第7到第12个问题属数论范畴；第13到第18个问题属于代数和几何范畴；第19到第23个问题属于数学分析范畴。

（1）康托的连续统基数问题。

1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。

1938年，侨居美国的奥地利数理逻辑学家哥德尔证明了连续统假设与ZF集合论公理系统的无矛盾性。

1963年，美国数学家科思证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。

（2）算术公理系统的无矛盾性。

欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。

哥德尔1931年发表不完备性定理做出否定。

根茨1936年使用超限归纳法证明了算术公理系统的无矛盾性。

（3）只根据合同公理证明等底等高的两个四面体有相等的体积是不可能的。

问题的意思是：存在两个等高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等。

德思1900年已解决。

（4）两点间以直线为距离最短线问题。

此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。

1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决。

（5）拓扑学成为李群的条件（拓扑群）。

这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。

1952年，由格里森、蒙哥马利、齐宾共同解决。

1953年，日本的山迈英彦已得到完全肯定的结果。

（6）对数学起重要作用的物理学的公理化。

1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。

对物理学各个分支能否全盘公理化，很多人存有怀疑。

（7）某些数的超越性的证明。

苏联的盖尔封特在1929年、德国的施奈德及西格尔在1935年分别独立地证明了其正确性，但超越数理论还远未完成。

目前，确定所给的数是否超越数，尚无统一的方法。

（8）素数分布问题，尤其是黎曼猜想、哥德巴赫猜想和孪生素数问题。

素数是一个很古老的研究领域。希尔伯特在此提到黎曼猜想、哥德巴赫猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。

（9）一般互反律在任意数域中的证明。

1921年由日本的高木贞治，1927年由德国的阿廷各自给以基本解决。

类域理论至今还在发展之中。