當前位置:商標查詢大全網 - 遊戲電競 - 世界上最難的數學題!!!

世界上最難的數學題!!!

1.連續統假設1874年,康托猜測在可列集基數和實數基數之間沒有別的基數,這就是著名的連續統假設。1938年,哥德爾證明了連續統假設和世界公認的策梅洛–弗倫克爾集合論公理系統的無矛盾性。1963年,美國數學家科亨證明連續假設和策梅洛–倫克爾集合論公理是彼此獨立的。因此,連續統假設不能在策梅洛–弗倫克爾公理體系內證明其正確性與否。希爾伯特第1問題在這個意義上已獲解決。

2.算術公理的相容性歐幾裏得幾何的相容性可歸結為算術公理的相容性。希爾伯特曾提出用形式主義計劃的證明論方法加以證明。1931年,哥德爾發表的不完備性定理否定了這種看法。1936年德國數學家根茨在使用超限歸納法的條件下證明了算術公理的相容性。1988年出版的《中國大百科全書》數學卷指出,數學相容性問題尚未解決。

3.兩個等底等高四面體的體積相等問題。問題的意思是,存在兩個等邊等高的四面體,它們不可分解為有限個小四面體,使這兩組四面體彼此全等。M.W.德恩1900年即對此問題給出了肯定解答。

4.兩點間以直線為距離最短線問題。此問題提得過於壹般。滿足此性質的幾何學很多,因而需增加某些限制條件。1973年,蘇聯數學家波格列洛夫宣布,在對稱距離情況下,問題獲得解決。《中國大百科全書》說,在希爾伯特之後,在構造與探討各種特殊度量幾何方面有許多進展,但問題並未解決。

5.壹個連續變換群的李氏概念,定義這個群的函數不假定是可微的這個問題簡稱連續群的解析性,即:是否每壹個局部歐氏群都有壹定是李群?中間經馮·諾伊曼(1933,對緊群情形)、龐德裏亞金(1939,對交換群情形)、謝瓦莢(1941,對可解群情形)的努力,1952年由格利森、蒙哥馬利、齊賓***同解決,得到了完全肯定的結果。

6.物理學的公理化希爾伯特建議用數學的公理化方法推演出全部物理,首先是概率和力學。1933年,蘇聯數學家柯爾莫哥洛夫實現了將概率論公理化。後來在量子力學、量子場論方面取得了很大成功。但是物理學是否能全盤公理化,很多人表示懷疑。

7.某些數的無理性與超越性1934年,A.O.蓋爾方德和T.施奈德各自獨立地解決了問題的後半部分,即對於任意代數數α≠0,1,和任意代數無理數β證明了αβ的超越性。

8.素數問題。包括黎曼猜想、哥德巴赫猜想及孿生素數問題等。壹般情況下的黎曼猜想仍待解決。哥德巴赫猜想的最佳結果屬於陳景潤(1966),但離最解決尚有距離。目前孿生素數問題的最佳結果也屬於陳景潤。

9.在任意數域中證明最壹般的互反律。該問題已由日本數學家高木貞治(1921)和德國數學家E.阿廷(1927)解決。

10.丟番圖方程的可解性。能求出壹個整系數方程的整數根,稱為丟番圖方程可解。希爾伯特問,能否用壹種由有限步構成的壹般算法判斷壹個丟番圖方程的可解性?1970年,蘇聯的IO.B.馬季亞謝維奇證明了希爾伯特所期望的算法不存在。

11.系數為任意代數數的二次型。H.哈塞(1929)和C.L.西格爾(1936,1951)在這個問題上獲得重要結果。

12.將阿貝爾域上的克羅克定理推廣到任意的代數有理域上去這壹問題只有壹些零星的結果,離徹底解決還相差很遠。

13.不可能用只有兩個變數的函數解壹般的七次方程。七次方程的根依賴於3個參數a、b、c,即x=x(a,b,c)。這個函數能否用二元函數表示出來?蘇聯數學家阿諾爾德解決了連續函數的情形(1957),維士斯金又把它推廣到了連續可微函數的情形(1964)。但如果要求是解析函數,則問題尚未解決。

14.證明某類完備函數系的有限性。這和代數不變量問題有關。1958年,日本數學家永田雅宜給出了反例。

15.舒伯特計數演算的嚴格基礎壹個典型問題是:在三維空間中有四條直線,問有幾條直線能和這四條直線都相交?舒伯特給出了壹個直觀解法。希爾伯特要求將問題壹般化,並給以嚴格基礎。現在已有了壹些可計算的方法,它和代數幾何學不密切聯系。但嚴格的基礎迄今仍未確立。

16.代數曲線和代數曲線面的拓撲問題這個問題分為兩部分。前半部分涉及代數曲線含有閉的分枝曲線的最大數目。後半部分要求討論的極限環的最大個數和相對位置,其中X、Y是x、y的n次多項式.蘇聯的彼得羅夫斯基曾宣稱證明了n=2時極限環的個數不超過3,但這壹結論是錯誤的,已由中國數學家舉出反例(1979)。

17.半正定形式的平方和表示。壹個實系數n元多項式對壹切數組(x1,x2,…,xn)都恒大於或等於0,是否都能寫成平方和的形式?1927年阿廷證明這是對的。

18.用全等多面體構造空間。由德國數學家比勃馬赫(1910)、莢因哈特(1928)作出部分解決。

19.正則變分問題的解是否壹定解析。對這壹問題的研究很少。C.H.伯恩斯坦和彼得羅夫斯基等得出了壹些結果。

20.壹般邊值問題這壹問題進展十分迅速,已成為壹個很大的數學分支。目前還在繼續研究。

21.具有給定單值群的線性微分方程解的存在性證明。已由希爾伯特本人(1905)和H.羅爾(1957)的工作解決。

22.由自守函數構成的解析函數的單值化。它涉及艱辛的黎曼曲面論,1907年P.克伯獲重要突破,其他方面尚未解決。

23.變分法的進壹步發展出。這並不是壹個明確的數學問題,只是談了對變分法的壹般看法。20世紀以來變分法有了很大的發展。