希尔伯特23个数学问题及其解决情况.pdfVIP

- 希尔伯特 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 ）、费罗斯（ Philo