席南華院士科普講座《數學的意義》實錄

發布時間:2020-06-23

謝謝主持人的介紹,謝謝大家在周末星期六的下午聽這個(ge) 報告。

我今天要說的是“數學的意義(yi) ”。

數學,要說愛你不容易,不管你是天才還是庸人,都是它虐待的對象,差別在於(yu) 有人在這虐待的過程中得到快樂(le) ,但大部分人得到的是痛苦。痛苦的一個(ge) 根源是其實我們(men) 並不認識它,撇開我們(men) 在與(yu) 數學打交道的過程中的不愉快或愉快,今天讓我們(men) 從(cong) 另一個(ge) 角度、一個(ge) 輕鬆的帶著喝下午茶的心情,帶著一個(ge) 旁觀者的心態,來看一看數學的意義(yi) 。

提起數學,我們(men) 會(hui) 想到什麽(me) ?從(cong) 小學到大學都有數學課,它在最重要的課程行列。我們(men) 也知道,在日常生活和科學技術中,它很有用。除此之外可能就想的不多了。換句話說,對數學的本質,它為(wei) 什麽(me) 有用,甚至更進一步為(wei) 什麽(me) 有數學,數學除了實用以外還有什麽(me) 別的含義(yi) ,就不大想了,這似乎是和我國文化的實用主義(yi) 是有關(guan) 係的。在這樣的背景下,可以說我們(men) 對數學的認識是很不足的,我們(men) 看見的實用隻是數學的一個(ge) 麵,是冰山一角。

數學理論的源頭在古希臘,我們(men) 有誰不知道歐幾裏得幾何原本呢?它的數學發展的水平之高,即便在今天看來,都是讓人感到非常吃驚的。它為(wei) 什麽(me) 會(hui) 是這個(ge) 樣子,它的產(chan) 生當然與(yu) 希臘當時的文化和哲學是分不開的。跨越時空,讓我們(men) 來到2000多年前的希臘,看他們(men) 是怎樣認識數學的。他們(men) 說,“數學是現實的核心,萬(wan) 物皆數,數統治著宇宙”等觀點,都是出自畢達哥拉斯學派,柏拉圖學派是深受畢達哥拉斯學派的影響。

我們(men) 都知道數學研究量與(yu) 形,但這麽(me) 說還難以感受數學的重要性,也很難聯想到數學是現實的核心。大家想一下,有什麽(me) 東(dong) 西沒有量與(yu) 形的屬性呢?換句話說,量與(yu) 形是物質與(yu) 事物的基本屬性,不管是什麽(me) 東(dong) 西,它的這兩(liang) 個(ge) 屬性是擺脫不掉的。數學研究就是這些基本的屬性,這決(jue) 定了數學的價(jia) 值,也使我們(men) 明白,數學它是基礎而重要的。說它是現實的核心也就不奇怪了。

如果我們(men) 想要對數學有很好的認識的話,就有必要回顧一下,曆史上它是怎麽(me) 產(chan) 生的。為(wei) 什麽(me) 能夠產(chan) 生數學、人們(men) 是怎樣一步步建立數學體(ti) 係的?就是說,在遙遠的過去數學是什麽(me) 樣子?

其實整個(ge) 曆史過程是非常的漫長,數學有很長的曆史,不像有些學科非常的短,可能就是20世紀開始的,但數學不一樣,它作為(wei) 一個(ge) 獨立的、有理論的學科出現,還是2000多年前。應該說公元前600年到公元前300年期間,歐幾裏得《幾何原本》它就是一個(ge) 光輝的典範,它把古代時候的數學都係統的整理出來,用公裏化的方法處理,整個(ge) 思維體(ti) 係影響了後麵兩(liang) 千多年。他的幾何《原本》也在2000多年間是標準的教科書(shu) 。幾乎同時,亞(ya) 裏士多德的學生歐德摩斯就寫(xie) 有數學史的著作,所以數學史人們(men) 很早就關(guan) 注它了。

不過,比起人類和人類文明的曆史,數學的曆史要短暫的多。在一萬(wan) 多年前人類就開始定居於(yu) 一處,靠農(nong) 牧業(ye) 生活,在中國的考古中,包括周口店的頭骨,我們(men) 都能看出來。不過文字的出現卻要晚的多,大約在公元前3200年的時候。文字的出現對整個(ge) 文明來講是極其重大的事情,在我國古代認為(wei) 這一是件泣鬼神的事情,在沒有文字的時候,你想要在數學上有重要的發展,那是不可想象的,所以文字出現以前,數學的發展其實是非常緩慢的。

我們(men) 都有一個(ge) 深刻的印象,就是數學的抽象特點。即便是一個(ge) 非常簡單的概念,數,就是一個(ge) 抽象的概念,你在大自然中間看不到一個(ge) 抽象的數,比如1。抽象的數的發展其實也是非常緩慢的,類似的概念包括線段、直線、三角形、圓等等也是一樣。數的概念據人們(men) 研究也並不是僅(jin) 僅(jin) 隻有人獨有,據說有些動物也有數的概念。人們(men) 提煉數的概念其實經過了一個(ge) 很漫長的時間,開始的時候人們(men) 對數的觀念是與(yu) 具體(ti) 的物品聯係在一起的,比如說一棵樹、一塊石頭、兩(liang) 個(ge) 人、兩(liang) 條魚等等,對形也是一樣的。

逐漸的,人們(men) 發現了一棵樹、一塊石頭等具體(ti) 物體(ti) 的共同的數字屬性,數的抽象概念就這樣形成了。數,是自然界若幹物體(ti) 的共同數字屬性,這是一個(ge) 抽象的概念,你在自然界當中不能直接找到。我們(men) 今天可能沒有意識到,其實這在人類認識自然的過程中間是一個(ge) 巨大的飛躍。實際生活的需要產(chan) 生了數字間的計算,比如說要分配食物、交換物品、到指定日期前的天數等等,這都需要對數進行一個(ge) 計算。我們(men) 日常生活中間對數學的認識,說數學有用,很多時候都停留在這個(ge) 階段,比如說會(hui) 算帳、會(hui) 分配什麽(me) 東(dong) 西等等,它其實是對數學的一個(ge) 誤解。

還有一件很重要的事情,就是要給數一個(ge) 名稱,並且能夠記下來告訴別人,這件事情也並不是一件很簡單的事情,所以在文字剛產(chan) 生之初就引進了數學符號,這在算術的發展上是非常重要的。一般的算術符號和公式、未知數的符號等是很晚才完成的,包括我們(men) 現在熟悉的常用的加減乘除的符號、代數符號都是很晚很晚(才完成的)。像現在的代數符號是到了16、17世紀意大利數學家韋達引進的,他對代數學的發展起了一個(ge) 巨大的作用。

算術最早是在巴比倫(lun) 和埃及那裏發展起來的,它由於(yu) 實際生活的需要,包括稅收、丈量土地、貿易、建築和天文等等。雖然數學發展到今天已經非常抽象,但它的來源還是實際的生活與(yu) 生產(chan) 。不過需要說清楚的是,這裏所產(chan) 生的隻是一些計算的規則和問題的解答,算術的這種形式並不是數學理論,原因在於(yu) 它沒有關(guan) 於(yu) 數的普遍的定義(yi) 。前些年,也許現在還有,有一個(ge) 電視台的《最強大腦》裏麵可以看到有些人算的很快。一個(ge) 運算能力非常強的人,大家會(hui) 有一些誤解,以為(wei) 這些人都有很強的數學能力,其實這是一個(ge) 誤會(hui) ,他有數字的運算能力卻不一定有數學的能力。從(cong) 實際後來發展的情況來看,他們(men) 其實並沒有數學的能力,原因在於(yu) 他對於(yu) 數的普遍規律沒有什麽(me) 深刻的認識,所以不具備數學的天賦。

向理論算術的過渡也是逐漸進行的,在古代像中國、巴比倫(lun) 、埃及就已經知道百萬(wan) 以上的數了。我們(men) 看《史記》上的記載,在戰國時代,它的戰爭(zheng) 規模就已經非常龐大了,打起仗來動用士兵經常幾十萬(wan) 、上百萬(wan) 等等,雖然我們(men) 今天都習(xi) 以為(wei) 常。我們(men) 現在的孩子數數1、2、3……都會(hui) 數下去,但是在他的意識裏邊,是不是會(hui) 想著這個(ge) 數能夠一直數下去?可能知道,也可能不知道。數是不是會(hui) 到某個(ge) 地方截止了?這個(ge) 也是不清楚的。在古代最偉(wei) 大的科學家阿基米德專(zhuan) 門有一本書(shu) 叫《數砂法》,裏麵明確指出了命名大量砂粒的數目的方法,這在當時是一件需要詳細解釋的事情。其實今天遇到天文數字,我們(men) 也很難具體(ti) 的數一數,我們(men) 可能到百萬(wan) 、到億(yi) 、到萬(wan) 億(yi) 等等,再往大了,一般人也用不到那些數字,也不知道怎麽(me) 稱呼,最後籠統的就會(hui) 用一個(ge) 數字——天文數字來表述它。對於(yu) 很大的數字要給它命名,在古代不容易,在今天其實也沒那麽(me) 容易。

在公元前三世紀的時候,希臘人明確意識到兩(liang) 個(ge) 重要的思想:數列可以無限地延續下去;不但可以運用具體(ti) 的數,還可以討論一般的數,從(cong) 而證明關(guan) 於(yu) 數的普遍定理。比方說《幾何原本》裏麵就證明了素數有無窮多個(ge) ,這是關(guan) 於(yu) 數的普遍的定理。這個(ge) 時候,數學理論就產(chan) 生了。

算術概念其實反映了物體(ti) 集合量的關(guan) 係,這些概念是在分析和概括大量實際經驗的基礎上加以抽象化而產(chan) 生的,並且是逐漸產(chan) 生的。剛開始是與(yu) 具體(ti) 對象相連的數,然後是抽象的數,再就是一般的數。但有意思的一件事情是,每一個(ge) 階段都依賴先前的概念和積累的經驗,這是數學概念形成的基本規律之一,其實其他的科學也是一樣的,要形成一個(ge) 概念,都要依賴於(yu) 前麵的積累。

算術讓人信服的一個(ge) 根源,在於(yu) 它的結論和概念是運用邏輯方法得到的,邏輯方法和概念都是以數千年的實踐為(wei) 基礎,以世界的客觀規律為(wei) 基礎。我們(men) 對數學的邏輯都是非常信服的,邏輯也不是憑空產(chan) 生的,它也經過了一個(ge) 漫長的過程,以數千年的實踐為(wei) 基礎,以世界的客觀規律為(wei) 基礎。這種想法以為(wei) 我們(men) 的邏輯能夠獨立這個(ge) 世界客觀,它是不合適的,這當然也就意味著邏輯也有它的局限,邏輯是非常詭異的,它的詭異性遠遠超出我們(men) 的想象。

