7 橋 歐拉
張首晟教授是區塊鏈的支持者，其原因是，他覺得數學是信仰，In math we believe!
我剛才瀏覽了一下，發覺數學是從提問開始，從猜想開始的，這個很有意思，與物理不太一樣。
1900年，希爾伯特有23個問題；基本上得到解決。
100年過去了，2000年5月24日由美國克雷數學研究所公佈的七個數學難題。也被稱為千禧年大獎難題。現在只有一個解決了，但是那哥們居然居然不領獎。讓我們記得他名字，在俄國的猶太人，Grigory Perelman。他解決的問題是黎曼猜想。
數學是與神對話的語言，要讀懂一個猜想就很難，我花了一個上午瀏覽，目的是找一個基金的名字，希望用數學家來命名的token基金，看了一下，我最喜歡的是歐拉，Euler Leonhard，好吧，就叫歐拉基金，Euler fund，座右銘是，to compute ,to live
1783年9月18日，晚餐後，歐拉一邊喝著茶，一邊和小孫女玩耍，突然之間，菸斗從他手中掉了下來。他說了一聲：“我的菸斗”，並彎腰去撿，結果再也沒有站起來，他抱著頭說了一句：“我死了”。“歐拉停止了計算和生命”。最後一句話出自法國哲學家兼數學家孔多塞“...il cessa de calculer et de vivre（他停止了計算和生活）”（he ceased to calculate and to live）。
Clay公司的7大難題：
1、P/NP問題（P versus NP）
2、霍奇猜想（The Hodge Conjecture）
3、龐加萊猜想（The Poincaré Conjecture），此猜想已獲得證實。
4、黎曼猜想（The Riemann Hypothesis）
5、楊-米爾斯存在性與質量間隙（Yang-Mills Existence and Mass Gap）
6、納維-斯托克斯存在性與光滑性（Navier-Stokes existence and smoothness）
7、貝赫和斯維訥通-戴爾猜想（The Birch and Swinnerton-Dyer Conjecture）
Hilbert 問題
希爾伯特的23個問題分屬四大塊：第1到第6問題是數學基礎問題；第7到第12問題是數論問題；第13到第18問題屬於代數和幾何問題；第19到第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）共同解決 [2] 。1953年，日本的山邁英彥已得到完全肯定的結果。
（6）對數學起重要作用的物理學的公理化。
1933年，蘇聯數學家柯爾莫哥洛夫將概率論公理化。後來，在量子力學、量子場論方面取得成功。但對物理學各個分支能否全盤公理化，很多人有懷疑。
（7）某些數的超越性的證明。
需證：如果α是代數數，β是無理數的代數數，那麼α^β一定是超越數或至少是無理數（例如，2^√2和exp(π)）。蘇聯的蓋爾封特（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）一般七次代數方程以二變量連續函數之組合求解的不可能性。
（14）建立代數幾何學的基礎。
荷蘭數學家範德瓦爾登1938年至1940年，魏依1950年已解決。
注一舒伯特（Schubert）計數演算的嚴格基礎。
一個典型的問題是：在三維空間中有四條直線，問有幾條直線能和這四條直線都相交？舒伯特給出了一個直觀的解法。希爾伯特要求將問題一般化，並給以嚴格基礎。現在已有了一些可計算的方法，它和代數幾何學有密切的關係。但嚴格的基礎至今仍未建立。
（15）代數曲線和曲面的拓撲研究。
此問題前半部涉及代數曲線含有閉的分枝曲線的最大數目。後半部要求討論備dx/dy=Y/X的極限環的最多個數N（n）和相對位置，其中X、Y是x、y的n次多項式。對n=2（即二次系統）的情況，1934年福羅獻爾得到N（2）≥1；1952年鮑廷得到N（2）≥3；1955年蘇聯的波德洛夫斯基宣佈N（2）≤3，這個曾震動一時的結果，由於其中的若干引理被否定而成疑問。關於相對位置，中國數學家董金柱、葉彥謙1957年證明了（E2）不超過兩串。1957年，中國數學家秦元勳和蒲富金具體給出了n=2的方程具有至少3個成串極限環的實例。1978年，中國的史松齡在秦元勳、華羅庚的指導下，與王明淑分別舉出至少有4個極限環的具體例子。1983年，秦元勳進一步證明了二次系統最多有4個極限環，並且是（1，3）結構，從而最終地解決了二次微分方程的解的結構問題，併為研究希爾伯特第（16）問題提供了新的途徑。
（16）用全等多面體構造空間。
德國數學家比貝爾巴赫（Bieberbach）1910年，萊因哈特（Reinhart）1928年作出部分解決。
（17）正則變分問題的解是否總是解析函數？
德國數學家伯恩斯坦（Bernrtein，1929）和蘇聯數學家彼德羅夫斯基（1939）已解決。
（18）研究一般邊值問題。
此問題進展迅速，已成為一個很大的數學分支，目前還在繼讀發展。
（19）具有給定奇點和單值群的Fuchs類的線性微分方程解的存在性證明。
此問題屬線性常微分方程的大範圍理論。希爾伯特本人於1905年、勒爾（H.Rohrl）於1957年分別得出重要結果。1970年法國數學家德利涅（Deligne）作出了出色貢獻。
（20）用自守函數將解析函數單值化。
此問題涉及艱深的黎曼曲面理論，1907年克伯（P.Koebe）對一個變量情形已解決而使問題的研究獲重要突破。其它方面尚未解決。
（21）發展變分學方法的研究。
這不是一個明確的數學問題。20世紀變分法有了很大發展。
（22）用自守函數將解析函數單值化。
此問題涉及艱深的黎曼曲面理論，1907年克伯（P.Koebe）對一個變量情形已解決而使問題的研究獲重要突破。其它方面尚未解決。
（23）發展變分學方法的研究。
這不是一個明確的數學問題。20世紀變分法有了很大發展。
閱讀更多 老孔 的文章
