希尔伯特23个数学问题.docVIP

Hilbert 23个数学问题 1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决。他在讲演中所阐发的信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。[01]康托的连续统基数问题。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]某些数的超越性的证明。是代数数，是无理数的代数数，那么一定是超越数或至少是无理数（例如，和）。苏联的盖尔（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]一般代数数域内的二次型论。Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A·Weil）取得了新进展。12]类域的构成问题。13]一般七次代数方程以二变量连续函数之组合求解的不可能性。的根依赖于3个参数、；。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在上连续的实函数可写成形式，这里和为连续实函数。柯尔莫哥洛夫证明可写成形式这里和为连续实函数，的选取可与完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。14]某些完备函数系的有限的证明。上的以为自变量的多项式，为上的有理函数构成的环，并且试问是否可由有限个元素的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。15]建立代数几何学的基础。1938年至1940年，魏依1950年已解决。Schubert）计数演算的严格基础。16]代数曲线和曲面的拓扑研究。的极限环的最多个数和相对位置，其中、是的次多项式。对（即二次系统）的情况，1934年福罗献尔得到；1952年鲍廷得到；1955年苏联的波德洛夫斯基宣布，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年