算術盡管它的概念是抽象的,但有廣泛的應用,原因在於(yu) 它的概念和結論概括了大量實踐經驗,在抽象的形式裏麵表現出現實世界那些經常和到處碰到的關(guan) 係。計算的對象可以是不同的,是動物、農(nong) 產(chan) 品、星球等等,它舍棄了所有局部和具體(ti) 的東(dong) 西,抽取了某些普遍的性質,這就是數字的共同屬性。性質的普遍性其實決(jue) 定了應用的廣泛性,抽象的價(jia) 值就在這個(ge) 地方。

算術的抽象性保證了廣泛應用的可能性,這種抽象並不是空洞的,而是來源於(yu) 長期實踐的經驗。對於(yu) 全部的數學,對於(yu) 任何抽象概念和理論,它其實都是一樣的。理論應用廣泛的可能性取決(jue) 於(yu) 其中所概括的原始材料的廣泛性。要說清楚一點,抽象與(yu) 空洞不是一回事,我們(men) 經常會(hui) 看到,某個(ge) 人說的話真空洞,他說的話好像沒什麽(me) 內(nei) 容等等,不管報紙上還是很多領導的講話也好,都有這個(ge) 印象,原因在於(yu) 它裏麵並不概括什麽(me) 實際的內(nei) 容,而僅(jin) 僅(jin) 是形式上給你一些正確的東(dong) 西,這種形式上正確的東(dong) 西其實並沒有什麽(me) 價(jia) 值。而數學上的抽象並不是一個(ge) 形式的東(dong) 西,它來源於(yu) 長期的實踐經驗。對於(yu) 任何數學,對於(yu) 任何其他的科學包括哲學等等都是一樣的,需要概括一些非常廣泛的東(dong) 西,並且有實際的豐(feng) 富的內(nei) 容。還是這麽(me) 說,理論應用廣泛的可能性取決(jue) 於(yu) 概括的原始材料的廣泛性,如果概念本身概括的東(dong) 西很少的話,希望它能夠有廣泛的應用,那是不現實的。

毫無疑問,抽象也會(hui) 有它的局限性,因為(wei) 在抽象的過程中間會(hui) 丟(diu) 棄掉很多東(dong) 西,隻反映對象部分的屬性。常常也是這樣,僅(jin) 有數據是不夠的,我們(men) 現在生活在一個(ge) 信息時代,大數據的時代,大家對數據的強調到了非同尋常的地步,認為(wei) 數據要主宰這個(ge) 世界的一切一樣。但是從(cong) 過去的經驗來看,它可能還做不到這一點。數據隻是事物的一部分屬性而已,換句話說不能無限製的運用抽象的概念,就像把一隻羊和一頭狼加在一起,一升水和一升酒混在一起,它都不是算術一加一的應用,雖然可能有些商人會(hui) 在酒裏兌(dui) 水,我們(men) 也有個(ge) 非常有名的動畫片《喜洋洋與(yu) 灰太郎》等等。真理是具體(ti) 的,雖然數學是抽象的。把抽象應用到具體(ti) 是一種藝術和一種技術。

有意思的一件事情就是我們(men) 的思維常常是會(hui) 超出實踐提出的任務這些要求以外很遠,這非常有意思,比如十億(yi) 或者百億(yi) 這樣的大數字概念,它當然是在計算中間產(chan) 生的,很早很早就有了。但這些概念出現的時候其實沒什麽(me) 用處,直到後來才有用。科學裏有很多這樣的東(dong) 西,剛開始出現的時候沒有什麽(me) 用處,我們(men) 後麵還會(hui) 舉(ju) 一些例子,這就是說我們(men) 實用的一些哲學觀點,可能要避免。這種例子在科學上很多,舉(ju) 個(ge) 簡單的例子,大家在高中的數學裏麵有複數,我們(men) 知道求方程的時候都要求根是一個(ge) 實根等等,但是對於(yu) X^2+1=0這樣一個(ge) 方程,我們(men) 就沒有根了,沒有根怎麽(me) 辦?那就不存在了。得出這個(ge) 結論,但是我們(men) 又不滿足,最後又引進了一個(ge) 根,虛數。從(cong) 這個(ge) 概念本身就知道,它是一個(ge) 虛構的,它是想象出來的,不存在。但是到了後來,這個(ge) 數非常的重要,由於(yu) 虛數的引進之後我們(men) 就有了複數的概念,複數上的數學是非常龐大和深刻的。陳省身先生對複數就非常著迷,他說複數太迷人,你怎麽(me) 都參不透它,裏麵有很多的東(dong) 西是那麽(me) 神秘,那麽(me) 深刻。他晚年致力於(yu) 的一項工作就是證明一個(ge) 六維的球麵上有複結構,但一直都沒有做下來。當然這個(ge) 問題到現在誰也沒有做下來,所以他沒有做出來也一點不奇怪。

類似的,線段、直線、圓和三角形等等抽象概念,也是逐步發展起來的,它是一些物體(ti) 的共同的空間屬性,是形方麵的屬性。和算術一樣,它產(chan) 生於(yu) 實踐,然後逐步形成數學的理論,現在已經是及其龐大的理論了。形的概念,也從(cong) 我們(men) 熟悉的點、線、麵等等變得非常陌生,比方說在三維空間裏麵,把所有過圓點的實線拉出來,它也是一個(ge) 非常好的結構,是一個(ge) 射影空間。

幾何的抽象當然也是很明顯的,因為(wei) 這裏頭點沒有大小、線沒有寬度厚度,麵也沒有厚度,它隻是現實世界物體(ti) 的一個(ge) 空間屬性的抽象,在現實中間你看不到這樣的點、線和麵。對這些抽象的空間形式是沒有辦法做實驗的,所以隻能用邏輯推理的方法從(cong) 一些結論導出另一些結論,重要的是我們(men) 需要認識到這些結論其實是現實世界的抽象的一個(ge) 反映。

幾何和算術一樣,它原始概念的明顯性、推理的方法、結論的令人信服都如同算術那樣,以實踐和世界客觀規律為(wei) 基礎。既然以實踐為(wei) 基礎,也就意味著它會(hui) 有局限,就會(hui) 有人想,我們(men) 直觀提煉出這些概念,是不是很好的反映了現實?很久很久以前人們(men) 是很有信心的,但隨著科學的發展,或者說隨著人們(men) 對幾何公裏深入分析的時候,這個(ge) 信念就動搖了。大家知道對歐幾裏得幾何第五公式的討論和思考,最後導致了非歐幾何,那非歐幾何中的黎曼幾何對相對論是非常重要的,更好的描述了我們(men) 的宇宙。所以我們(men) 來源於(yu) 實踐中的很多東(dong) 西,到後來又經過不斷的修正,通過實踐和理性的思考。

在數學裏麵,量與(yu) 形是事物的基本屬性,那毫無疑問,分開討論量的屬性和形的屬性都是不夠的,他們(men) 兩(liang) 者必然會(hui) 有聯係、互相有製約。數學分支之間的聯係互相滲透,是有特別重大的意義(yi) 的,它有力的推動了數學的前進,並揭示了這些分支所反映的現實世界關(guan) 係的豐(feng) 富多彩。我們(men) 現在非常強調交叉,原因就在於(yu) 不同的學科其實都是現實中間不同角度的反映而已,隻有把它結合起來,才能對這個(ge) 現實有更全麵的認知。這有點類似於(yu) 盲人摸象,每個(ge) 學科可能隻摸到一個(ge) 局部、一個(ge) 側(ce) 麵而已,把所有的合起來,我們(men) 就會(hui) 對這個(ge) “象”有個(ge) 更完整的認識了。

回到算術與(yu) 幾何,它同樣有密切的聯係,不僅(jin) 互相作用,而且是產(chan) 生進一步的一般概念、方法和理論的來源。這一點非常的重要,就像我們(men) 現在的交叉,它不斷產(chan) 生新的概念、方法、理論等等。數學和化學結合到一起就會(hui) 有計算化學;數學和物理的結合一直是非常緊密的,(它們(men) 的結合)有數學物理;還有計算生物學等,像現在很多數學家轉去做生物,我知道有些美國的數學家轉去做生物之後,結果成為(wei) 美國科學生物方向的院士,這樣的例子還有很多。

算術和幾何是數學成長的兩(liang) 個(ge) 根源,其密切的聯係在剛開始就有了。比方說簡單的一個(ge) 長度測量就已經是算術和幾何的結合了。當你測量物體(ti) 的時候,會(hui) 把單位長度的東(dong) 西放在物體(ti) 上麵,然後數一數共放了多少次,其中第一步“放”的時候就是一個(ge) 幾何的性質——全等,第二步“數”當然是算術的做法。

在測量時候常常會(hui) 發現,選用的單位不能在被測的物體(ti) 上放置整數次,這時候就必須把單位加以分割,以便利用單位的一部分來更準確的表示量,這就已經超出整數的範圍了,要用分數來表示這個(ge) 量,分數就這樣產(chan) 生了。這是幾何與(yu) 算術相互作用的結果,它引起了數的概念從(cong) 整數到分數的推廣,這也是數的概念非常重要的一步,分數就這樣產(chan) 生了。直接在自然界中間還形成不了分數的概念,但是通過幾何與(yu) 算術的聯係,它就產(chan) 生了。

不過無理數的發現,還不能通過測量實現,因為(wei) 在實際測量中間,如果分割和度量達到過於(yu) 細小的程度時候,這些細小的量就會(hui) 被直接忽略掉,也做不到無限精確的測量,而且無限精確也沒有意義(yi) 。

勾股定理告訴我們(men) ,單位邊長的正方形對角線的長度就是2的平方根,這樣數的概念就進一步發展了。而且逐漸的人們(men) 把數理解為(wei) 某個(ge) 量與(yu) 被取做單位量的比值,可以不再把數與(yu) 具體(ti) 物體(ti) 量的屬性聯係起來,這意味著對數的認識又比前麵進了一大步,它是兩(liang) 個(ge) 量的比,比如3/5,就是3和5的比值,和測量、和數(shǔ)數(shù)都沒有任何的關(guan) 係。

這裏要特別強調一下無理數的發現。我們(men) 可能都知道,在古希臘的時候,人們(men) 利用勾股定理,他們(men) 叫做畢達哥拉斯定理,發現了單位邊長的正方形不能夠被有理數度量的時候,希臘人是感到震驚的。他們(men) 認為(wei) 這些事情好像破壞了世界的美一樣,不能理解這件事情。但它既然這樣自然的產(chan) 生,當然在數學裏麵有重大的意義(yi) 。從(cong) 哲學上來講,它的發現也是數學理論在揭示自然規律和現象的威力深刻性上一個(ge) 典型的例子。可能我們(men) 平常沒有意識到這一點,就是無理數沒有數學理論是發現不了的,其他的手段包括測量、抽象、實驗等等,都發現不了,隻有數學理論能夠告訴你世界存在無理數,而且會(hui) 有很多很多。後麵我們(men) 還會(hui) 談到一些其他東(dong) 西,比如說無窮也同樣隻有數學能做到,別的科學做不到。

