希爾伯特介紹
希爾伯特，D.(Hilbert,David，1862～1943)德國數學。
他于1900年8月8日在巴黎第二屆國際數學家大會上，提出了新世紀數學家應當努力解決的23個數學問題，被認為是20世紀數學的制高點，對這些問題的研究有力推動了20世紀數學的發(fā)展，在世界上產生了深遠的影響。希爾伯特領導的數學學派是19世紀末20世紀初數學界的一面旗幟，希爾伯特被稱為“數學界的無冕之王”。
�。ㄖ母璧掳秃詹孪胍彩菃栴}之一，以陳景潤為代表的中國數學家獲得了重大突破，但還沒有徹底解決。）
希爾伯特 生于東普魯士哥尼斯堡(前蘇聯加里寧格勒)附近的韋勞，中學時代他就是一名勤奮好學的學生,對于科學特別是數學表現出濃厚的興趣,善于靈活和深刻地掌握以至應用老師講課的內容。他與17歲便拿下數學大獎的著名數學家閔可夫斯基（愛因斯坦的老師）結為好友，同進于哥尼斯堡大學，最終超越了他。1880年,他不顧父親讓他學法律的意愿,進入哥尼斯堡大學攻讀數學，并于1884年獲得博士學位,后留校取得講師資格和升任副教授。1893年他被任命為正教授,1895年轉入格廷根大學任教授,此后一直在數學之鄉(xiāng)格廷根生活和工作。他于1930年退休。在此期間,他成為柏林科學院通訊院士,并曾獲得施泰訥獎、羅巴切夫斯基獎和波約伊獎。1930年獲得瑞典科學院的米塔格-萊福勒獎,1942年成為柏林科學院榮譽院士。希爾伯特是一位正直的科學家,第一次世界大戰(zhàn)前夕,他拒絕在德國政府為進行欺騙宣傳而發(fā)表的《告文明世界書》上簽字。戰(zhàn)爭期間，他敢于公開發(fā)表文章悼念“敵人的數學家”達布。希特勒上臺后，他抵制并上書反對納粹政府排斥和迫害猶太科學家的政策。由于納粹政府的反動政策日益加劇,許多科學家被迫移居外國，其中多數流亡與美國,曾經盛極一時的格廷根學派衰落了,希爾伯特也于1943年在孤獨中逝世。但由于大量數學家的到來，美國成為了當時的數學中心。
希爾伯特是對二十世紀數學有深刻影響的數學家之一。他領導了著名的格廷根學派,使格廷根大學成為當時世界數學研究的重要中心,并培養(yǎng)了一批對現代數學發(fā)展做出重大貢獻的杰出數學家。希爾伯特的數學工作可以劃分為幾個不同的時期,每個時期他幾乎都集中精力研究一類問題。按時間順序,他的主要研究內容有:不變量理論、代數數域理論、幾何基礎、積分方程、物理學、一般數學基礎，其間穿插的研究課題有：狄利克雷原理和變分法、華林問題、特征值問題、“希爾伯特空間”等。在這些領域中，他都做出了重大的或開創(chuàng)性的貢獻。希爾伯特認為，科學在每個時代都有它自己的問題，而這些問題的解決對于科學發(fā)展具有深遠意義。他指出：“只要一門科學分支能提出大量的問題，它就充滿著生命力，而問題缺乏則預示著獨立發(fā)展的衰亡和終止�！�
在1900年巴黎國際數學家代表大會上，希爾伯特發(fā)表了題為《數學問題》的著名講演。他根據過去特別是十九世紀數學研究的成果和發(fā)展趨勢，提出了23個最重要的數學問題。這23個問題通稱希爾伯特問題，后來成為許多數學家力圖攻克的難關，對現代數學的研究和發(fā)展產生了深刻的影響，并起了積極的推動作用，希爾伯特問題中有些現已得到圓滿解決，有些至今仍未解決。他在講演中所闡發(fā)的想信每個數學問題都可以解決的信念，對于數學工作者是一種巨大的鼓舞。他說：“在我們中間，常常聽到這樣的呼聲：這里有一個數學問題，去找出它的答案！你能通過純思維找到它，因為在數學中沒有不可知。”三十年后，1930年，在接受哥尼斯堡榮譽市民稱號的講演中，針對一些人信奉的不可知論觀點，他再次滿懷信心地宣稱：“我們必須知道，我們必將知道。”
希爾伯特的《幾何基礎》（1899）是公理化思想的代表作，書中把歐幾里德幾何學加以整理，成為建立在一組簡單公理基礎上的純粹演繹系統(tǒng)，并開始探討公理之間的相互關系與研究整個演繹系統(tǒng)的邏輯結構。1904年，又著手研究數學基礎問題，經過多年醞釀，于二十年代初，提出了如何論證數論、集合論或數學分析一致性的方案。他建議從若干形式公理出發(fā)將數學形式化為符號語言系統(tǒng)，并從不假定實無窮的有窮觀點出發(fā)，建立相應的邏輯系統(tǒng)。然后再研究這個形式語言系統(tǒng)的邏輯性質，從而創(chuàng)立了元數學和證明論。希爾伯特的目的是試圖對某一形式語言系統(tǒng)的無矛盾性給出絕對的證明，以便克服悖論所引起的危機，一勞永逸地消除對數學基礎以及數學推理方法可靠性的懷疑。然而，1930年，年青的奧地利數理邏輯學家哥德爾(K.G?del，1906～1978)獲得了否定的結果，證明了希爾伯特方案是不可能實現的。但正如哥德爾所說，希爾伯特有關數學基礎的方案“仍不失其重要性，并繼續(xù)引起人們的高度興趣”。希爾伯特的著作有《希爾伯特全集》（三卷，其中包括他的著名的《數論報告》）、《幾何基礎》、《線性積分方程一般理論基礎》等，與其他合著有《數學物理方法》、《理論邏輯基礎》、《直觀幾何學》、《數學基礎》。
希爾伯特問題
在1900年巴黎國際數學家代表大會上，希爾伯特發(fā)表了題為《數學問題》的著名講演。他根據過去特別是十九世紀數學研究的成果和發(fā)展趨勢，提出了23個最重要的數學問題。這23個問題通稱希爾伯特問題，后來成為許多數學家力圖攻克的難關，對現代數學的研究和發(fā)展產生了深刻的影響，并起了積極的推動作用，希爾伯特問題中有些現已得到圓滿解決，有些至今仍未解決。他在講演中所闡發(fā)的想信每個數學問題都可以解決的信念，對于數學工作者是一種巨大的鼓舞。
希爾伯特的23個問題分屬四大塊：第1到第6問題是數學基礎問題；第7到第12問題是數論問題；第13到第18問題屬于代數和幾何問題；第19到第23問題屬于數學分析。
�。�1）康托的連續(xù)統(tǒng)基數問題。
1874年，康托猜測在可數集基數和實數集基數之間沒有別的基數，即著名的連續(xù)統(tǒng)假設。1938年，僑居美國的奧地利數理邏輯學家哥德爾證明連續(xù)統(tǒng)假設與ZF集合論公理系統(tǒng)的無矛盾性。1963年，美國數學家科思（P.Choen）證明連續(xù)統(tǒng)假設與ZF公理彼此獨立。因而，連續(xù)統(tǒng)假設不能用ZF公理加以證明。在這個意義下，問題已獲解決。
�。�2）算術公理系統(tǒng)的無矛盾性。
歐氏幾何的無矛盾性可以歸結為算術公理的無矛盾性。希爾伯特曾提出用形式主義計劃的證明論方法加以證明，哥德爾1931年發(fā)表不完備性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限歸納法證明了算術公理系統(tǒng)的無矛盾性。
�。�3）只根據合同公理證明等底等高的兩個四面體有相等之體積是不可能的。
問題的意思是：存在兩個登高等底的四面體，它們不可能分解為有限個小四面體，使這兩組四面體彼此全等德思（M.Dehn）1900年已解決。
（4）兩點間以直線為距離最短線問題。
此問題提的一般。滿足此性質的幾何很多，因而需要加以某些限制條件。1973年，蘇聯數學家波格列洛夫（Pogleov）宣布，在對稱距離情況下，問題獲解決。
�。�5）拓撲學成為李群的條件（拓撲群）。
這一個問題簡稱連續(xù)群的解析性，即是否每一個局部歐氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥馬利（Montgomery）、齊賓（Zippin）共同解決。1953年，日本的山邁英彥已得到完全肯定的結果。
（6）對數學起重要作用的物理學的公理化。
1933年，蘇聯數學家柯爾莫哥洛夫將概率論公理化。后來，在量子力學、量子場論方面取得成功。但對物理學各個分支能否全盤公理化，很多人有懷疑。
�。�7）某些數的超越性的證明。
需證：如果α是代數數，β是無理數的代數數，那么αβ一定是超越數或至少是無理數（例如，2√2和eπ）。蘇聯的蓋爾封特（Gelfond）1929年、德國的施奈德（Schneider）及西格爾（Siegel）1935年分別獨立地證明了其正確性。但超越數理論還遠未完成。目前，確定所給的數是否超越數，尚無統(tǒng)一的方法。
�。�8）素數分布問題，尤其對黎曼猜想、哥德巴赫猜想和孿生素共問題。
素數是一個很古老的研究領域。希爾伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孿生素數問題。黎曼猜想至今未解決。哥德巴赫猜想和孿生素數問題目前也未最終解決，其最佳結果均屬中國數學家陳景潤。
�。�9）一般互反律在任意數域中的證明。
1921年由日本的高木貞治，1927年由德國的阿廷（E.Artin）各自給以基本解決。而類域理論至今還在發(fā)展之中。
�。�10）能否通過有限步驟來判定不定方程是否存在有理整數解？
求出一個整數系數方程的整數根，稱為丟番圖（約210-290，古希臘數學家）方程可解。1950年前后，美國數學家戴維斯（Davis）、普特南（Putnan）、羅賓遜（Robinson）等取得關鍵性突破。1970年，巴克爾（Baker）、費羅斯（Philos）對含兩個未知數的方程取得肯定結論。1970年。蘇聯數學家馬蒂塞維奇最終證明：在一般情況答案是否定的。盡管得出了否定的結果，卻產生了一系列很有價值的副產品，其中不少和計算機科學有密切聯系。
�。�11）一般代數數域內的二次型論。
德國數學家哈塞（Hasse）和西格爾（Siegel）在20年代獲重要結果。60年代，法國數學家魏依（A.Weil）取得了新進展。
�。�12）類域的構成問題。
即將阿貝爾域上的克羅內克定理推廣到任意的代數有理域上去。此問題僅有一些零星結果，離徹底解決還很遠。
�。�13）一般七次代數方程以二變量連續(xù)函數之組合求解的不可能性。
七次方程x7+ax3+bx2+cx+1=0的根依賴于3個參數a、b、c；x=x(a,b,c)。這一函數能否用兩變量函數表示出來？此問題已接近解決。1957年，蘇聯數學家阿諾爾德（Arnold）證明了任一在〔0，1〕上連續(xù)的實函數f(x1，x2，x3)可寫成形式∑hi(ξi(x1,x2),x3)(i=1--9)，這里hi和ξi為連續(xù)實函數。柯爾莫哥洛夫證明f(x1，x2，x3)可寫成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)這里hi和ξi為連續(xù)實函數，ξij的選取可與f完全無關。1964年，維土斯金（Vituskin）推廣到連續(xù)可微情形，對解析函數情形則未解決。
�。�14）某些完備函數系的有限的證明。
即域K上的以x1,x2,…,xn為自變量的多項式fi（i=1,…，m），R為K〔X1，…，Xm]上的有理函數F（X1，…，Xm）構成的環(huán)，并且F（f1，…，fm）∈K[x1，…，xm]試問R是否可由有限個元素F1，…，FN的多項式生成？這個與代數不變量問題有關的問題，日本數學家永田雅宜于1959年用漂亮的反例給出了否定的解決。
�。�15）建立代數幾何學的基礎。
荷蘭數學家范德瓦爾登1938年至1940年，魏依1950年已解決。
注一舒伯特（Schubert）計數演算的嚴格基礎。
一個典型的問題是：在三維空間中有四條直線，問有幾條直線能和這四條直線都相交？舒伯特給出了一個直觀的解法。希爾伯特要求將問題一般化，并給以嚴格基礎。現在已有了一些可計算的方法，它和代數幾何學有密切的關系。但嚴格的基礎至今仍未建立。
（16）代數曲線和曲面的拓撲研究。
此問題前半部涉及代數曲線含有閉的分枝曲線的最大數目。后半部要求討論備dx/dy=Y/X的極限環(huán)的最多個數N（n）和相對位置，其中X、Y是x、y的n次多項式。對n=2（即二次系統(tǒng)）的情況，1934年福羅獻爾得到N(2)≥1；1952年鮑廷得到N(2)≥3；1955年蘇聯的波德洛夫斯基宣布N(2)≤3，這個曾震動一時的結果，由于其中的若干引理被否定而成疑問。關于相對位置，中國數學家董金柱、葉彥謙1957年證明了（E2）不超過兩串。1957年，中國數學家秦元勛和蒲富金具體給出了n＝2的方程具有至少3個成串極限環(huán)的實例。1978年，中國的史松齡在秦元勛、華羅庚的指導下，與王明淑分別舉出至少有4個極限環(huán)的具體例子。1983年，秦元勛進一步證明了二次系統(tǒng)最多有4個極限環(huán)，并且是（1，3）結構，從而最終地解決了二次微分方程的解的結構問題，并為研究希爾伯特第（16）問題提供了新的途徑。
�。�17）半正定形式的平方和表示。
實系數有理函數f(x1,…，xn)對任意數組（x1，…,xn）都恒大于或等于0，確定f是否都能寫成有理函數的平方和？1927年阿廷已肯定地解決。
�。�18）用全等多面體構造空間。
德國數學家比貝爾巴赫（Bieberbach）1910年，萊因哈特（Reinhart）1928年作出部分解決。
�。�19）正則變分問題的解是否總是解析函數？
德國數學家伯恩斯坦（Bernrtein，1929）和蘇聯數學家彼德羅夫斯基（1939）已解決。
（20）研究一般邊值問題。
此問題進展迅速，己成為一個很大的數學分支。日前還在繼讀發(fā)展。
�。�21）具有給定奇點和單值群的Fuchs類的線性微分方程解的存在性證明。
此問題屬線性常微分方程的大范圍理論。希爾伯特本人于1905年、勒爾（H.Rohrl）于1957年分別得出重要結果。1970年法國數學家德利涅（Deligne）作出了出色貢獻。
�。�22）用自守函數將解析函數單值化。
此問題涉及艱深的黎曼曲面理論，1907年克伯（P.Koebe）對一個變量情形已解決而使問題的研究獲重要突破。其它方面尚未解決。
�。�23）發(fā)展變分學方法的研究。
這不是一個明確的數學問題。20世紀變分法有了很大發(fā)展。
希爾伯特軼事
1. 以希爾伯特命名的數學名詞多如牛毛，有些連希爾伯特本人都不知道。比如有一次希爾伯特曾問系里的同事“請問什么叫做希爾伯特空間？”
2.1916年，埃米·諾特這位卓有才華的青年婦女來到哥廷根大學。希爾伯特對她的學識倍加欣賞，立即決定讓她留下來當講師，輔助相對論的研究工作。但當時歧視婦女的現象相當嚴重，希爾伯特的建議遭到語言學、歷史學等教授們的強烈反對。希爾伯特拍案而起，大聲疾呼：“先生們，這里是學校，不是澡堂！”于是因此激怒了他的對手，希爾伯特對此不為所動，毅然決定讓諾特以自己的名義代課。
