希尔伯特的23个世纪问题.docVIP

希尔伯特的23个世纪问题 希尔伯特的23个世纪问题 作者：dwq 来源：互联网 时间：2010-06-28 08:55:33 点击：163 在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题。这23个问题通称希尔伯特问题，后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用，希尔伯特问题中有些现已得到**解决，有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞。 　　希尔伯特的23个问题分属四大块：第1到第6问题是数学基础问题；第7到第12问题是数论问题；第13到第18问题属于代数和几何问题；第19到第23问题属于数学分析。 I, i: B+ o9 R8 A U- D ?, x, ]5 H0 ^1 z1 ? 　　（1）康托的连续统基数问题。 　　1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合**理系统的无矛盾性。1963年，美国数学家科思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。 5 V B ] |+ j: I7 i8 e; O 　　孙嘉林是一位数学家，一直致力于基础数学的研究。孙嘉林首创了世界全新命题逻辑零分析数学体系，1992年《零分析》的中、英文版由青岛出版社出版。“零分析”数学体系一举攻克了举世公认的希尔伯特第一、第二问题，即连续统假设问题和算术公理的相容性问题。 e# r( O! l5 K, l [ 7 y. D# p5 `( ~. W9 n 　　（2）算术公理系统的无矛盾性。 ; O3 w1 M- V, e/ r! Z9 E$ I( i 　　欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。 　　（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。 * Y5 j; r; h* o) W0 | 4 ~/ r6 `2 M5 _/ X+ R1 b a 　　问题的意思是：存在两个等高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等德思（M.Dehn）1900年已解决。 5 A# V/ A$ J/ g, Q9 B) s- t F : v3 V$ `8 A1 r N+ T* s, ~ 　　（4）两点间以直线为距离最短线问题。 　　此问题提的一般。满足此性质的几何很多，因而需要加以某些**条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。 v6 \0 L) Z7 p F/ e 　　（5）拓扑学成为李群的条件（拓扑群）。 . Z; M3 q# h Q7 D6 ^8 V 　　这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。 ; p- `0 ? R1 J$ N# Y 　　（6）对数学起重要作用的物理学的公理化。 　　1933年，苏联数学家柯尔莫哥洛夫将概率**理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。 　　（7）某些数的超越性的证明。 b2 V4 Y. ~( E1 \5 T5 k+ P A% @# D 　　需证：如果α是代数数，β是无理数的代数数，那么αβ一定是超越数或至少是无理数（例如，2√2和eπ）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。 + ?$ J( g ?! ` X , K% p0 d/ A7 e# p7 M/ l i 　　（8）素数分布问题，尤其对黎曼猜想、哥德**猜想和孪生素共问题。 % [8 Y2 e: G8 D% l ~7 V # u! O+ y: z X! j 　　素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德**（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德**猜想和孪生素数问题目前也未最终解决，其最佳结果均属