數的概念進一步的發展就是實數,然後就是複數,到了後來就是代數結構,這個(ge) 地步已經到了比較高深的數學了。換句話在我們(men) 日常生活中間不一定能夠直接感受到,可能也不需要感受到,專(zhuan) 家會(hui) 給我們(men) 忙這些事情,(把它們(men) )運用到物理、通信、航天等地方。

關(guan) 於(yu) 數與(yu) 形的聯係,華羅庚先生有一個(ge) 非常深刻的見解,他說,“數缺形時少直觀,形缺數時難入微”。確實是這樣,你把這兩(liang) 個(ge) 統一起來考慮的時候,對這兩(liang) 者的認識都會(hui) 變得更深刻。如果你孤立的來考慮,不會(hui) 走的那麽(me) 遠。

簡單的談一下曆史之後,我們(men) 應該說數學了。數學應該是從(cong) 數(shǔ)數(shù)開始的,我們(men) 有誰不會(hui) 數數呢?在幼兒(er) 園裏的孩子都會(hui) 1、2、3……這麽(me) 數下去。一般孩子數到100,可能他的爸爸媽媽就讓他過去了。不過有些望子成龍的家長可能會(hui) 讓他一直數到N,數到一個(ge) 抽象的N。一般可能想不到用正整數把所有整數都數一數,其實這是可能的,一個(ge) 數法就是從(cong) 零開始,然後一個(ge) 負數一個(ge) 正數、一個(ge) 負數一個(ge) 正數,結果就把整數這麽(me) 一個(ge) 個(ge) 排下去了。這件事情有點意思,也說明數數好像沒有那麽(me) 簡單。

接下來我們(men) 就可能會(hui) 想著用正整數去數有理數,剛開始看這似乎是不可能的一件事情,但出人意料這也是可能的。有理數是兩(liang) 個(ge) 整數的比,當然前麵還有一個(ge) 正負號,我們(men) 可以要求這個(ge) 分子分母沒有大於(yu) 1的公因子,把分子分母都加起來,先按這個(ge) 值大小分成若幹部分,這時可以用整數去數。然後對於(yu) 固定的和,這裏的有理數肯定是有限的,那這部分又能數。這樣操作下去之後,結果發現有理數也能數,從(cong) 零開始,然後接下來就是分子分母都是1的數,隻有1和負1;那分子分母加起來是3的時候,那就是1/2,2,-1/2,-2;加起來是4的時候就是1/3,3,-1/3,-3等等。這個(ge) 樣子就把有理數全部都數下去了,這應該說數數還是非常有意思的一件事情。

那接下來你可能想繼續用整數來數實數,但很遺憾,實數確實沒辦法用整數來數。這顯示出實數和有理數、整數之間,從(cong) 無窮的觀點來看,它是有巨大差別的。而且有理數雖然看起來亂(luan) 糟糟,我們(men) 還是能夠把它數清楚,但實數我們(men) 做不到這一點。證明並不難,我們(men) 這裏不用去管它了。

這裏馬上就會(hui) 產(chan) 生一個(ge) 問題,在自然數全體(ti) 和實數全體(ti) 之間有沒有一個(ge) 數的集合,它一方麵沒有辦法數,或者說我們(men) 不能像整數那樣數下去;另一方麵它和實數全體(ti) 也不一樣多,也就是說你不能和實數集建立一一對應,一一對應通俗的語言說來就是旗鼓相當,數學的語言就是等式,就是勢力相等的意思。這個(ge) 問題看起來很自然,問的就是像在1和2之間有沒有整數一樣。不過大家可能意識不到的事情是,這個(ge) 問題在數學裏麵是特別重要的一個(ge) 問題,一個(ge) 很基礎的問題。康托是集合論的創始人,他提出這樣一個(ge) 假設——連續統假設,說這樣的集合沒有。大家可能知道,在1900年國際數學大會(hui) 上,偉(wei) 大的數學家希爾伯特提了23個(ge) 問題,這23個(ge) 問題中的第一個(ge) 問題就是連續統假設,可見這個(ge) 問題在數學中的重要性。數學家們(men) 花了很大的力氣來研究它,哥德爾,偉(wei) 大的奧地利數學邏輯學家,他在1940年就證明了連續統假設和我們(men) 現在這個(ge) 邏輯體(ti) 係是沒有矛盾的,沒有矛盾還不能說它對。又過了23年到1963年,一位美國數學家科恩,他發明了一種非常有利的辦法,叫做力波法,證明這個(ge) 結論否定的一麵和我們(men) 現在的邏輯體(ti) 係也是沒有矛盾的。這個(ge) 事情就變得詭異起來了,換句話說這麽(me) 簡單自然的一個(ge) 問題,在邏輯上來講,我們(men) 證明不了它是對或者錯,就像在我們(men) 日常生活中一句話一樣,“說你行你就行,說你不行你就不行”,這讓我們(men) 對邏輯產(chan) 生了很奇怪的感覺,原來它也有它不能的時候。科恩因為(wei) 這項工作,在1966年獲得了菲爾茲(zi) 獎,在取得了這項偉(wei) 大的成就之後,他心氣高昂,覺得數學裏麵沒什麽(me) 問題值得他研究,除了有一個(ge) 問題叫黎曼猜想,數學裏麵最著名的一個(ge) 問題。科恩後來的餘(yu) 生就致力於(yu) 研究黎曼猜想,他這個(ge) 心勁有點類似於(yu) 我們(men) 古代唐詩所描述的境界“曾經滄海難為(wei) 水”。很可惜,科恩已經去世了,黎曼猜想還依然活著,誰也沒辦法證明它。

在這個(ge) 地方我們(men) 可以看出來,邏輯實際上比我們(men) 想的詭異的多,很多時候我們(men) 對它的認識可能還不那麽(me) 透徹。關(guan) 於(yu) 邏輯我願意在這裏再多說一點點,一般人對於(yu) 數學的邏輯都非常有信心,不僅(jin) 數學家相信,物理學家相信,一般老百姓也相信。但隨著我們(men) 對數學的認識不斷的加深的時候,就有很多的悖論,包括羅斯的悖論等等。這些悖論也就意味著數學的邏輯不像我們(men) 平時想得那樣無所不能、無所不利。我們(men) 能做的事就是給它建立一個(ge) 很堅實的基礎,比如這個(ge) 世界有狼,那我們(men) 就圈一塊地,把狼趕到外麵去,然後在圈裏麵放羊。把數學就建立在這個(ge) 領域,這個(ge) 大廈就非常牢固了。數學家對這個(ge) 努力的方向是非常樂(le) 觀的,羅素與(yu) 懷特海就寫(xie) 過數學原理三大本書(shu) ,試圖來做這件事情。羅素是一位非常傑出的數學家,數學家拿諾貝爾獎的人很多,但是這位數學家是通過文學拿的諾貝爾獎,實際他是通過這三本書(shu) ——《數學原理》拿的諾貝爾獎。據說當時正好在諾貝爾獎評選委員會(hui) 裏,有一個(ge) 人對他這項工作很了解,結果就頒給他了。拿諾貝爾獎文學獎的數學家目前隻有一個(ge) 。

偉(wei) 大的數學家希爾伯特對這樣一個(ge) 努力的方向也非常的樂(le) 觀,認為(wei) 我們(men) 一定能夠做到這一點,我們(men) 必須做到,也將會(hui) 做到。但他這種樂(le) 觀的話說出來之後,朗朗的笑聲沒有多久,在1931年,哥德爾,還是這個(ge) 哥德爾,他就證明了兩(liang) 個(ge) 不完備性定理。第一個(ge) 定理說,如果你的公裏體(ti) 係包含算術公裏體(ti) 係,就是我們(men) 最常用的體(ti) 係,因為(wei) 我們(men) 總要處理整數、算術這些東(dong) 西,如果包含這個(ge) 體(ti) 係了,必然會(hui) 有一個(ge) 命題是沒法判斷它的正確與(yu) 否的。就像我們(men) 剛才(提到的)一樣。歌德這個(ge) 構造還要簡單一些,那是更早完成的。另一個(ge) 不完備定理說,如果有一個(ge) 公裏體(ti) 係包含了這個(ge) 算術公裏體(ti) 係,那麽(me) 它的不完備性是不能夠由自身證明。就像在法庭上你不能自證清白。這對希爾伯特的形式化綱領是一個(ge) 致命的打擊,也宣告他的形式化綱領是不可能實現的。希爾伯特得知這個(ge) 消息後當然非常的沮喪(sang) ,更遭的是那個(ge) 冬天,他還把腿給摔斷了,這顯然是一個(ge) 不祥之兆。

從(cong) 數數引發出來的問題,我們(men) 可以看到邏輯的詭異性,也揭示了我們(men) 認知上的局限性。數理邏輯還和計算機科學是密切相關(guan) 的,計算機科學能做到哪一步,哪些地方不能做,這個(ge) 界限有時候還不是特別的清楚。但是我們(men) 通過數理邏輯知道有些東(dong) 西做不了,還有很多東(dong) 西能做不能做我們(men) 並不知道,比如P和NP問題等等,它反應了一些詭異的東(dong) 西。哥德爾這項工作不僅(jin) 在數學界裏麵,而且在哲學界裏麵都產(chan) 生了巨大的影響,他實質上和我們(men) 的常識或者是一般所想的差的太遠了。在上個(ge) 世紀70年代有一本書(shu) ,是獲得美國普利策獎的,書(shu) 名就是《G.E.B》——一條永恒的金帶。這個(ge) G就是哥德爾;E就是埃舍爾,一位荷蘭(lan) 的畫家;B就是音樂(le) 家巴赫。他把哥德爾的不完備性定理和埃舍爾的繪畫以及巴赫的音樂(le) 給聯係起來。你在看埃舍爾繪畫的時候也是很有意思的,它在整個(ge) 局部上都是非常合理的:水不斷地往高處流,結果最後整體(ti) 上看它流到原來地方,或者甚至比原來更低的地方。巴赫的音樂(le) 也是,有時候聽了你會(hui) 感覺到它不斷的深厚,結果回到原來的地方。那本書(shu) 就揭示了這中間的一些聯係,是一本很有影響的書(shu) 。我們(men) 國內(nei) 也有翻譯。埃舍爾的畫科學家也很感興(xing) 趣,因為(wei) 它揭示了一些非常奇怪的矛盾現象。印象中間像楊振寧寫(xie) 的《基本曆史簡史》裏麵就有一幅插圖,是用了埃舍爾的繪畫。

埃舍爾繪畫作品《瀑布》

在我們(men) 有限的生命裏麵,要認識無限,似乎是一件困難的事情,甚至可能是一件讓人不安的事情。在古詩裏麵就說了“生年不滿百,常懷千歲憂”,這就表明我們(men) 並不甘心局限於(yu) 自己有限的時空。但無限是令人敬畏的,帕斯卡說到,“當我想到我生命的短暫停留,被前後的永恒所吞噬,我所占據的小小空間,被我也一無所知的無限廣闊的空間所淹沒,我感到恐懼,這些無邊無際的空間的永恒的寂靜使我害怕”。在數數的遊戲中間,我們(men) 就感受到了整數的無窮和實數的無窮的差別。數學非常重要的一個(ge) 作用是能夠認識無限,這是別的學科做不到的。你沒有看到任何其他的學科能夠做這件事情,哲學討論無限,討論不出個(ge) 所以然,隻有數學能夠研究無限,這是它神奇的地方。我們(men) 利用無限還可以研究有限,例子包括極限、級數、無限集合等等。在無限裏麵也有差別,我們(men) 剛才已經看到了整數的無限和實數的無限的差別,在數學裏麵專(zhuan) 門有個(ge) 分支研究這種差別,那就是集合論。

對於(yu) 無限,希爾伯特的認識是非常深刻的,他說,“沒有其他的問題能夠如此深刻的觸動人的精神;也沒有其他的思想能如此富有成果地激發人的思想邏輯領悟力;然而也沒有其他的概念比無限的概念更需要澄清”。我們(men) 常常有個(ge) 樸素的想法,希望長生不老,其實是跟無窮聯係在一起的。

我們(men) 現在轉過來看一些觀點,數學是那麽(me) 的有魅力,偉(wei) 人們(men) 從(cong) 不吝嗇他們(men) 對數學的敬畏和讚美之詞,說出了一些非常深刻的觀點。像古希臘,畢達哥拉斯學派、柏拉圖學派,他們(men) 認為(wei) 數學是現實的核心。我們(men) 常常聽到的觀點“萬(wan) 物皆數”源自畢達哥拉斯,他的學派還有類似的表述,“數統治著宇宙,數是萬(wan) 物的本質”。柏拉圖學派深受畢達哥拉斯學派的影響,把數學擺在至高的位置,“純粹思想的最高形式是數學。”在柏拉圖學院的大門上寫(xie) 著“無幾何學識者勿入此門”。在柏拉圖的名著《理想國》裏麵,第七篇有很長的對話討論算術與(yu) 幾何的重要性,結論就是 “算術迫使靈魂使用純粹理性通向真理,幾何是認識永恒事物的,並把算術和幾何作為(wei) 青年人必須學習(xi) 的第一門和第二門功課。”

古希臘認為(wei) “數學是自然界最真實的一個(ge) 本質”,有這樣的認識,古希臘在數學上能夠取得開天辟地的成就,似乎也就不奇怪了。這句話在我們(men) 今天的時代應該會(hui) 有更深的體(ti) 會(hui) ,在我們(men) 今天的社會(hui) 信息時代裏麵,什麽(me) 東(dong) 西都要數字化、數字地球、數字這個(ge) 、數字那個(ge) 等等,其實背後都離不開數學。

伽利略認為(wei) “宇宙就是用數學語言寫(xie) 成的,如果你不懂數學,要想認識宇宙是不可能的,這些語言的字母就是三角形、圓以及其他的幾何形狀等等。”

高斯認為(wei) “數學是科學的皇後”。也許大家看過徐遲的報告文獻《哥德巴赫猜想》裏麵提到過這句話。高斯是被稱為(wei) 19世紀的數學王子,是19世紀最偉(wei) 大的數學家,也是傑出的物理學家、天文學家、大地測量學家,他的這句話常被人引用,隻是不知道高斯把皇帝弄哪兒(er) 去了。不過也許大家可以想一下。

維格納是一位獲諾貝爾獎的物理學家,他提到 “在自然科學中,數學是不可思議地有效,已經達到了不合理的程度。”他的這個(ge) 觀點問世以後,引起了長久的討論和引申。

狄拉克也是一位傑出的物理學家,他認為(wei) “上帝是一位非常高等級的數學家,他用非常先進的數學來構造這個(ge) 宇宙,我們(men) 隻要在數學裏麵有進一步的認識的話,都會(hui) 有助於(yu) 我們(men) 認識這個(ge) 宇宙。”我隻是有點奇怪,他為(wei) 什麽(me) 不認為(wei) 上帝是一個(ge) 最高等級的數學家,他是不是認為(wei) 最高等級數學家還有什麽(me) 別的人?

在歐洲甚至一些文人對數學也是讚歎不已,這和我們(men) 國家的文人不太一樣,我們(men) 國家的文人好像讚美數學的很少。我隻是看到很多文人寫(xie) 的作品裏麵,對數學是表現極其的厭惡之情,以不懂數學而自豪等等。伏爾泰認為(wei) “數學必須駕馭我們(men) 理智的奔馳,他是盲人的拐杖,沒有它寸步難行。一切確鑿無疑的事實都應該歸公於(yu) 數學和經驗。”這是一種認識,也是一種信念。法國數學的強大,不僅(jin) 是法國數學界的功績,也有深刻的文化因素。甚至他們(men) 的皇帝對數學也是讚歎有佳,把它和國家的繁榮富強聯係起來。拿坡侖(lun) 是19世紀法國偉(wei) 大的軍(jun) 事家、政治家、法蘭(lan) 西第一帝國的提倡者。人們(men) 一般都關(guan) 注他的軍(jun) 政成就,其實他在科教方麵的成就對法國以後的發展也同樣是至關(guan) 重要的。在法蘭(lan) 西第一帝國期間,法國製定了保留至今的國民教育製度,成立了公立中學和法蘭(lan) 西學院來培養(yang) 人才,鼓勵科學研究與(yu) 技術研究事業(ye) 的興(xing) 起。拿坡侖(lun) 本人對科學文化事業(ye) 是極為(wei) 關(guan) 注的,掌權以後他定期出席法蘭(lan) 西科學院的會(hui) 議,邀請院士們(men) 報告科學進展,把許多獎賞授予科學家,包括外國的科學家。拿坡侖(lun) 的關(guan) 注,促進了法國科學的繁榮,出現了像拉普拉斯、拉格朗日、蒙日、卡諾、傅裏葉、呂薩克、拉馬克、居維葉等一大批耀眼的科學明星。我們(men) 國家的領導人現在對數學也是非常重視的。

西方國家強調數學的還有哲學家,康德是18世紀德國的哲學家,被認為(wei) 是所有時代最偉(wei) 大的哲學家之一,他擁有淵博的自然科學知識,對道德有著深刻的理解。他的哲學對德國古典哲學和西方哲學都有深遠的影響,對馬克思主義(yi) 哲學的誕生也有深刻的影響。《純粹理性批判》是其最有名的著作,他認為(wei) “數學科學呈現出一個(ge) 最輝煌的例子,不借助實驗,純粹的推理就能夠成功的大大擴大人們(men) 的認知領域。”關(guan) 於(yu) 這點,我們(men) 前麵提到的無理數就是一個(ge) 典型的例子,當然虛數也是個(ge) 典型的例子,我們(men) 後麵還會(hui) 有更多的例子來說明這一點。

我們(men) 常常會(hui) 聽到,“飛行的馬赫數”,很多人覺得數學很難或者什麽(me) 之類等等,但是馬赫的觀點完全不一樣,他說,“也許聽起來奇怪,數學的力量在於(yu) 它躲避了一切不必要的思考和它令人愉快的節省了腦力勞動”。其實做數學節省了很多的腦力勞動,你不用辛苦的考慮很多東(dong) 西,因為(wei) 很多東(dong) 西的數量關(guan) 係就決(jue) 定了它們(men) 的主要性質。

如果像這位雷尼的話就更有意思了,他說,“如果我感到憂傷(shang) ,我會(hui) 做數學變得快樂(le) ;如果我正快樂(le) ,我會(hui) 做數學保持快樂(le) 。”我是完全同意他的觀點,做數學多好。

黑格爾是德國18至19世紀的科學家,德國古典維新主義(yi) 的集大成者,創立了歐洲哲學史上最龐大的客觀維新主義(yi) 體(ti) 係,並且極大的發展了維新辯證法。他的上述觀點(“數學是上帝描述自然的符號。”)和伽利略的觀點是一脈相承的。現在數學在社會(hui) 科學裏麵應用也變得越來越廣泛,在經濟裏麵是一個(ge) 典型的例子,你要是不懂數學的話,隻做經濟學,它的出路並不是很好。

愛因斯坦無疑是上個(ge) 世紀最偉(wei) 大的科學家,他的觀點更讓人深思,他說,“純數學能使我們(men) 發現概念和聯係這些概念的規律,給了我們(men) 理解自然現象的鑰匙。”他進一步說到,“數學之所以比一切其它科學受到尊重,”雖然他自己是一個(ge) 物理學家,“一個(ge) 理由是因為(wei) 它的命題是絕對可靠的,無可爭(zheng) 辯的,而其它的科學經常處於(yu) 被新發現的事實推翻的危險。數學之所以有高的聲譽,另一個(ge) 理由就是數學使得自然科學實現定理化,給予自然科學某種程度的可靠性。”你看到其他的學科一篇論文半衰期非常短,我們(men) 常聽說某些學科五年前的論文到現在已經沒什麽(me) 價(jia) 值了,但你看歐幾裏得《幾何原本》用了兩(liang) 千多年,勾股定理到現在我們(men) 還是一直不停的在用,所以數學的生命是永恒的,不像其他的學科。即便是偉(wei) 大的牛頓定理,後來也發現隻是低速世界的定理,在更大的空間裏麵、更小的空間裏麵它其實都不適用。小的空間裏有量子力學,大的空間有相對論。

對數學在現實中的用處,華羅庚先生的觀點是非常透徹的,“從(cong) 宇宙之大、粒子之微,火箭之速,化工之巧,地球之變,生物之謎,日用之繁,無處不用數學。”你可能會(hui) 注意到這一點,它其實還是迎合了我們(men) 國家一種實用主義(yi) 的思維。

從(cong) 華羅庚先生這些話裏麵,每一句都能引申出很多的東(dong) 西。比如第一句話中對於(yu) 無垠的宇宙,離開了相對論要認識宇宙其實是很困難的,前兩(liang) 年發現了引力波,其實來源於(yu) 相對論;在粒子之微這裏,有量子力學,包括薛定諤方程;火箭之速也會(hui) 用到數學,必須要計算好,不然坐火箭出去旅行,很有可能就回不來;化工裏麵也是一樣的,它有很多的化學反應,微小的實驗尺度裏麵就會(hui) 用到微分,大的實驗尺度裏麵會(hui) 用到積分;地球之變不用說,現在的天氣預報能夠預報的比以前更準確,毫無疑問數學起了很重要的作用,包括建模之類的;生物之謎也是一樣的,人為(wei) 什麽(me) 演變到今天,它的基因怎麽(me) 演變的,這裏概率和統計就起了很重要的作用。這裏還可以說一個(ge) 故事,本拉登前幾年被擊斃了,當時美國的情報人員花了很大的力氣弄清楚他的落腳點。那科學家怎麽(me) 來看這件事情呢?科學家用了一個(ge) 模型來推測本拉登的落腳點,他認為(wei) 本拉登這個(ge) 時候的行為(wei) 跟瀕危動物的行為(wei) 差不多,所以利用瀕危動物的行為(wei) 來預測本拉登的落腳點,最後推測出來他可能在兩(liang) 個(ge) 地方落腳,其中一個(ge) 就是白沙瓦,這就是本拉登最後被擊斃的地方。你可以看一下,運用科學所得到的結論,是常常出人意料的。美國的情報人員其實花了很大的力量,同時很多時候是冒著生命危險的,所以現在情報機關(guan) 裏麵雇傭(yong) 了很多科學家一點兒(er) 都不奇怪。在華羅庚先生的話裏麵,日用之繁,不用說,我們(men) 一個(ge) 最切身的感受就是深受堵車之害,這裏數學可以幫助解決(jue) 很多的問題,運籌優(you) 化之類的。還有一件事情也可能有悖於(yu) 大家的常識,很多時候,路多的時候交通不一定更順暢,封掉幾條路,交通反而更順暢了,這是經過實際證明的。

在二次大戰期間,交通因素變得非常的重要,因為(wei) 要保證物資有效的調度到前線去。蘇聯數學家為(wei) 此建立了線性規劃的理論來解決(jue) 這個(ge) 問題,當時發揮了很重要的作用。有意思的事情是,美國經濟學家後來把這個(ge) 理論用到了經濟學裏,也取得了巨大的成功,結果在上個(ge) 世紀70年代這位蘇聯科學家康托諾維奇,就和美國的經濟學家一起拿了諾貝爾獎。數學家拿經濟獎的人還挺多,包括納什,《美麗(li) 心靈》的主角,大家都看過這個(ge) 故事。納什拿諾貝爾經濟獎的論文很短,隻有兩(liang) 頁紙的樣子,不像經濟學家,寫(xie) 起論文來都是長篇大論,說起來也頭頭是道,不把你說糊塗一般是不罷休的。為(wei) 什麽(me) 這麽(me) 說呢?也有個(ge) 笑話說,就某個(ge) 經濟現象發表看法的話,五個(ge) 經濟學家會(hui) 有五個(ge) 觀點,如果這中間還有一個(ge) 是哈佛畢業(ye) 的話,五個(ge) 經濟學家就會(hui) 有六個(ge) 觀點,要把他們(men) 的觀點統一起來基本是沒有希望的。

我們(men) 回到數學這裏來,數學的抽象當然來源於(yu) 長期的實踐。它並不是憑空起來的,它的結論是從(cong) 概念中運用邏輯方法得出來的,而邏輯方法和概念同樣是以數千年的實踐為(wei) 基礎,沒有這些實踐的基礎也不會(hui) 有今天的邏輯,它同樣以世界的客觀規律為(wei) 基礎。數學的規律實際上是自然規律的一部分,隻是以抽象的形式反映出來,不過抽象的麵目基本上是人見人不愛。現在數學的發展既有外部問題的驅動,也有內(nei) 在問題的驅動,內(nei) 在問題的驅動其實也是現實世界的一個(ge) 曲折的反映而已,隻不過是以抽象的形式表達出來而已,那抽象推導出來的數學在現實中間有用就一點兒(er) 也不奇怪了,數學的理論還是自然規律的一部分。

我們(men) 看一下兩(liang) 千多年前希臘人關(guan) 於(yu) 圓錐曲線的研究,在17世紀被用於(yu) 描寫(xie) 天體(ti) 的運動,過了將近兩(liang) 千年,它才變得有用。黎曼幾何是廣義(yi) 相對論的框架。歐幾裏得出來,後來人們(men) 對於(yu) 第五公式進行了一些反思,因為(wei) 有些地方跟我們(men) 的直覺是不太一樣的。比如過直線外一點做這條直線的平行線隻有一條,但是從(cong) 我們(men) 視覺上來講,比如兩(liang) 條平行線的接軌,一直往遠方看最後交於(yu) 一點,這個(ge) 直觀對於(yu) 繪畫非常重要。對於(yu) 繪畫的討論包括光線的投影等等,最後產(chan) 生了攝影幾何,它其實是一種非歐幾何。對於(yu) 歐幾裏得第五公式的討論形成兩(liang) 個(ge) 幾何,一個(ge) 是雙曲幾何,一個(ge) 是球麵幾何。另一種就是黎曼幾何,黎曼幾何是完全從(cong) 數學內(nei) 部產(chan) 生的。但是到後來相對論出來之後,人們(men) 發現歐式幾何是不適用的,相對論的數學框架用黎曼幾何正合適,它對引力的解釋也和原來完全不一樣,並不是說兩(liang) 個(ge) 物體(ti) 的質量之間輕,而是說物體(ti) 質量非常大的時候空間是有彎曲的。

另外比方說纖維叢(cong) 理論在規範場理論中的應用也是一樣的,當時楊振寧對這個(ge) 事情感到非常的驚訝,就跟陳省身先生交流說,“你們(men) 數學裏麵憑空做出來的東(dong) 西怎麽(me) 會(hui) 在物理裏麵非常重要?”陳省身就說,“我們(men) 的幾何本來就是現實中的一部分,所以不能說它是憑空產(chan) 生的。”

當然還有很多的例子,包括矩陣和無限維空間在量子力學中的作用,海森堡剛開始把他的量子力學叫做矩陣力學,因為(wei) 矩陣的乘法具有非交換性。

概率論在統計力學、生物和金融中也有廣泛的應用,概率論的來源其實是賭博,很多的數學在很久很久以前是人們(men) 完全憑興(xing) 趣研究的,後來在自然科學或者其他地方都有想不到的大用處。懷特海德就感歎到,“對那些隻把知識和研究局限於(yu) 明顯有用的那些人,不會(hui) 有比如下示例給出更深印象的告誡了:圓錐曲線隻是作為(wei) 抽象科學(的內(nei) 容),被研究了一千八百年,除了滿足數學家的求知欲外,沒有任何實用的考慮,然而在這漫長的抽象研究的最後,它們(men) 被發現是獲得最重要的自然規律之一的知識所必不可少的鑰匙。”

我覺得懷特海德的話對我們(men) 國家來講,不管是政府也好,還是一般的百姓也好,都是有它的意義(yi) 的。我們(men) 一般都非常關(guan) 注“有用”,我們(men) 學過很多東(dong) 西,包括學經管,它就是為(wei) 了掙錢、有用。隻是為(wei) 了興(xing) 趣去探索未知的東(dong) 西,這種精神在我們(men) 國家應該是比較少的。我自己在教學的過程中間也遇到一些這個(ge) 現象,甚至一年級的大學生就問,“線性代數有什麽(me) 用呢?”線性代數這麽(me) 技術的東(dong) 西當然非常有用,包括在通信裏麵。這個(ge) 學生提的問題讓我感到非常驚訝,換句話說他這個(ge) 時候沒有體(ti) 會(hui) 到學習(xi) 的樂(le) 趣,而隻是關(guan) 心有什麽(me) 用,這其實很難走遠,不應該這樣問。我覺得他是問錯了,他應該問有沒有意思,有意思驅動的話做下去就會(hui) 走的更遠,因為(wei) 一直覺得它有意思。你想你在生活中間不就追求一個(ge) 有意思嗎?這個(ge) “有用”,當一個(ge) 人成為(wei) “有用”的時候,我是懷疑這個(ge) “有用”有什麽(me) 含義(yi) 呢?你是被別人利用,還是你要利用別人?所以“有用”這個(ge) 東(dong) 西推敲下去,結果好像不太好。

知識通過感性的感覺而產(chan) 生,逐漸成為(wei) 考察的對象,最後變成理性的財產(chan) 。所以我們(men) 現在都說知識是人類的財富等等,它確實是一個(ge) 財富。在我們(men) 古代所說的“書(shu) 中自有黃金屋”,它有一定正確的成分,但還不完全正確,因為(wei) 它太現實了,包括“顏如玉”等等。我不知道女孩子看到這樣的句子會(hui) 有什麽(me) 感受,是不是還希望加一句“還有帥哥在裏頭”。

數學的思維方式當然也是一種智慧,這一點尤其重要。在學習(xi) 數學的過程中間,掌握了數學的思維方式,怎麽(me) 考慮問題等等,這比知識有價(jia) 值得多。知識可以上網去搜,可以看書(shu) 、翻書(shu) 等都沒問題,但怎麽(me) 考慮問題是能力中一個(ge) 重要組成部分。我們(men) 用兩(liang) 個(ge) 例子看一下數學的智慧。

第一個(ge) 例子是哥尼斯堡七橋問題。(如下圖)這是一個(ge) 城市,河流是這個(ge) 樣子,有七座橋,問題就是能否設計一條路線通過每一個(ge) 橋,正好過一次。據說當時市民周末一個(ge) 很受歡迎的消遣就是能否設計一條路線通過每座橋正好一次。但這個(ge) 問題當時市民都沒有解決(jue) ,最後大概是一個(ge) 城市的市長把這個(ge) 問題交給了歐拉,一個(ge) 著名的數學家,歐拉把這個(ge) 問題解決(jue) 了。我們(men) 看一下歐拉是怎樣解決(jue) 這個(ge) 問題的,這個(ge) 過程體(ti) 現了抽象的價(jia) 值和數學的思維。

首先這條河流把城市分成四部分,每一部分大小其實都不重要,重要的是過橋的路徑設計,從(cong) 而可以把陸地抽象為(wei) 一個(ge) 點,大小反正無所謂,幹脆沒有大小就得了。而橋就抽象成點與(yu) 點之間的連線,這個(ge) 圖就畫成這個(ge) 樣子。簡化成這樣之後,這個(ge) 問題的本質就全部展示出來了,除了起點和終點,走過中間那些點,走到這個(ge) 點的次數和走出那個(ge) 點的次數加起來必然是一個(ge) 偶數,就是說連接那個(ge) 點的橋數必然是偶數。可是上圖連接四個(ge) 點的線路,也就是橋數分別是5、3、3、3,所以不可能設計一條路線通過每座橋正好一次。歐拉解決(jue) 這個(ge) 問題的方式,顯出了抽象的價(jia) 值和數學的智慧,這是圖論的開始,也是拓撲學的一個(ge) 先聲。圖論在信息科學中間,包括網絡和芯片設計,都非常有用。

說到數學思維我們(men) 還舉(ju) 一個(ge) 例子,二戰期間很多數學家參與(yu) 了戰爭(zheng) ,包括圖靈等人破譯密碼,也包括很多統計學家分析數據等等。其中有一件事情就是很多戰機出去空戰的時候,很多被擊落了,也有很多又回來了,回來的很多戰機上麵就布滿了彈痕、彈眼之類的,這就需要分析在哪些地方需要加固。空軍(jun) 提的建議是,應該在彈孔最多的地方加固,但數學家提出的意見是,應該在彈孔最少的地方加固。為(wei) 什麽(me) ?彈孔最多的都能飛回來,意味著這個(ge) 地方多打幾個(ge) 彈孔也沒關(guan) 係,這就是個(ge) 缺失數據的問題。彈孔少的地方,比如說發動機,因為(wei) 被擊中後基本就是栽下去,回來的不多。數學家提出的觀點和軍(jun) 方是完全相反的,後來事實證明數學家是對的,他挽救了很多飛機和飛行員的生命。

另外再舉(ju) 個(ge) 例子,就是晶體(ti) 的分類。我們(men) 都很喜歡鑽石,非常的漂亮,還有雪花也很美,他們(men) 都是晶體(ti) 。晶體(ti) 有多少種?這是很實際的問題。晶體(ti) 的主要特點是對稱,由外部的對稱和內(nei) 部的對稱結構來決(jue) 定,晶體(ti) 的對稱性對晶體(ti) 的種類帶來了很強的約束。數學中間研究對稱的分支是群論。外部的對稱是很容易確定的,關(guan) 於(yu) 內(nei) 部的對稱,舍去了晶體(ti) 的所有物理性質。僅(jin) 從(cong) 幾何對稱性的角度考慮晶體(ti) ,在1885年到1890年期間,俄國的晶體(ti) 學家費德洛夫就確定了晶體(ti) 的微觀的對稱形式230種。他的這項工作後來是晶體(ti) 實驗工作數學理論的基礎,對晶體(ti) 的內(nei) 部結構的確定發揮了巨大的作用。包括1912年德國人勞爾,以及包括後來英國人布拉格父子,他們(men) 對晶體(ti) 內(nei) 部結構的確定等等,這些數學理論都起了非常重要的作用。勞爾和布拉格父子先後於(yu) 1914年和1915年獲得了諾貝爾獎。群論是研究對稱的一個(ge) 基本工具,在物理中間非常重要,不過它的來源非常有意思,它是解方程產(chan) 生的。

很多人都感到數學有一種特殊的美感,他們(men) 也曾經做過生理上的分析,發現這個(ge) 美感和看到漂亮風景、帥哥靚女之類,神經的反應好像差不多的。事實上還有一些物理學家,對數學之美的感受是很強烈的,對數學的美的追求也是無盡的。外爾對數學美的態度就是這樣,“我的工作總是設法把真與(yu) 美統一起來,但如果隻能選擇這個(ge) 或另一個(ge) 時,我常常選擇美。”。一般我們(men) 追求真善美,但好像從(cong) 道德上來講,這樣做是不對的,但數學裏麵的美很可能是更高層次的真實。就像在我們(men) 所認識的世界裏麵,你的認識是有一定局限的,但美是一個(ge) 原則,讓你發現更高層次的真實。外爾寫(xie) 的《群論量子力學》1928年首次出版,非常的有名,據說當時的理論物理學家都會(hui) 把這本書(shu) 放在書(shu) 架上,但都不看,因為(wei) 裏麵的數學太難了。物理學家對數學家寫(xie) 的書(shu) 好像好感並不多,他們(men) 的評價(jia) 大概是這樣的,認為(wei) 數學家寫(xie) 的書(shu) 有兩(liang) 種:第一種是看了一頁就看不下去了,第二種是看了一行就看不下去了。

哈代是20世紀傑出的分析學家,也是他所在的時代英國最傑出的數學家,他的一個(ge) 數學家的獨白表達了他對數學的看法,影響頗廣。他也是一個(ge) 唯美主義(yi) 者,他認為(wei) “美是(數學的)第一道檢驗:難看的數學在這個(ge) 世界上沒有長駐之地。”

狄拉克認為(wei) ,“物理定律必須有數學的美,上帝用美麗(li) 的數學創造了這個(ge) 世界。”狄拉克方程就是一個(ge) 典型的例子,它是個(ge) 很有名的方程,楊振寧對它也是非常讚歎的,專(zhuan) 門有文章提到這件事情,就是利用這個(ge) 方程,人們(men) 發現了正電子。當初根據已有的實驗結果來講,它的方程不是這樣的。但他認為(wei) 根據實驗結果得出的方程不美,所以就給修改了,修改之後很多東(dong) 西又解釋不了,他就大膽地預言應該還有一個(ge) 例子沒有發現,後來果然通過實驗發現了。他對這個(ge) 公式當然也是非常的喜歡。也有一個(ge) 很牛的物理學家費曼,課講的非常好,有次大概因為(wei) 開會(hui) ,這兩(liang) 個(ge) 人(費曼和狄拉克)碰在一起了,長時間的沉默之後,狄拉克就冒了一句話,“我有一個(ge) 方程,你有嗎?”估計費曼當時非常的鬱悶。物理學家也好,數學家也好,獨特的人是非常多的,英文有個(ge) 詞叫eccentric(中文譯為(wei) 怪人),在我們(men) 國家對eccentric好像沒那麽(me) 寬容,西方文化對他們(men) 要寬容一些。

羅素說,“數學,如果正確地看,不但擁有真理,而且也有至高的美。”羅素是數學家,也是哲學家,獲得過諾貝爾獎文學獎。他所寫(xie) 的《西方哲學史》從(cong) 一個(ge) 哲學家的角度,而非哲學史家的角度看待西方的哲學史,那獨特的視角、脈絡清晰,文筆也非常的流暢,但又不乏幽默,所以他對美的認知自然有非常廣闊的背景。

如果你覺得數學不美的話,從(cong) 某種意義(yi) 上講我不太建議你去學數學,或者你至少培養(yang) 了美感之後再去學數學。數學美的含義(yi) 到底是什麽(me) ?這個(ge) 問題提得多了之後,我覺得就要想一想它到底什麽(me) 內(nei) 容?後來我發現它大概有以下的內(nei) 容:形式上要清晰、簡潔,還有就是要簡單、原創、新穎,不新穎的話,老生常談,不會(hui) 有美的感覺;還有就是很優(you) 美,以及一個(ge) 很重要的就是不同對象之間的聯係,這一點大家以前可能沒有意識到其實是非常重要的。它的內(nei) 涵必須要非常深刻、重要,還有基本和蘊意豐(feng) 富,從(cong) 這個(ge) 基本的對象出發,能解釋很多其他的東(dong) 西。它的證明要清晰、幹淨利落、巧妙。

我們(men) 用一些例子來說明一下這些觀點。第一個(ge) 就是勾股定理,勾三股四弦五,我們(men) 常常理解起來就是3^2+4^2=5^2這樣一個(ge) 等式而已。但實際上它揭示了3、4、5這三個(ge) 數的聯係,這是非常重要的。勾股定理我們(men) 知道,三角形的直角邊的平方和等於(yu) 斜邊的平方,以前我們(men) 理解起來,就是這兩(liang) 個(ge) 邊能夠求出第三邊,其實這隻是它價(jia) 值很小的一部分,更重要的是這三個(ge) 邊之間的聯係。我國古代趙爽給了一個(ge) 很漂亮的證明,他把四個(ge) 直角三角形拚起來得到一個(ge) 大的正方形,裏麵包含一個(ge) 小的正方形,比較一下麵積就能夠得到勾股定理的證明。這裏你能感受到這個(ge) 證明的清晰、幹淨、利落和巧妙,和一種美感。定義(yi) 的本身也是非常簡潔優(you) 美的,它的內(nei) 涵是非常豐(feng) 富的。

比方說我們(men) 應用這個(ge) 定理,我們(men) 就知道,平麵上以原點為(wei) 圓心、半徑為(wei) r的方程,它就是一個(ge) 很漂亮的方程,x^2+y^2=r^2。關(guan) 於(yu) 它的蘊意的豐(feng) 富,我們(men) 其實可以從(cong) 這裏提出很多的問題來,這些問題在中學就可以讓老師告訴學生,但是一般老師好像並沒有這樣啟發學生。比方說什麽(me) 樣的正整數能夠成為(wei) 直角三角形的邊長?這樣的問題有趣,但還不算太難。另一個(ge) 問題,如果邊長都是整數,它的直角三角形麵積是不是也是整數?這也比較簡單。到了第三個(ge) 問題,你就會(hui) 發現它是驚人的難,如果直角三角形的邊長都是有理數,什麽(me) 情況下它的麵積是整數?我們(men) 可以舉(ju) 一個(ge) 例子,3/2、20/3、41/6,它是一個(ge) 直角三角形的三個(ge) 邊長,它的麵積是5。看起來這個(ge) 問題好像不太簡單,這個(ge) 問題其實已經有一千年的曆史,是古埃及人提出來的。157就是這樣一個(ge) 整數,以157為(wei) 麵積的最簡單的有理直角三角形的三個(ge) 邊長,大家可以看一下,分子分母都會(hui) 有40多位。大家可能想不到這裏麵會(hui) 有這麽(me) 複雜的數據在這裏頭,你更想不到這個(ge) 問題它會(hui) 和BSD猜想聯係在一起。BSD猜想到目前為(wei) 止誰也沒能夠證明它,已有的結果離完全解決(jue) 遙遠得很,因為(wei) 它是關(guan) 於(yu) 橢圓曲線的一個(ge) 問題,也是克雷數學研究所幾個(ge) 千禧年的問題之一。換句話說如果你能夠證明它,能拿到100萬(wan) 美元,也有著享譽全世界的學術聲譽。

我們(men) 前麵提到過,歐幾裏得的一個(ge) 證明說素數有無窮多個(ge) 。素數是一個(ge) 數學的基本對象,裏麵神秘的東(dong) 西非常的多。歐幾裏得證明同樣幹淨利落,富有美感。假設這個(ge) 結論不對,隻有有限個(ge) 素數,那我把這有限個(ge) 素數乘起來再加1,那這個(ge) 新的數M,前麵N個(ge) 素數都不會(hui) 是它的因子。所以M的素因子就會(hui) 和前麵那n個(ge) 素因子不一樣,這是一個(ge) 矛盾,所以素數有無窮多個(ge) ,這個(ge) 定理就非常完美的被證明,好像就沒什麽(me) 事情可以做了。但數學家他從(cong) 來都不會(hui) 這樣考慮問題,就像龐加萊所說,“我們(men) 從(cong) 來沒有完全理解過一個(ge) 問題,我們(men) 隻是對這個(ge) 問題理解的更深了一點、更多了一點。”素數看起來很容易明白,但可能是數學裏麵最神秘、最難以琢磨的一個(ge) 對象。你會(hui) 有很多問題接二連三的產(chan) 生,比方說素數在自然數中間占有多大的比例?這個(ge) 問題很難回答,你可以把它變得更容易琢磨一點,就1到N之間有多少個(ge) 素數?這個(ge) 問題到現在為(wei) 止沒有一個(ge) 人能夠回答。關(guan) 於(yu) 素數有無窮多個(ge) ,後來歐拉有個(ge) 更好的證明,歐拉的證明對數學產(chan) 生了一個(ge) 巨大的影響,包括產(chan) 生了歐拉函數(Euler' totient function)等等,今天我們(men) 不會(hui) 有時間談這些。

還有一個(ge) 看上去非常簡單的問題——哥德巴赫猜想,每個(ge) 大於(yu) 2的偶數都是兩(liang) 個(ge) 素數的和,比方說6可以寫(xie) 成3+3,20可以寫(xie) 成13+7等等,但是誰也沒有能夠證明這個(ge) 結果。到目前為(wei) 止最好的結果還是四、五十年前我國數學家陳景潤做的,他證明了“1+2”,它的含義(yi) 就是充分大的偶數都能夠寫(xie) 成一個(ge) 數字加上另一個(ge) 數,另一個(ge) 數的素因子不超過兩(liang) 個(ge) 。陳景潤的這項工作隨著徐遲的報告文獻傳(chuan) 遍我國大江南北,敬仰、愛慕的信件如雪片般的飛過來,這個(ge) 盛況後來再也沒有出現過。徐遲報告文獻的副產(chan) 品就是,大家都知道數學家連1+1都弄不清楚,原來1+1還是這麽(me) 高深的數學。

曾有人和我說起陳景潤的工作,他是完全從(cong) 字麵上來理解“1+2”的。我試圖給他解釋陳景潤工作中“1+2”的含義(yi) ,他聽後斜看了我一眼,說我不懂。我當時無語,覺得做科普還是很不容易的,同時也發現人們(men) 是多麽(me) 的執著於(yu) 自己不合事實的理解,可能這和他的自尊心、心智安全感也是分不開的。

另一個(ge) 看起來簡單的問題就是卵生素數猜想,比如3和5,41和43,他們(men) 都是相差2的素數對。它的問題是,這樣的素數對有沒有無限多個(ge) ?2013年華裔數學家張益唐在這個(ge) 問題上取得巨大的突破,他證明了存在無窮多對素數,每一對素數的差都不超過7000萬(wan) 。張益唐結果哄動一時,他本人在逆境中也保持對理想追求的故事也是非常立誌的,他感動了世界。

講到數學美的時候我們(men) 還可以提一個(ge) 例子,前麵提到過根號2不是有理數,我們(men) 可以給一個(ge) 很嚴(yan) 格的證明。假設這個(ge) 結論不正確,它是兩(liang) 個(ge) 整數的比,x=a/b,我們(men) 可以要求分子分母沒有公因子,那麽(me) 去分母之後得到xb=a。然後做平方得到x^2b^2=a^2,從(cong) 而就是2b^2=a^2,所以a肯定是偶數。然後再把2b^2=a^2代進去之後,會(hui) 得到b也是偶數,這樣就會(hui) 有一個(ge) 矛盾了,所以這個(ge) 假設是錯的,所以它必然是一個(ge) 無理數。

我們(men) 在小學的時候都學過圓,也知道圓周率(π),大家都計算過圓周求麵積等等,不過好像沒有想過圓周率這個(ge) 數是不是有理數或者無理數,這裏反應一個(ge) 問題就是我們(men) 提問題的能力是比較弱的。不知道大家注意到沒有,很多的問題都是外國人提出來的,我們(men) 自己提的問題或者我們(men) 自己開創的理論是比較少的,這其實反應出來我們(men) 思維上的一個(ge) 局限,願意跟隨而不願意開創。

π這個(ge) 數不僅(jin) 是一個(ge) 無理數,而且還是個(ge) 非常無理的數,它是一個(ge) 超越數。這個(ge) 事情到1882年才由林德曼證明,他也證明了古希臘的畫圓為(wei) 方的問題是不可能的。

我們(men) 前麵談的美基本上都是思維和邏輯的美,其實數學裏麵當然也不缺少形美,畢竟形是數學研究的對象,形裏麵充滿了更為(wei) 感知的美。這兩(liang) 個(ge) 圖像來自於(yu) 極小曲麵與(yu) 分形幾何,分形幾何是研究海岸線發現的,後來成為(wei) 一個(ge) 很漂亮的應用數學分子,在細胞分裂的研究中也有應用。極小曲麵很漂亮,也很有用。就如同他們(men) 證明正質量猜想的時候,極小曲麵就是很關(guan) 鍵的工具。



極小曲麵
分形幾何

還有動力係統,動力係統大家知道跟渾沌是有關(guan) 的,兩(liang) 個(ge) 天體(ti) 之間的運動軌跡通過萬(wan) 有引力就可以確定,但三體(ti) 運動這個(ge) 事情就變得比較複雜了,當時瑞典皇家科學院提出這個(ge) 問題,要求把這個(ge) 問題搞清楚。對這個(ge) 問題龐加萊做了創新性的工作,他剛開始的論文獲獎但有嚴(yan) 重的錯誤,後來更正了。數學動力係統就從(cong) 那裏產(chan) 生,他發現這個(ge) 問題非常的不簡單,存在多種情況。動力係統過去幾年在數學裏麵是非常活躍的,好幾位數學家因為(wei) 動力係統的工作拿了菲爾茲(zi) 獎,包括C.T.Mcmullen,包括兩(liang) 年前去世的一位女數學家米爾紮哈尼(Maryam Mirzakhani),這是目前唯一一位拿菲爾茲(zi) 獎的女數學家,她也是C.T.Mcmullen的學生,是個(ge) 伊朗人,很可惜。去世的還有一位數學家,就是弗拉基米德·福沃特斯基。動力係統在直觀上來講是非常簡單的,一個(ge) 微小的初始變幻,可以帶來巨大的結果上的差別。在氣象學裏麵有一個(ge) 很形象的說法,在巴西雨林裏麵的一個(ge) 蝴蝶抖一下翅膀,紐約可能就會(hui) 下一場大雨。



動力係統
卡拉比-丘流形

右邊這個(ge) 圖形是一個(ge) 卡拉比丘流行,這應該是丘成桐最有名的工作,他證明了卡拉比猜想。卡拉比當時猜想有一類流行,丘成桐試圖去證明這個(ge) 猜想,後來他發現這個(ge) 猜想可能是錯的,就去證明這個(ge) 猜想是錯的,然後就在一個(ge) 會(hui) 上做報告。做完報告後,台下的聽眾(zhong) 覺得他講的很有道理,所以也就對這個(ge) 猜想不再關(guan) 心了。卡拉比也正好在台下,聽完報告回去後覺得哪個(ge) 地方不太明白,就讓丘成桐再解釋一下。丘成桐當然要試圖解釋這個(ge) 疑問,但是一個(ge) 星期過去之後,好像沒辦法解釋,兩(liang) 個(ge) 星期過去了也沒解釋了,後來意識到他做錯了。換句話說,丘成桐先生也有窘迫的時候。這其實告訴我們(men) ,每個(ge) 人都有可能出錯,包括偉(wei) 大的數學家。很多老師可能在上課的時候都有卡住的情況,但“牛人”的做法一般人可能未必做得到,比方說大數學家希爾伯特在講課的時候也會(hui) 突然卡住愣在台上,他愣一下後會(hui) 轉過身來對學生說“啊!這顯然的,你們(men) 自己去證吧!”

丘成桐意識到自己最初對卡拉比猜想工作有錯誤之後,他就朝另一個(ge) 方向努力,再次證明這個(ge) 猜想,過了三年終於(yu) 把這個(ge) 猜想證明了。因為(wei) 這個(ge) 工作和正質量猜想的工作,後來他拿了菲爾茲(zi) 獎。他的這個(ge) 工作的影響在數學裏麵是非常大的,丘成桐先生是幾何分析這個(ge) 方向一位非常重要的創始人。不但如此,這類流形在物理中間也非常重要,人們(men) 發現在弦的裏麵,正好需要這樣一個(ge) 空間,所以他在物理界裏麵也是名動江湖。

數學家對美是非常有熱情的,很多東(dong) 西不美的話他不會(hui) 追求。當然數學家也是一群有特殊天賦的人,他的個(ge) 性也是多種多樣的。

維納,控製論的創始人,也是一位傑出的數學家,他在上世紀30年代訪問過中國,對華羅庚非常欣賞。有一天他要搬家了,到一個(ge) 新地方,可他對於(yu) 這種事情不上心。(他的家人)老早就告訴他,當天還給了他一張新地址的紙條,讓他這一天一定回到新的家裏。但他回家的時候把紙條弄丟(diu) 了,習(xi) 慣地回到老地方,卻發現家不見了。他看見一個(ge) 女孩就問,“對不起,也許你認識我,我是諾伯特.韋納,我們(men) 剛搬家,你知道我們(men) 搬到哪兒(er) 去了嗎?”那女孩非常愉快的回答說“是的,爸爸,媽媽就知道你會(hui) 忘記的”。

德林才氣過人,因為(wei) 證明了韋伊猜想獲得了菲爾茲(zi) 獎。他說,“能否做數學難題隻是心理問題。”這頗有點“說我行,我就行;說我不行,我就不行”的味道。這個(ge) 說法也呼應了一個(ge) 廣為(wei) 流傳(chuan) 的真假莫辯的故事。說某個(ge) 很牛的大學裏麵,有一天也許因為(wei) 天氣不好,班上一位非常傑出的學生就遲到了。他到了一看課已經結束了,黑板上隻留了一些題目,這位學生是非常優(you) 秀的學生,就當作課後作業(ye) 拿回去做了。(做的過程中)他發現這些題挺難的,花了一個(ge) 星期時間隻做出來其中的六道,然後他就有點狼狽的拿給教授說“真是抱歉,這題目有點難,我隻做出六道”。教授毫無疑問的感到震驚,“什麽(me) ?你把這些給解決(jue) 掉了?這些都是我們(men) 這個(ge) 領域裏麵大家正在努力解決(jue) 的難題!”這個(ge) 學生感到非常吃驚。所以做數學有時候是個(ge) 心理問題,你覺得它是個(ge) 作業(ye) 的話大概就能把它做出來,如果覺得它是個(ge) 難題很可能就做不出來。有點糟糕的是這個(ge) 學生後來再也沒有做出更好的工作,他當了係主任之後這樣說,“我們(men) 是這樣選係主任的,誰不能做研究的話我們(men) 就選他當係主任。”

匈牙利數學家厄爾迪斯是有傳(chuan) 奇色彩的,他無固定的居所,總在旅行,到一處就與(yu) 那兒(er) 的數學家合作,所以合作的數量驚人。他認為(wei) “數學家就是把咖啡變成定理的裝置。”

西格爾是第一屆沃爾夫獎的得主,非常聰明,也很努力。

小平邦彥,傑出的日本數學家,他在上個(ge) 世紀50年代就拿了菲爾茲(zi) 獎,他常說自己天資不好,做事一絲(si) 不苟,全身心的投入,第一次學範德瓦爾登的《代數學》時什麽(me) 也沒看明白,看不明白怎麽(me) 辦?他就抄,一直抄到明白為(wei) 止。我想有他這樣的勁頭的話,沒有什麽(me) 學不明白。

數學家經常犯錯,我們(men) 剛才提到邱成桐先生也會(hui) 犯錯誤。對這個(ge) 犯錯來講,有些錯誤是好的,有些不太好。邱成桐犯的錯誤就是個(ge) 好的錯誤,最後導致了問題的解決(jue) 。一位數學家這樣評價(jia) 他的一位同事,“他犯了很多錯誤,但都是朝著好的方向犯的。我試著這樣做,但發現犯好的錯誤是很困難的。”

開爾文,大家知道開氏溫度,他是這樣評價(jia) 數學家的,他說,“數學家就是這樣的人,他覺得下麵這個(ge) 公式是很顯然的。”如果你也覺得這個(ge) 公式顯然的話呢,你們(men) 就會(hui) 是數學家。他說劉維爾就是一個(ge) 數學家。劉維爾還辦了一個(ge) 非常高水平的雜誌,劉維爾雜誌。

笛卡兒(er) 是數學家,也是哲學家。數學上他創立了《解析幾何》,哲學上他提出“我思故我在”,引起人們(men) 對意識與(yu) 存在的關(guan) 係的一個(ge) 審視。有一個(ge) 傳(chuan) 言,說他與(yu) 瑞典公主克裏斯蒂娜戀愛,文字傳(chuan) 情會(hui) 被皇室審查受阻,於(yu) 是他就用了一個(ge) 極坐標方程表達他的愛情。幸好那個(ge) 女孩也是對數學非常明白的一個(ge) 人,她把這個(ge) 方程轉化成一個(ge) 心型,從(cong) 而明白了笛卡兒(er) 的心意。這麽(me) 說來數學不僅(jin) 是描寫(xie) 大自然的語言,也是描寫(xie) 愛情的語言。

我說完了我的報告,謝謝大家!


Q&A

問:學數學的出路何在、以後可以幹什麽(me) 、要是不轉行一直留在數學專(zhuan) 業(ye) 的話有什麽(me) 經驗之談?

答:我想有迷茫是非常正常的,但其實在報告裏麵也講到了,數學是現實的一個(ge) 核心,把這個(ge) 核心都掌握了的話,我想將來的出路是非常寬廣的。你(現在)最重要的事情就是把數學學好,如果不轉行一直留在數學這個(ge) 專(zhuan) 業(ye) 裏,根據自己的興(xing) 趣,如果願意做研究就做研究,如果願意做應用可以做應用,它的整個(ge) 的就業(ye) 前景是非常廣泛的。其實過去很多年來,在美國,學數學的職業(ye) 前景一直都是排在前十的,很多年都是排在第一位,數學的就業(ye) 是不用擔心的。更重要的是第一把自己的功課學好,第二找到自己的興(xing) 趣所在,是願意做學術、還是願意解決(jue) 實際的問題等等。可以通過自己不斷地探索,同時也可以跟老師探索、跟同學探索到底哪個(ge) 地方自己真正有興(xing) 趣,探索清楚這樣一件事情,我想方向也就明確了。


問:能否講講群環域這些代數結構的發展背景,並給一些學習(xi) 上的建議?

答:抽象代數的發展應是20世紀初,有一本比較好的數學史的書(shu) 能夠幫助你了解它的曆史,就是克萊因寫(xie) 的《古今數學思想》。在學習(xi) 中你要重視了解的是抽象與(yu) 具體(ti) 的聯係,要知道群的產(chan) 生跟解方程是密不可分的,它實際上是產(chan) 生於(yu) 一些很具體(ti) 的對象。在數論裏麵也有很多群的概念,包括交換群,同於(yu) 能夠產(chan) 生有限環等等。所以你一定要理解抽象與(yu) 具體(ti) 的聯係,對每一個(ge) 抽象的概念,包括重要的定理,應該盡可能的用很多具體(ti) 的例子,來幫助你理解。一旦把抽象和具體(ti) 的聯係關(guan) 係處理好,近世代數裏麵所有的抽象就變得內(nei) 容豐(feng) 富了,而通過具體(ti) 的例子,也能夠幫你了解、思考、提出問題以及把握中間的真正實質。

 

問:請問應該如何結合數學的意義(yi) ,在數學教學中去發展學生對數學的學習(xi) 興(xing) 趣呢?或者對數學教學進行優(you) 化?

答:這應該是一個(ge) 非常普遍的問題,不僅(jin) 中國存在這個(ge) 問題,世界上其他地方也存在這個(ge) 問題。我想這並沒有一般的靈丹妙藥,數學裏麵有很多有趣的東(dong) 西,必須針對具體(ti) 學生的領悟程度等,通過適當的方式把它們(men) 展現出來。數學的一個(ge) 特點是抽象,但它的抽象包含了很多實際的內(nei) 容,用這些實際的內(nei) 容來展示數學,比方說之前提到的數學的形美,可以通過畫一個(ge) 漂亮的橢圓來展示,就直觀上讓學生感受到很多有趣的東(dong) 西,通過慢慢給他們(men) 這些直觀的感受,使他們(men) 能感到有趣。我想經過努力,他們(men) 會(hui) 感到數學是非常有意思的,並且願意學下去,但是到底能學到哪一步還是因人而異的。


問:如何看待數學天賦,基本功與(yu) 數學成果的關(guan) 係?

答:從(cong) 這個(ge) (網友的)名字來看,他對Andrew wiles是非常敬仰的。那麽(me) 其實Andrew wiles的故事就能夠給他很多啟發,首先Andrew wiles當然很有天賦,他在很小的時候,在童年的時候,對費馬大定理就非常的有興(xing) 趣,所以興(xing) 趣和天賦對於(yu) 數學來講是需要的。但是Andrew wiles是非常努力的一個(ge) 人,當他感到他能做出(某項研究)來的時候,就有幾年的時間,其中就沒有做過(其他)事情,其他的活動盡可能少的參與(yu) 。沒有一個(ge) 很好的基本功要做很好的數學是不可能的一件事情。但是怎麽(me) 樣把基本功打好,這也並不是一件很容易的事情。除了自己努力學以外,很多東(dong) 西必須要很好的老師給你指點,讓你明白這個(ge) 枯燥的東(dong) 西背後的本質是什麽(me) 。所以既要有天賦也要努力,再加上優(you) 秀的老師指點的話,最後取得優(you) 秀的數學成果是順理成章的一件事情,水到渠成。


問:現在在上研究生,但感覺一直遊離在數學的邊緣,就像接觸了一個(ge) 物體(ti) ,隻知道這個(ge) 物體(ti) 重要,現實也很多地方用到它,卻不知道內(nei) 部是怎樣的。如何才能真正進入到數學的領域?怎麽(me) 樣的狀態才算是真正進入數學領域?

答:我想這位同學這個(ge) 感覺非常的好,他至少知道自己沒有弄明白東(dong) 西,這就給他一個(ge) 提升的空間。如果他覺得弄明白的話,這可能是更糟糕的事情。既然覺得沒弄明白,就表明他還可以繼續努力。他需要把這個(ge) 問題具體(ti) 化,比方說覺得看書(shu) 看不懂,哪裏不懂必須要弄明白,必須要跟老師、跟別人來交談。對於(yu) 哪一本具體(ti) 的書(shu) ,哪個(ge) 具體(ti) 的問題不懂,如果僅(jin) 僅(jin) 是空泛談不懂的話,是解決(jue) 不了問題的。必須把這個(ge) 問題落實到某個(ge) 具體(ti) ,一旦他在某個(ge) 地方突破了這個(ge) 障礙之後,我想他可能對整個(ge) 數學的感受就完全不一樣了。把一個(ge) 讓他最最苦惱不明白的一本書(shu) 拿出來,這本書(shu) 裏麵到底是哪個(ge) 地方不明白,不明白在什麽(me) 地方,(通過)仔細跟人討論,把這個(ge) 不明白的問題給明確下來。很多時候這就是個(ge) 探索的過程,就像龐加萊說的:“其實我們(men) 從(cong) 來就沒弄明白過一件事情,隻是我們(men) 不斷的加深理解。”所以沒有弄明白這個(ge) 事情很正常,需要不斷地探索,可以自己探索、看書(shu) 、跟別人討論,但一定要把自己在哪個(ge) 地方不明白弄清楚,如果自己在哪個(ge) 地方都不明白的話,那就說明你還要在搞清楚不明白哪個(ge) 問題這件事情上花更多的時間。

 

問:學高等代數的時候是很久以前了,沒有機會(hui) 讀“基礎代數”,不過聽說還沒有第三卷,什麽(me) 時候出版呀?高等代數沒學好,所有東(dong) 西用起來感覺都是鏡裏觀花,很機械。怎樣能把代數學好用好?

答:第一個(ge) 問題比較簡單,第三卷已經送到出版社去了,應該在9月份左右(出版),我希望它9月份能夠出來。

那高等代數沒有學好呢,有幾個(ge) 原因,第一個(ge) 可能用的教材不夠好,第二個(ge) 可能老師教的不夠好。他需要理解高等代數裏麵最本質的東(dong) 西是什麽(me) ,其實高等代數裏麵最重要的一點,它是從(cong) 解方程這裏發展起來的,表麵上看起來通過消元法可以解出所有的方程,但事實上你發現變量的個(ge) 數一大之後,這個(ge) 辦法肯定是不管用的。那在這個(ge) 時候,對這個(ge) 方程來講它就有很多內(nei) 在的結構,包括係數矩陣的秩,增廣矩陣的秩等等,這個(ge) 秩就反應這個(ge) 方程可解不可解。還有你做消元法的時候,你發現是對它們(men) 係數作些運算,這裏麵產(chan) 生向量空間,方程的關(guan) 係實際就是向量之間的線性組合、線性關(guan) 係、相關(guan) 無關(guan) 等等。還有就是矩陣,你抓住了線性方程以及相關(guan) 的概念之後呢,你發現很多東(dong) 西應該都是比較容易理解的,它的目的還是解方程。那麽(me) 你發展的很多東(dong) 西,反過來一方麵是數學理論,拓展了這個(ge) 空間,一方麵它也對這個(ge) 線性方程達到一個(ge) 更深的理解。這個(ge) 也是不斷深入、不斷交替的過程,已經有了線性空間之後,包括歐式空間裏麵,包括各種各樣變換產(chan) 生的群,就會(hui) 變得更為(wei) 豐(feng) 富,應用更為(wei) 廣泛。這個(ge) 歐式空間裏麵,這個(ge) 距離,最後的話對無解的方程可以有最小二乘法等等,給出一個(ge) 近似解。

你發現通過解方程這樣一個(ge) 脈絡下去理解高等代數的話,很多東(dong) 西都會(hui) 變得比較容易理解,不管是對方程也好,對理論也好,這個(ge) 在我書(shu) 裏你多讀幾遍能夠看得出來。

數學會獎項

華羅庚獎

華羅庚先生是我國著名數學家

華羅庚先生是我國著名數學家,他熱愛祖國,獻身科學事業(ye) ,一生為(wei) 發展我國的數學事業(ye) 和培養(yang) 人才做出了卓越貢獻。

陳省身獎

陳省身教授是一位國際數學大師

國際數學大師陳省身教授是美籍華裔數學家、中國科學院外籍院士。他非常關(guan) 心祖國數學事業(ye) 的發展,幾十年來在發展我國數學事業(ye) 、培養(yang) 數學人才等方麵做了大量工作。

鍾家慶獎

鍾家慶教授生前對祖國數學事業的發展極其關切

鍾家慶教授生前對祖國數學事業(ye) 的發展極其關(guan) 注,並為(wei) 之拚搏一生。為(wei) 了紀念並實現他發展祖國數學事業(ye) 的遺願,數學界有關(guan) 人士於(yu) 1987年共同籌辦了鍾家慶基金,並設立了鍾家慶數學獎,委托米兰体育官方网站入口承辦。

關注微信

掃描二維碼關(guan) 注

  京公網安備 110402430128號 版權所有:米兰体育官方网站入口  法律法規 | OA/ERP係統