席南華院士科普講座《數(shù)學(xué)的意義》實(shí)錄

發(fā)布時(shí)間:2020-06-23

謝謝主持人的介紹,謝謝大家在周末星期六的下午聽(tīng)這個(gè)報(bào)告。

我今天要說(shuō)的是“數(shù)學(xué)的意義”。

數(shù)學(xué),要說(shuō)愛(ài)你不容易,不管你是天才還是庸人,都是它虐待的對(duì)象,差別在于有人在這虐待的過(guò)程中得到快樂(lè),但大部分人得到的是痛苦。痛苦的一個(gè)根源是其實(shí)我們并不認(rèn)識(shí)它,撇開(kāi)我們?cè)谂c數(shù)學(xué)打交道的過(guò)程中的不愉快或愉快,今天讓我們從另一個(gè)角度、一個(gè)輕松的帶著喝下午茶的心情,帶著一個(gè)旁觀者的心態(tài),來(lái)看一看數(shù)學(xué)的意義。

提起數(shù)學(xué),我們會(huì)想到什么?從小學(xué)到大學(xué)都有數(shù)學(xué)課,它在最重要的課程行列。我們也知道,在日常生活和科學(xué)技術(shù)中,它很有用。除此之外可能就想的不多了。換句話說(shuō),對(duì)數(shù)學(xué)的本質(zhì),它為什么有用,甚至更進(jìn)一步為什么有數(shù)學(xué),數(shù)學(xué)除了實(shí)用以外還有什么別的含義,就不大想了,這似乎是和我國(guó)文化的實(shí)用主義是有關(guān)系的。在這樣的背景下,可以說(shuō)我們對(duì)數(shù)學(xué)的認(rèn)識(shí)是很不足的,我們看見(jiàn)的實(shí)用只是數(shù)學(xué)的一個(gè)面,是冰山一角。

數(shù)學(xué)理論的源頭在古希臘,我們有誰(shuí)不知道歐幾里得幾何原本呢?它的數(shù)學(xué)發(fā)展的水平之高,即便在今天看來(lái),都是讓人感到非常吃驚的。它為什么會(huì)是這個(gè)樣子,它的產(chǎn)生當(dāng)然與希臘當(dāng)時(shí)的文化和哲學(xué)是分不開(kāi)的??缭綍r(shí)空,讓我們來(lái)到2000多年前的希臘,看他們是怎樣認(rèn)識(shí)數(shù)學(xué)的。他們說(shuō),“數(shù)學(xué)是現(xiàn)實(shí)的核心,萬(wàn)物皆數(shù),數(shù)統(tǒng)治著宇宙”等觀點(diǎn),都是出自畢達(dá)哥拉斯學(xué)派,柏拉圖學(xué)派是深受畢達(dá)哥拉斯學(xué)派的影響。

我們都知道數(shù)學(xué)研究量與形,但這么說(shuō)還難以感受數(shù)學(xué)的重要性,也很難聯(lián)想到數(shù)學(xué)是現(xiàn)實(shí)的核心。大家想一下,有什么東西沒(méi)有量與形的屬性呢?換句話說(shuō),量與形是物質(zhì)與事物的基本屬性,不管是什么東西,它的這兩個(gè)屬性是擺脫不掉的。數(shù)學(xué)研究就是這些基本的屬性,這決定了數(shù)學(xué)的價(jià)值,也使我們明白,數(shù)學(xué)它是基礎(chǔ)而重要的。說(shuō)它是現(xiàn)實(shí)的核心也就不奇怪了。

如果我們想要對(duì)數(shù)學(xué)有很好的認(rèn)識(shí)的話,就有必要回顧一下,歷史上它是怎么產(chǎn)生的。為什么能夠產(chǎn)生數(shù)學(xué)、人們是怎樣一步步建立數(shù)學(xué)體系的?就是說(shuō),在遙遠(yuǎn)的過(guò)去數(shù)學(xué)是什么樣子?

其實(shí)整個(gè)歷史過(guò)程是非常的漫長(zhǎng),數(shù)學(xué)有很長(zhǎng)的歷史,不像有些學(xué)科非常的短,可能就是20世紀(jì)開(kāi)始的,但數(shù)學(xué)不一樣,它作為一個(gè)獨(dú)立的、有理論的學(xué)科出現(xiàn),還是2000多年前。應(yīng)該說(shuō)公元前600年到公元前300年期間,歐幾里得《幾何原本》它就是一個(gè)光輝的典范,它把古代時(shí)候的數(shù)學(xué)都系統(tǒng)的整理出來(lái),用公里化的方法處理,整個(gè)思維體系影響了后面兩千多年。他的幾何《原本》也在2000多年間是標(biāo)準(zhǔn)的教科書(shū)。幾乎同時(shí),亞里士多德的學(xué)生歐德摩斯就寫(xiě)有數(shù)學(xué)史的著作,所以數(shù)學(xué)史人們很早就關(guān)注它了。

不過(guò),比起人類(lèi)和人類(lèi)文明的歷史,數(shù)學(xué)的歷史要短暫的多。在一萬(wàn)多年前人類(lèi)就開(kāi)始定居于一處,靠農(nóng)牧業(yè)生活,在中國(guó)的考古中,包括周口店的頭骨,我們都能看出來(lái)。不過(guò)文字的出現(xiàn)卻要晚的多,大約在公元前3200年的時(shí)候。文字的出現(xiàn)對(duì)整個(gè)文明來(lái)講是極其重大的事情,在我國(guó)古代認(rèn)為這一是件泣鬼神的事情,在沒(méi)有文字的時(shí)候,你想要在數(shù)學(xué)上有重要的發(fā)展,那是不可想象的,所以文字出現(xiàn)以前,數(shù)學(xué)的發(fā)展其實(shí)是非常緩慢的。

我們都有一個(gè)深刻的印象,就是數(shù)學(xué)的抽象特點(diǎn)。即便是一個(gè)非常簡(jiǎn)單的概念,數(shù),就是一個(gè)抽象的概念,你在大自然中間看不到一個(gè)抽象的數(shù),比如1。抽象的數(shù)的發(fā)展其實(shí)也是非常緩慢的,類(lèi)似的概念包括線段、直線、三角形、圓等等也是一樣。數(shù)的概念據(jù)人們研究也并不是僅僅只有人獨(dú)有,據(jù)說(shuō)有些動(dòng)物也有數(shù)的概念。人們提煉數(shù)的概念其實(shí)經(jīng)過(guò)了一個(gè)很漫長(zhǎng)的時(shí)間,開(kāi)始的時(shí)候人們對(duì)數(shù)的觀念是與具體的物品聯(lián)系在一起的,比如說(shuō)一棵樹(shù)、一塊石頭、兩個(gè)人、兩條魚(yú)等等,對(duì)形也是一樣的。

逐漸的,人們發(fā)現(xiàn)了一棵樹(shù)、一塊石頭等具體物體的共同的數(shù)字屬性,數(shù)的抽象概念就這樣形成了。數(shù),是自然界若干物體的共同數(shù)字屬性,這是一個(gè)抽象的概念,你在自然界當(dāng)中不能直接找到。我們今天可能沒(méi)有意識(shí)到,其實(shí)這在人類(lèi)認(rèn)識(shí)自然的過(guò)程中間是一個(gè)巨大的飛躍。實(shí)際生活的需要產(chǎn)生了數(shù)字間的計(jì)算,比如說(shuō)要分配食物、交換物品、到指定日期前的天數(shù)等等,這都需要對(duì)數(shù)進(jìn)行一個(gè)計(jì)算。我們?nèi)粘I钪虚g對(duì)數(shù)學(xué)的認(rèn)識(shí),說(shuō)數(shù)學(xué)有用,很多時(shí)候都停留在這個(gè)階段,比如說(shuō)會(huì)算帳、會(huì)分配什么東西等等,它其實(shí)是對(duì)數(shù)學(xué)的一個(gè)誤解。

還有一件很重要的事情,就是要給數(shù)一個(gè)名稱(chēng),并且能夠記下來(lái)告訴別人,這件事情也并不是一件很簡(jiǎn)單的事情,所以在文字剛產(chǎn)生之初就引進(jìn)了數(shù)學(xué)符號(hào),這在算術(shù)的發(fā)展上是非常重要的。一般的算術(shù)符號(hào)和公式、未知數(shù)的符號(hào)等是很晚才完成的,包括我們現(xiàn)在熟悉的常用的加減乘除的符號(hào)、代數(shù)符號(hào)都是很晚很晚(才完成的)。像現(xiàn)在的代數(shù)符號(hào)是到了16、17世紀(jì)意大利數(shù)學(xué)家韋達(dá)引進(jìn)的,他對(duì)代數(shù)學(xué)的發(fā)展起了一個(gè)巨大的作用。

算術(shù)最早是在巴比倫和埃及那里發(fā)展起來(lái)的,它由于實(shí)際生活的需要,包括稅收、丈量土地、貿(mào)易、建筑和天文等等。雖然數(shù)學(xué)發(fā)展到今天已經(jīng)非常抽象,但它的來(lái)源還是實(shí)際的生活與生產(chǎn)。不過(guò)需要說(shuō)清楚的是,這里所產(chǎn)生的只是一些計(jì)算的規(guī)則和問(wèn)題的解答,算術(shù)的這種形式并不是數(shù)學(xué)理論,原因在于它沒(méi)有關(guān)于數(shù)的普遍的定義。前些年,也許現(xiàn)在還有,有一個(gè)電視臺(tái)的《最強(qiáng)大腦》里面可以看到有些人算的很快。一個(gè)運(yùn)算能力非常強(qiáng)的人,大家會(huì)有一些誤解,以為這些人都有很強(qiáng)的數(shù)學(xué)能力,其實(shí)這是一個(gè)誤會(huì),他有數(shù)字的運(yùn)算能力卻不一定有數(shù)學(xué)的能力。從實(shí)際后來(lái)發(fā)展的情況來(lái)看,他們其實(shí)并沒(méi)有數(shù)學(xué)的能力,原因在于他對(duì)于數(shù)的普遍規(guī)律沒(méi)有什么深刻的認(rèn)識(shí),所以不具備數(shù)學(xué)的天賦。

向理論算術(shù)的過(guò)渡也是逐漸進(jìn)行的,在古代像中國(guó)、巴比倫、埃及就已經(jīng)知道百萬(wàn)以上的數(shù)了。我們看《史記》上的記載,在戰(zhàn)國(guó)時(shí)代,它的戰(zhàn)爭(zhēng)規(guī)模就已經(jīng)非常龐大了,打起仗來(lái)動(dòng)用士兵經(jīng)常幾十萬(wàn)、上百萬(wàn)等等,雖然我們今天都習(xí)以為常。我們現(xiàn)在的孩子數(shù)數(shù)1、2、3……都會(huì)數(shù)下去,但是在他的意識(shí)里邊,是不是會(huì)想著這個(gè)數(shù)能夠一直數(shù)下去?可能知道,也可能不知道。數(shù)是不是會(huì)到某個(gè)地方截止了?這個(gè)也是不清楚的。在古代最偉大的科學(xué)家阿基米德專(zhuān)門(mén)有一本書(shū)叫《數(shù)砂法》,里面明確指出了命名大量砂粒的數(shù)目的方法,這在當(dāng)時(shí)是一件需要詳細(xì)解釋的事情。其實(shí)今天遇到天文數(shù)字,我們也很難具體的數(shù)一數(shù),我們可能到百萬(wàn)、到億、到萬(wàn)億等等,再往大了,一般人也用不到那些數(shù)字,也不知道怎么稱(chēng)呼,最后籠統(tǒng)的就會(huì)用一個(gè)數(shù)字——天文數(shù)字來(lái)表述它。對(duì)于很大的數(shù)字要給它命名,在古代不容易,在今天其實(shí)也沒(méi)那么容易。

在公元前三世紀(jì)的時(shí)候,希臘人明確意識(shí)到兩個(gè)重要的思想:數(shù)列可以無(wú)限地延續(xù)下去;不但可以運(yùn)用具體的數(shù),還可以討論一般的數(shù),從而證明關(guān)于數(shù)的普遍定理。比方說(shuō)《幾何原本》里面就證明了素?cái)?shù)有無(wú)窮多個(gè),這是關(guān)于數(shù)的普遍的定理。這個(gè)時(shí)候,數(shù)學(xué)理論就產(chǎn)生了。

算術(shù)概念其實(shí)反映了物體集合量的關(guān)系,這些概念是在分析和概括大量實(shí)際經(jīng)驗(yàn)的基礎(chǔ)上加以抽象化而產(chǎn)生的,并且是逐漸產(chǎn)生的。剛開(kāi)始是與具體對(duì)象相連的數(shù),然后是抽象的數(shù),再就是一般的數(shù)。但有意思的一件事情是,每一個(gè)階段都依賴先前的概念和積累的經(jīng)驗(yàn),這是數(shù)學(xué)概念形成的基本規(guī)律之一,其實(shí)其他的科學(xué)也是一樣的,要形成一個(gè)概念,都要依賴于前面的積累。

算術(shù)讓人信服的一個(gè)根源,在于它的結(jié)論和概念是運(yùn)用邏輯方法得到的,邏輯方法和概念都是以數(shù)千年的實(shí)踐為基礎(chǔ),以世界的客觀規(guī)律為基礎(chǔ)。我們對(duì)數(shù)學(xué)的邏輯都是非常信服的,邏輯也不是憑空產(chǎn)生的,它也經(jīng)過(guò)了一個(gè)漫長(zhǎng)的過(guò)程,以數(shù)千年的實(shí)踐為基礎(chǔ),以世界的客觀規(guī)律為基礎(chǔ)。這種想法以為我們的邏輯能夠獨(dú)立這個(gè)世界客觀,它是不合適的,這當(dāng)然也就意味著邏輯也有它的局限,邏輯是非常詭異的,它的詭異性遠(yuǎn)遠(yuǎn)超出我們的想象。

算術(shù)盡管它的概念是抽象的,但有廣泛的應(yīng)用,原因在于它的概念和結(jié)論概括了大量實(shí)踐經(jīng)驗(yàn),在抽象的形式里面表現(xiàn)出現(xiàn)實(shí)世界那些經(jīng)常和到處碰到的關(guān)系。計(jì)算的對(duì)象可以是不同的,是動(dòng)物、農(nóng)產(chǎn)品、星球等等,它舍棄了所有局部和具體的東西,抽取了某些普遍的性質(zhì),這就是數(shù)字的共同屬性。性質(zhì)的普遍性其實(shí)決定了應(yīng)用的廣泛性,抽象的價(jià)值就在這個(gè)地方。

算術(shù)的抽象性保證了廣泛應(yīng)用的可能性,這種抽象并不是空洞的,而是來(lái)源于長(zhǎng)期實(shí)踐的經(jīng)驗(yàn)。對(duì)于全部的數(shù)學(xué),對(duì)于任何抽象概念和理論,它其實(shí)都是一樣的。理論應(yīng)用廣泛的可能性取決于其中所概括的原始材料的廣泛性。要說(shuō)清楚一點(diǎn),抽象與空洞不是一回事,我們經(jīng)常會(huì)看到,某個(gè)人說(shuō)的話真空洞,他說(shuō)的話好像沒(méi)什么內(nèi)容等等,不管報(bào)紙上還是很多領(lǐng)導(dǎo)的講話也好,都有這個(gè)印象,原因在于它里面并不概括什么實(shí)際的內(nèi)容,而僅僅是形式上給你一些正確的東西,這種形式上正確的東西其實(shí)并沒(méi)有什么價(jià)值。而數(shù)學(xué)上的抽象并不是一個(gè)形式的東西,它來(lái)源于長(zhǎng)期的實(shí)踐經(jīng)驗(yàn)。對(duì)于任何數(shù)學(xué),對(duì)于任何其他的科學(xué)包括哲學(xué)等等都是一樣的,需要概括一些非常廣泛的東西,并且有實(shí)際的豐富的內(nèi)容。還是這么說(shuō),理論應(yīng)用廣泛的可能性取決于概括的原始材料的廣泛性,如果概念本身概括的東西很少的話,希望它能夠有廣泛的應(yīng)用,那是不現(xiàn)實(shí)的。

毫無(wú)疑問(wèn),抽象也會(huì)有它的局限性,因?yàn)樵诔橄蟮倪^(guò)程中間會(huì)丟棄掉很多東西,只反映對(duì)象部分的屬性。常常也是這樣,僅有數(shù)據(jù)是不夠的,我們現(xiàn)在生活在一個(gè)信息時(shí)代,大數(shù)據(jù)的時(shí)代,大家對(duì)數(shù)據(jù)的強(qiáng)調(diào)到了非同尋常的地步,認(rèn)為數(shù)據(jù)要主宰這個(gè)世界的一切一樣。但是從過(guò)去的經(jīng)驗(yàn)來(lái)看,它可能還做不到這一點(diǎn)。數(shù)據(jù)只是事物的一部分屬性而已,換句話說(shuō)不能無(wú)限制的運(yùn)用抽象的概念,就像把一只羊和一頭狼加在一起,一升水和一升酒混在一起,它都不是算術(shù)一加一的應(yīng)用,雖然可能有些商人會(huì)在酒里兌水,我們也有個(gè)非常有名的動(dòng)畫(huà)片《喜洋洋與灰太郎》等等。真理是具體的,雖然數(shù)學(xué)是抽象的。把抽象應(yīng)用到具體是一種藝術(shù)和一種技術(shù)。

有意思的一件事情就是我們的思維常常是會(huì)超出實(shí)踐提出的任務(wù)這些要求以外很遠(yuǎn),這非常有意思,比如十億或者百億這樣的大數(shù)字概念,它當(dāng)然是在計(jì)算中間產(chǎn)生的,很早很早就有了。但這些概念出現(xiàn)的時(shí)候其實(shí)沒(méi)什么用處,直到后來(lái)才有用??茖W(xué)里有很多這樣的東西,剛開(kāi)始出現(xiàn)的時(shí)候沒(méi)有什么用處,我們后面還會(huì)舉一些例子,這就是說(shuō)我們實(shí)用的一些哲學(xué)觀點(diǎn),可能要避免。這種例子在科學(xué)上很多,舉個(gè)簡(jiǎn)單的例子,大家在高中的數(shù)學(xué)里面有復(fù)數(shù),我們知道求方程的時(shí)候都要求根是一個(gè)實(shí)根等等,但是對(duì)于X^2+1=0這樣一個(gè)方程,我們就沒(méi)有根了,沒(méi)有根怎么辦?那就不存在了。得出這個(gè)結(jié)論,但是我們又不滿足,最后又引進(jìn)了一個(gè)根,虛數(shù)。從這個(gè)概念本身就知道,它是一個(gè)虛構(gòu)的,它是想象出來(lái)的,不存在。但是到了后來(lái),這個(gè)數(shù)非常的重要,由于虛數(shù)的引進(jìn)之后我們就有了復(fù)數(shù)的概念,復(fù)數(shù)上的數(shù)學(xué)是非常龐大和深刻的。陳省身先生對(duì)復(fù)數(shù)就非常著迷,他說(shuō)復(fù)數(shù)太迷人,你怎么都參不透它,里面有很多的東西是那么神秘,那么深刻。他晚年致力于的一項(xiàng)工作就是證明一個(gè)六維的球面上有復(fù)結(jié)構(gòu),但一直都沒(méi)有做下來(lái)。當(dāng)然這個(gè)問(wèn)題到現(xiàn)在誰(shuí)也沒(méi)有做下來(lái),所以他沒(méi)有做出來(lái)也一點(diǎn)不奇怪。

類(lèi)似的,線段、直線、圓和三角形等等抽象概念,也是逐步發(fā)展起來(lái)的,它是一些物體的共同的空間屬性,是形方面的屬性。和算術(shù)一樣,它產(chǎn)生于實(shí)踐,然后逐步形成數(shù)學(xué)的理論,現(xiàn)在已經(jīng)是及其龐大的理論了。形的概念,也從我們熟悉的點(diǎn)、線、面等等變得非常陌生,比方說(shuō)在三維空間里面,把所有過(guò)圓點(diǎn)的實(shí)線拉出來(lái),它也是一個(gè)非常好的結(jié)構(gòu),是一個(gè)射影空間。

幾何的抽象當(dāng)然也是很明顯的,因?yàn)檫@里頭點(diǎn)沒(méi)有大小、線沒(méi)有寬度厚度,面也沒(méi)有厚度,它只是現(xiàn)實(shí)世界物體的一個(gè)空間屬性的抽象,在現(xiàn)實(shí)中間你看不到這樣的點(diǎn)、線和面。對(duì)這些抽象的空間形式是沒(méi)有辦法做實(shí)驗(yàn)的,所以只能用邏輯推理的方法從一些結(jié)論導(dǎo)出另一些結(jié)論,重要的是我們需要認(rèn)識(shí)到這些結(jié)論其實(shí)是現(xiàn)實(shí)世界的抽象的一個(gè)反映。

幾何和算術(shù)一樣,它原始概念的明顯性、推理的方法、結(jié)論的令人信服都如同算術(shù)那樣,以實(shí)踐和世界客觀規(guī)律為基礎(chǔ)。既然以實(shí)踐為基礎(chǔ),也就意味著它會(huì)有局限,就會(huì)有人想,我們直觀提煉出這些概念,是不是很好的反映了現(xiàn)實(shí)?很久很久以前人們是很有信心的,但隨著科學(xué)的發(fā)展,或者說(shuō)隨著人們對(duì)幾何公里深入分析的時(shí)候,這個(gè)信念就動(dòng)搖了。大家知道對(duì)歐幾里得幾何第五公式的討論和思考,最后導(dǎo)致了非歐幾何,那非歐幾何中的黎曼幾何對(duì)相對(duì)論是非常重要的,更好的描述了我們的宇宙。所以我們來(lái)源于實(shí)踐中的很多東西,到后來(lái)又經(jīng)過(guò)不斷的修正,通過(guò)實(shí)踐和理性的思考。

在數(shù)學(xué)里面,量與形是事物的基本屬性,那毫無(wú)疑問(wèn),分開(kāi)討論量的屬性和形的屬性都是不夠的,他們兩者必然會(huì)有聯(lián)系、互相有制約。數(shù)學(xué)分支之間的聯(lián)系互相滲透,是有特別重大的意義的,它有力的推動(dòng)了數(shù)學(xué)的前進(jìn),并揭示了這些分支所反映的現(xiàn)實(shí)世界關(guān)系的豐富多彩。我們現(xiàn)在非常強(qiáng)調(diào)交叉,原因就在于不同的學(xué)科其實(shí)都是現(xiàn)實(shí)中間不同角度的反映而已,只有把它結(jié)合起來(lái),才能對(duì)這個(gè)現(xiàn)實(shí)有更全面的認(rèn)知。這有點(diǎn)類(lèi)似于盲人摸象,每個(gè)學(xué)科可能只摸到一個(gè)局部、一個(gè)側(cè)面而已,把所有的合起來(lái),我們就會(huì)對(duì)這個(gè)“象”有個(gè)更完整的認(rèn)識(shí)了。

回到算術(shù)與幾何,它同樣有密切的聯(lián)系,不僅互相作用,而且是產(chǎn)生進(jìn)一步的一般概念、方法和理論的來(lái)源。這一點(diǎn)非常的重要,就像我們現(xiàn)在的交叉,它不斷產(chǎn)生新的概念、方法、理論等等。數(shù)學(xué)和化學(xué)結(jié)合到一起就會(huì)有計(jì)算化學(xué);數(shù)學(xué)和物理的結(jié)合一直是非常緊密的,(它們的結(jié)合)有數(shù)學(xué)物理;還有計(jì)算生物學(xué)等,像現(xiàn)在很多數(shù)學(xué)家轉(zhuǎn)去做生物,我知道有些美國(guó)的數(shù)學(xué)家轉(zhuǎn)去做生物之后,結(jié)果成為美國(guó)科學(xué)生物方向的院士,這樣的例子還有很多。

算術(shù)和幾何是數(shù)學(xué)成長(zhǎng)的兩個(gè)根源,其密切的聯(lián)系在剛開(kāi)始就有了。比方說(shuō)簡(jiǎn)單的一個(gè)長(zhǎng)度測(cè)量就已經(jīng)是算術(shù)和幾何的結(jié)合了。當(dāng)你測(cè)量物體的時(shí)候,會(huì)把單位長(zhǎng)度的東西放在物體上面,然后數(shù)一數(shù)共放了多少次,其中第一步“放”的時(shí)候就是一個(gè)幾何的性質(zhì)——全等,第二步“數(shù)”當(dāng)然是算術(shù)的做法。

在測(cè)量時(shí)候常常會(huì)發(fā)現(xiàn),選用的單位不能在被測(cè)的物體上放置整數(shù)次,這時(shí)候就必須把單位加以分割,以便利用單位的一部分來(lái)更準(zhǔn)確的表示量,這就已經(jīng)超出整數(shù)的范圍了,要用分?jǐn)?shù)來(lái)表示這個(gè)量,分?jǐn)?shù)就這樣產(chǎn)生了。這是幾何與算術(shù)相互作用的結(jié)果,它引起了數(shù)的概念從整數(shù)到分?jǐn)?shù)的推廣,這也是數(shù)的概念非常重要的一步,分?jǐn)?shù)就這樣產(chǎn)生了。直接在自然界中間還形成不了分?jǐn)?shù)的概念,但是通過(guò)幾何與算術(shù)的聯(lián)系,它就產(chǎn)生了。

不過(guò)無(wú)理數(shù)的發(fā)現(xiàn),還不能通過(guò)測(cè)量實(shí)現(xiàn),因?yàn)樵趯?shí)際測(cè)量中間,如果分割和度量達(dá)到過(guò)于細(xì)小的程度時(shí)候,這些細(xì)小的量就會(huì)被直接忽略掉,也做不到無(wú)限精確的測(cè)量,而且無(wú)限精確也沒(méi)有意義。

勾股定理告訴我們,單位邊長(zhǎng)的正方形對(duì)角線的長(zhǎng)度就是2的平方根,這樣數(shù)的概念就進(jìn)一步發(fā)展了。而且逐漸的人們把數(shù)理解為某個(gè)量與被取做單位量的比值,可以不再把數(shù)與具體物體量的屬性聯(lián)系起來(lái),這意味著對(duì)數(shù)的認(rèn)識(shí)又比前面進(jìn)了一大步,它是兩個(gè)量的比,比如3/5,就是3和5的比值,和測(cè)量、和數(shù)(shǔ)數(shù)(shù)都沒(méi)有任何的關(guān)系。

這里要特別強(qiáng)調(diào)一下無(wú)理數(shù)的發(fā)現(xiàn)。我們可能都知道,在古希臘的時(shí)候,人們利用勾股定理,他們叫做畢達(dá)哥拉斯定理,發(fā)現(xiàn)了單位邊長(zhǎng)的正方形不能夠被有理數(shù)度量的時(shí)候,希臘人是感到震驚的。他們認(rèn)為這些事情好像破壞了世界的美一樣,不能理解這件事情。但它既然這樣自然的產(chǎn)生,當(dāng)然在數(shù)學(xué)里面有重大的意義。從哲學(xué)上來(lái)講,它的發(fā)現(xiàn)也是數(shù)學(xué)理論在揭示自然規(guī)律和現(xiàn)象的威力深刻性上一個(gè)典型的例子。可能我們平常沒(méi)有意識(shí)到這一點(diǎn),就是無(wú)理數(shù)沒(méi)有數(shù)學(xué)理論是發(fā)現(xiàn)不了的,其他的手段包括測(cè)量、抽象、實(shí)驗(yàn)等等,都發(fā)現(xiàn)不了,只有數(shù)學(xué)理論能夠告訴你世界存在無(wú)理數(shù),而且會(huì)有很多很多。后面我們還會(huì)談到一些其他東西,比如說(shuō)無(wú)窮也同樣只有數(shù)學(xué)能做到,別的科學(xué)做不到。

數(shù)的概念進(jìn)一步的發(fā)展就是實(shí)數(shù),然后就是復(fù)數(shù),到了后來(lái)就是代數(shù)結(jié)構(gòu),這個(gè)地步已經(jīng)到了比較高深的數(shù)學(xué)了。換句話在我們?nèi)粘I钪虚g不一定能夠直接感受到,可能也不需要感受到,專(zhuān)家會(huì)給我們忙這些事情,(把它們)運(yùn)用到物理、通信、航天等地方。

關(guān)于數(shù)與形的聯(lián)系,華羅庚先生有一個(gè)非常深刻的見(jiàn)解,他說(shuō),“數(shù)缺形時(shí)少直觀,形缺數(shù)時(shí)難入微”。確實(shí)是這樣,你把這兩個(gè)統(tǒng)一起來(lái)考慮的時(shí)候,對(duì)這兩者的認(rèn)識(shí)都會(huì)變得更深刻。如果你孤立的來(lái)考慮,不會(huì)走的那么遠(yuǎn)。

簡(jiǎn)單的談一下歷史之后,我們應(yīng)該說(shuō)數(shù)學(xué)了。數(shù)學(xué)應(yīng)該是從數(shù)(shǔ)數(shù)(shù)開(kāi)始的,我們有誰(shuí)不會(huì)數(shù)數(shù)呢?在幼兒園里的孩子都會(huì)1、2、3……這么數(shù)下去。一般孩子數(shù)到100,可能他的爸爸媽媽就讓他過(guò)去了。不過(guò)有些望子成龍的家長(zhǎng)可能會(huì)讓他一直數(shù)到N,數(shù)到一個(gè)抽象的N。一般可能想不到用正整數(shù)把所有整數(shù)都數(shù)一數(shù),其實(shí)這是可能的,一個(gè)數(shù)法就是從零開(kāi)始,然后一個(gè)負(fù)數(shù)一個(gè)正數(shù)、一個(gè)負(fù)數(shù)一個(gè)正數(shù),結(jié)果就把整數(shù)這么一個(gè)個(gè)排下去了。這件事情有點(diǎn)意思,也說(shuō)明數(shù)數(shù)好像沒(méi)有那么簡(jiǎn)單。

接下來(lái)我們就可能會(huì)想著用正整數(shù)去數(shù)有理數(shù),剛開(kāi)始看這似乎是不可能的一件事情,但出人意料這也是可能的。有理數(shù)是兩個(gè)整數(shù)的比,當(dāng)然前面還有一個(gè)正負(fù)號(hào),我們可以要求這個(gè)分子分母沒(méi)有大于1的公因子,把分子分母都加起來(lái),先按這個(gè)值大小分成若干部分,這時(shí)可以用整數(shù)去數(shù)。然后對(duì)于固定的和,這里的有理數(shù)肯定是有限的,那這部分又能數(shù)。這樣操作下去之后,結(jié)果發(fā)現(xiàn)有理數(shù)也能數(shù),從零開(kāi)始,然后接下來(lái)就是分子分母都是1的數(shù),只有1和負(fù)1;那分子分母加起來(lái)是3的時(shí)候,那就是1/2,2,-1/2,-2;加起來(lái)是4的時(shí)候就是1/3,3,-1/3,-3等等。這個(gè)樣子就把有理數(shù)全部都數(shù)下去了,這應(yīng)該說(shuō)數(shù)數(shù)還是非常有意思的一件事情。

那接下來(lái)你可能想繼續(xù)用整數(shù)來(lái)數(shù)實(shí)數(shù),但很遺憾,實(shí)數(shù)確實(shí)沒(méi)辦法用整數(shù)來(lái)數(shù)。這顯示出實(shí)數(shù)和有理數(shù)、整數(shù)之間,從無(wú)窮的觀點(diǎn)來(lái)看,它是有巨大差別的。而且有理數(shù)雖然看起來(lái)亂糟糟,我們還是能夠把它數(shù)清楚,但實(shí)數(shù)我們做不到這一點(diǎn)。證明并不難,我們這里不用去管它了。

這里馬上就會(huì)產(chǎn)生一個(gè)問(wèn)題,在自然數(shù)全體和實(shí)數(shù)全體之間有沒(méi)有一個(gè)數(shù)的集合,它一方面沒(méi)有辦法數(shù),或者說(shuō)我們不能像整數(shù)那樣數(shù)下去;另一方面它和實(shí)數(shù)全體也不一樣多,也就是說(shuō)你不能和實(shí)數(shù)集建立一一對(duì)應(yīng),一一對(duì)應(yīng)通俗的語(yǔ)言說(shuō)來(lái)就是旗鼓相當(dāng),數(shù)學(xué)的語(yǔ)言就是等式,就是勢(shì)力相等的意思。這個(gè)問(wèn)題看起來(lái)很自然,問(wèn)的就是像在1和2之間有沒(méi)有整數(shù)一樣。不過(guò)大家可能意識(shí)不到的事情是,這個(gè)問(wèn)題在數(shù)學(xué)里面是特別重要的一個(gè)問(wèn)題,一個(gè)很基礎(chǔ)的問(wèn)題??低惺羌险摰膭?chuàng)始人,他提出這樣一個(gè)假設(shè)——連續(xù)統(tǒng)假設(shè),說(shuō)這樣的集合沒(méi)有。大家可能知道,在1900年國(guó)際數(shù)學(xué)大會(huì)上,偉大的數(shù)學(xué)家希爾伯特提了23個(gè)問(wèn)題,這23個(gè)問(wèn)題中的第一個(gè)問(wèn)題就是連續(xù)統(tǒng)假設(shè),可見(jiàn)這個(gè)問(wèn)題在數(shù)學(xué)中的重要性。數(shù)學(xué)家們花了很大的力氣來(lái)研究它,哥德?tīng)?,偉大的奧地利數(shù)學(xué)邏輯學(xué)家,他在1940年就證明了連續(xù)統(tǒng)假設(shè)和我們現(xiàn)在這個(gè)邏輯體系是沒(méi)有矛盾的,沒(méi)有矛盾還不能說(shuō)它對(duì)。又過(guò)了23年到1963年,一位美國(guó)數(shù)學(xué)家科恩,他發(fā)明了一種非常有利的辦法,叫做力波法,證明這個(gè)結(jié)論否定的一面和我們現(xiàn)在的邏輯體系也是沒(méi)有矛盾的。這個(gè)事情就變得詭異起來(lái)了,換句話說(shuō)這么簡(jiǎn)單自然的一個(gè)問(wèn)題,在邏輯上來(lái)講,我們證明不了它是對(duì)或者錯(cuò),就像在我們?nèi)粘I钪幸痪湓捯粯?,“說(shuō)你行你就行,說(shuō)你不行你就不行”,這讓我們對(duì)邏輯產(chǎn)生了很奇怪的感覺(jué),原來(lái)它也有它不能的時(shí)候??贫饕?yàn)檫@項(xiàng)工作,在1966年獲得了菲爾茲獎(jiǎng),在取得了這項(xiàng)偉大的成就之后,他心氣高昂,覺(jué)得數(shù)學(xué)里面沒(méi)什么問(wèn)題值得他研究,除了有一個(gè)問(wèn)題叫黎曼猜想,數(shù)學(xué)里面最著名的一個(gè)問(wèn)題。科恩后來(lái)的余生就致力于研究黎曼猜想,他這個(gè)心勁有點(diǎn)類(lèi)似于我們古代唐詩(shī)所描述的境界“曾經(jīng)滄海難為水”。很可惜,科恩已經(jīng)去世了,黎曼猜想還依然活著,誰(shuí)也沒(méi)辦法證明它。

在這個(gè)地方我們可以看出來(lái),邏輯實(shí)際上比我們想的詭異的多,很多時(shí)候我們對(duì)它的認(rèn)識(shí)可能還不那么透徹。關(guān)于邏輯我愿意在這里再多說(shuō)一點(diǎn)點(diǎn),一般人對(duì)于數(shù)學(xué)的邏輯都非常有信心,不僅數(shù)學(xué)家相信,物理學(xué)家相信,一般老百姓也相信。但隨著我們對(duì)數(shù)學(xué)的認(rèn)識(shí)不斷的加深的時(shí)候,就有很多的悖論,包括羅斯的悖論等等。這些悖論也就意味著數(shù)學(xué)的邏輯不像我們平時(shí)想得那樣無(wú)所不能、無(wú)所不利。我們能做的事就是給它建立一個(gè)很堅(jiān)實(shí)的基礎(chǔ),比如這個(gè)世界有狼,那我們就圈一塊地,把狼趕到外面去,然后在圈里面放羊。把數(shù)學(xué)就建立在這個(gè)領(lǐng)域,這個(gè)大廈就非常牢固了。數(shù)學(xué)家對(duì)這個(gè)努力的方向是非常樂(lè)觀的,羅素與懷特海就寫(xiě)過(guò)數(shù)學(xué)原理三大本書(shū),試圖來(lái)做這件事情。羅素是一位非常杰出的數(shù)學(xué)家,數(shù)學(xué)家拿諾貝爾獎(jiǎng)的人很多,但是這位數(shù)學(xué)家是通過(guò)文學(xué)拿的諾貝爾獎(jiǎng),實(shí)際他是通過(guò)這三本書(shū)——《數(shù)學(xué)原理》拿的諾貝爾獎(jiǎng)。據(jù)說(shuō)當(dāng)時(shí)正好在諾貝爾獎(jiǎng)評(píng)選委員會(huì)里,有一個(gè)人對(duì)他這項(xiàng)工作很了解,結(jié)果就頒給他了。拿諾貝爾獎(jiǎng)文學(xué)獎(jiǎng)的數(shù)學(xué)家目前只有一個(gè)。

偉大的數(shù)學(xué)家希爾伯特對(duì)這樣一個(gè)努力的方向也非常的樂(lè)觀,認(rèn)為我們一定能夠做到這一點(diǎn),我們必須做到,也將會(huì)做到。但他這種樂(lè)觀的話說(shuō)出來(lái)之后,朗朗的笑聲沒(méi)有多久,在1931年,哥德?tīng)?,還是這個(gè)哥德?tīng)?,他就證明了兩個(gè)不完備性定理。第一個(gè)定理說(shuō),如果你的公里體系包含算術(shù)公里體系,就是我們最常用的體系,因?yàn)槲覀兛傄幚碚麛?shù)、算術(shù)這些東西,如果包含這個(gè)體系了,必然會(huì)有一個(gè)命題是沒(méi)法判斷它的正確與否的。就像我們剛才(提到的)一樣。歌德這個(gè)構(gòu)造還要簡(jiǎn)單一些,那是更早完成的。另一個(gè)不完備定理說(shuō),如果有一個(gè)公里體系包含了這個(gè)算術(shù)公里體系,那么它的不完備性是不能夠由自身證明。就像在法庭上你不能自證清白。這對(duì)希爾伯特的形式化綱領(lǐng)是一個(gè)致命的打擊,也宣告他的形式化綱領(lǐng)是不可能實(shí)現(xiàn)的。希爾伯特得知這個(gè)消息后當(dāng)然非常的沮喪,更遭的是那個(gè)冬天,他還把腿給摔斷了,這顯然是一個(gè)不祥之兆。

從數(shù)數(shù)引發(fā)出來(lái)的問(wèn)題,我們可以看到邏輯的詭異性,也揭示了我們認(rèn)知上的局限性。數(shù)理邏輯還和計(jì)算機(jī)科學(xué)是密切相關(guān)的,計(jì)算機(jī)科學(xué)能做到哪一步,哪些地方不能做,這個(gè)界限有時(shí)候還不是特別的清楚。但是我們通過(guò)數(shù)理邏輯知道有些東西做不了,還有很多東西能做不能做我們并不知道,比如P和NP問(wèn)題等等,它反應(yīng)了一些詭異的東西。哥德?tīng)栠@項(xiàng)工作不僅在數(shù)學(xué)界里面,而且在哲學(xué)界里面都產(chǎn)生了巨大的影響,他實(shí)質(zhì)上和我們的常識(shí)或者是一般所想的差的太遠(yuǎn)了。在上個(gè)世紀(jì)70年代有一本書(shū),是獲得美國(guó)普利策獎(jiǎng)的,書(shū)名就是《G.E.B》——一條永恒的金帶。這個(gè)G就是哥德?tīng)?;E就是埃舍爾,一位荷蘭的畫(huà)家;B就是音樂(lè)家巴赫。他把哥德?tīng)柕牟煌陚湫远ɡ砗桶I釥柕睦L畫(huà)以及巴赫的音樂(lè)給聯(lián)系起來(lái)。你在看埃舍爾繪畫(huà)的時(shí)候也是很有意思的,它在整個(gè)局部上都是非常合理的:水不斷地往高處流,結(jié)果最后整體上看它流到原來(lái)地方,或者甚至比原來(lái)更低的地方。巴赫的音樂(lè)也是,有時(shí)候聽(tīng)了你會(huì)感覺(jué)到它不斷的深厚,結(jié)果回到原來(lái)的地方。那本書(shū)就揭示了這中間的一些聯(lián)系,是一本很有影響的書(shū)。我們國(guó)內(nèi)也有翻譯。埃舍爾的畫(huà)科學(xué)家也很感興趣,因?yàn)樗沂玖艘恍┓浅F婀值拿墁F(xiàn)象。印象中間像楊振寧寫(xiě)的《基本歷史簡(jiǎn)史》里面就有一幅插圖,是用了埃舍爾的繪畫(huà)。

埃舍爾繪畫(huà)作品《瀑布》

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

對(duì)于無(wú)限,希爾伯特的認(rèn)識(shí)是非常深刻的,他說(shuō),“沒(méi)有其他的問(wèn)題能夠如此深刻的觸動(dòng)人的精神;也沒(méi)有其他的思想能如此富有成果地激發(fā)人的思想邏輯領(lǐng)悟力;然而也沒(méi)有其他的概念比無(wú)限的概念更需要澄清”。我們常常有個(gè)樸素的想法,希望長(zhǎng)生不老,其實(shí)是跟無(wú)窮聯(lián)系在一起的。

我們現(xiàn)在轉(zhuǎn)過(guò)來(lái)看一些觀點(diǎn),數(shù)學(xué)是那么的有魅力,偉人們從不吝嗇他們對(duì)數(shù)學(xué)的敬畏和贊美之詞,說(shuō)出了一些非常深刻的觀點(diǎn)。像古希臘,畢達(dá)哥拉斯學(xué)派、柏拉圖學(xué)派,他們認(rèn)為數(shù)學(xué)是現(xiàn)實(shí)的核心。我們常常聽(tīng)到的觀點(diǎn)“萬(wàn)物皆數(shù)”源自畢達(dá)哥拉斯,他的學(xué)派還有類(lèi)似的表述,“數(shù)統(tǒng)治著宇宙,數(shù)是萬(wàn)物的本質(zhì)”。柏拉圖學(xué)派深受畢達(dá)哥拉斯學(xué)派的影響,把數(shù)學(xué)擺在至高的位置,“純粹思想的最高形式是數(shù)學(xué)?!痹诎乩瓐D學(xué)院的大門(mén)上寫(xiě)著“無(wú)幾何學(xué)識(shí)者勿入此門(mén)”。在柏拉圖的名著《理想國(guó)》里面,第七篇有很長(zhǎng)的對(duì)話討論算術(shù)與幾何的重要性,結(jié)論就是 “算術(shù)迫使靈魂使用純粹理性通向真理,幾何是認(rèn)識(shí)永恒事物的,并把算術(shù)和幾何作為青年人必須學(xué)習(xí)的第一門(mén)和第二門(mén)功課。”

古希臘認(rèn)為“數(shù)學(xué)是自然界最真實(shí)的一個(gè)本質(zhì)”,有這樣的認(rèn)識(shí),古希臘在數(shù)學(xué)上能夠取得開(kāi)天辟地的成就,似乎也就不奇怪了。這句話在我們今天的時(shí)代應(yīng)該會(huì)有更深的體會(huì),在我們今天的社會(huì)信息時(shí)代里面,什么東西都要數(shù)字化、數(shù)字地球、數(shù)字這個(gè)、數(shù)字那個(gè)等等,其實(shí)背后都離不開(kāi)數(shù)學(xué)。

伽利略認(rèn)為 “宇宙就是用數(shù)學(xué)語(yǔ)言寫(xiě)成的,如果你不懂?dāng)?shù)學(xué),要想認(rèn)識(shí)宇宙是不可能的,這些語(yǔ)言的字母就是三角形、圓以及其他的幾何形狀等等?!?/span>

高斯認(rèn)為“數(shù)學(xué)是科學(xué)的皇后”。也許大家看過(guò)徐遲的報(bào)告文獻(xiàn)《哥德巴赫猜想》里面提到過(guò)這句話。高斯是被稱(chēng)為19世紀(jì)的數(shù)學(xué)王子,是19世紀(jì)最偉大的數(shù)學(xué)家,也是杰出的物理學(xué)家、天文學(xué)家、大地測(cè)量學(xué)家,他的這句話常被人引用,只是不知道高斯把皇帝弄哪兒去了。不過(guò)也許大家可以想一下。

維格納是一位獲諾貝爾獎(jiǎng)的物理學(xué)家,他提到 “在自然科學(xué)中,數(shù)學(xué)是不可思議地有效,已經(jīng)達(dá)到了不合理的程度?!彼倪@個(gè)觀點(diǎn)問(wèn)世以后,引起了長(zhǎng)久的討論和引申。

狄拉克也是一位杰出的物理學(xué)家,他認(rèn)為“上帝是一位非常高等級(jí)的數(shù)學(xué)家,他用非常先進(jìn)的數(shù)學(xué)來(lái)構(gòu)造這個(gè)宇宙,我們只要在數(shù)學(xué)里面有進(jìn)一步的認(rèn)識(shí)的話,都會(huì)有助于我們認(rèn)識(shí)這個(gè)宇宙。”我只是有點(diǎn)奇怪,他為什么不認(rèn)為上帝是一個(gè)最高等級(jí)的數(shù)學(xué)家,他是不是認(rèn)為最高等級(jí)數(shù)學(xué)家還有什么別的人?

在歐洲甚至一些文人對(duì)數(shù)學(xué)也是贊嘆不已,這和我們國(guó)家的文人不太一樣,我們國(guó)家的文人好像贊美數(shù)學(xué)的很少。我只是看到很多文人寫(xiě)的作品里面,對(duì)數(shù)學(xué)是表現(xiàn)極其的厭惡之情,以不懂?dāng)?shù)學(xué)而自豪等等。伏爾泰認(rèn)為“數(shù)學(xué)必須駕馭我們理智的奔馳,他是盲人的拐杖,沒(méi)有它寸步難行。一切確鑿無(wú)疑的事實(shí)都應(yīng)該歸公于數(shù)學(xué)和經(jīng)驗(yàn)?!边@是一種認(rèn)識(shí),也是一種信念。法國(guó)數(shù)學(xué)的強(qiáng)大,不僅是法國(guó)數(shù)學(xué)界的功績(jī),也有深刻的文化因素。甚至他們的皇帝對(duì)數(shù)學(xué)也是贊嘆有佳,把它和國(guó)家的繁榮富強(qiáng)聯(lián)系起來(lái)。拿坡侖是19世紀(jì)法國(guó)偉大的軍事家、政治家、法蘭西第一帝國(guó)的提倡者。人們一般都關(guān)注他的軍政成就,其實(shí)他在科教方面的成就對(duì)法國(guó)以后的發(fā)展也同樣是至關(guān)重要的。在法蘭西第一帝國(guó)期間,法國(guó)制定了保留至今的國(guó)民教育制度,成立了公立中學(xué)和法蘭西學(xué)院來(lái)培養(yǎng)人才,鼓勵(lì)科學(xué)研究與技術(shù)研究事業(yè)的興起。拿坡侖本人對(duì)科學(xué)文化事業(yè)是極為關(guān)注的,掌權(quán)以后他定期出席法蘭西科學(xué)院的會(huì)議,邀請(qǐng)?jiān)菏總儓?bào)告科學(xué)進(jìn)展,把許多獎(jiǎng)賞授予科學(xué)家,包括外國(guó)的科學(xué)家。拿坡侖的關(guān)注,促進(jìn)了法國(guó)科學(xué)的繁榮,出現(xiàn)了像拉普拉斯、拉格朗日、蒙日、卡諾、傅里葉、呂薩克、拉馬克、居維葉等一大批耀眼的科學(xué)明星。我們國(guó)家的領(lǐng)導(dǎo)人現(xiàn)在對(duì)數(shù)學(xué)也是非常重視的。

西方國(guó)家強(qiáng)調(diào)數(shù)學(xué)的還有哲學(xué)家,康德是18世紀(jì)德國(guó)的哲學(xué)家,被認(rèn)為是所有時(shí)代最偉大的哲學(xué)家之一,他擁有淵博的自然科學(xué)知識(shí),對(duì)道德有著深刻的理解。他的哲學(xué)對(duì)德國(guó)古典哲學(xué)和西方哲學(xué)都有深遠(yuǎn)的影響,對(duì)馬克思主義哲學(xué)的誕生也有深刻的影響。《純粹理性批判》是其最有名的著作,他認(rèn)為“數(shù)學(xué)科學(xué)呈現(xiàn)出一個(gè)最輝煌的例子,不借助實(shí)驗(yàn),純粹的推理就能夠成功的大大擴(kuò)大人們的認(rèn)知領(lǐng)域?!标P(guān)于這點(diǎn),我們前面提到的無(wú)理數(shù)就是一個(gè)典型的例子,當(dāng)然虛數(shù)也是個(gè)典型的例子,我們后面還會(huì)有更多的例子來(lái)說(shuō)明這一點(diǎn)。

我們常常會(huì)聽(tīng)到,“飛行的馬赫數(shù)”,很多人覺(jué)得數(shù)學(xué)很難或者什么之類(lèi)等等,但是馬赫的觀點(diǎn)完全不一樣,他說(shuō),“也許聽(tīng)起來(lái)奇怪,數(shù)學(xué)的力量在于它躲避了一切不必要的思考和它令人愉快的節(jié)省了腦力勞動(dòng)”。其實(shí)做數(shù)學(xué)節(jié)省了很多的腦力勞動(dòng),你不用辛苦的考慮很多東西,因?yàn)楹芏鄸|西的數(shù)量關(guān)系就決定了它們的主要性質(zhì)。

如果像這位雷尼的話就更有意思了,他說(shuō),“如果我感到憂傷,我會(huì)做數(shù)學(xué)變得快樂(lè);如果我正快樂(lè),我會(huì)做數(shù)學(xué)保持快樂(lè)。”我是完全同意他的觀點(diǎn),做數(shù)學(xué)多好。

黑格爾是德國(guó)18至19世紀(jì)的科學(xué)家,德國(guó)古典維新主義的集大成者,創(chuàng)立了歐洲哲學(xué)史上最龐大的客觀維新主義體系,并且極大的發(fā)展了維新辯證法。他的上述觀點(diǎn)(“數(shù)學(xué)是上帝描述自然的符號(hào)?!保┖唾だ缘挠^點(diǎn)是一脈相承的?,F(xiàn)在數(shù)學(xué)在社會(huì)科學(xué)里面應(yīng)用也變得越來(lái)越廣泛,在經(jīng)濟(jì)里面是一個(gè)典型的例子,你要是不懂?dāng)?shù)學(xué)的話,只做經(jīng)濟(jì)學(xué),它的出路并不是很好。

愛(ài)因斯坦無(wú)疑是上個(gè)世紀(jì)最偉大的科學(xué)家,他的觀點(diǎn)更讓人深思,他說(shuō),“純數(shù)學(xué)能使我們發(fā)現(xiàn)概念和聯(lián)系這些概念的規(guī)律,給了我們理解自然現(xiàn)象的鑰匙。”他進(jìn)一步說(shuō)到,“數(shù)學(xué)之所以比一切其它科學(xué)受到尊重,”雖然他自己是一個(gè)物理學(xué)家,“一個(gè)理由是因?yàn)樗拿}是絕對(duì)可靠的,無(wú)可爭(zhēng)辯的,而其它的科學(xué)經(jīng)常處于被新發(fā)現(xiàn)的事實(shí)推翻的危險(xiǎn)。數(shù)學(xué)之所以有高的聲譽(yù),另一個(gè)理由就是數(shù)學(xué)使得自然科學(xué)實(shí)現(xiàn)定理化,給予自然科學(xué)某種程度的可靠性?!蹦憧吹狡渌膶W(xué)科一篇論文半衰期非常短,我們常聽(tīng)說(shuō)某些學(xué)科五年前的論文到現(xiàn)在已經(jīng)沒(méi)什么價(jià)值了,但你看歐幾里得《幾何原本》用了兩千多年,勾股定理到現(xiàn)在我們還是一直不停的在用,所以數(shù)學(xué)的生命是永恒的,不像其他的學(xué)科。即便是偉大的牛頓定理,后來(lái)也發(fā)現(xiàn)只是低速世界的定理,在更大的空間里面、更小的空間里面它其實(shí)都不適用。小的空間里有量子力學(xué),大的空間有相對(duì)論。

對(duì)數(shù)學(xué)在現(xiàn)實(shí)中的用處,華羅庚先生的觀點(diǎn)是非常透徹的,“從宇宙之大、粒子之微,火箭之速,化工之巧,地球之變,生物之謎,日用之繁,無(wú)處不用數(shù)學(xué)?!蹦憧赡軙?huì)注意到這一點(diǎn),它其實(shí)還是迎合了我們國(guó)家一種實(shí)用主義的思維。

從華羅庚先生這些話里面,每一句都能引申出很多的東西。比如第一句話中對(duì)于無(wú)垠的宇宙,離開(kāi)了相對(duì)論要認(rèn)識(shí)宇宙其實(shí)是很困難的,前兩年發(fā)現(xiàn)了引力波,其實(shí)來(lái)源于相對(duì)論;在粒子之微這里,有量子力學(xué),包括薛定諤方程;火箭之速也會(huì)用到數(shù)學(xué),必須要計(jì)算好,不然坐火箭出去旅行,很有可能就回不來(lái);化工里面也是一樣的,它有很多的化學(xué)反應(yīng),微小的實(shí)驗(yàn)尺度里面就會(huì)用到微分,大的實(shí)驗(yàn)尺度里面會(huì)用到積分;地球之變不用說(shuō),現(xiàn)在的天氣預(yù)報(bào)能夠預(yù)報(bào)的比以前更準(zhǔn)確,毫無(wú)疑問(wèn)數(shù)學(xué)起了很重要的作用,包括建模之類(lèi)的;生物之謎也是一樣的,人為什么演變到今天,它的基因怎么演變的,這里概率和統(tǒng)計(jì)就起了很重要的作用。這里還可以說(shuō)一個(gè)故事,本拉登前幾年被擊斃了,當(dāng)時(shí)美國(guó)的情報(bào)人員花了很大的力氣弄清楚他的落腳點(diǎn)。那科學(xué)家怎么來(lái)看這件事情呢?科學(xué)家用了一個(gè)模型來(lái)推測(cè)本拉登的落腳點(diǎn),他認(rèn)為本拉登這個(gè)時(shí)候的行為跟瀕危動(dòng)物的行為差不多,所以利用瀕危動(dòng)物的行為來(lái)預(yù)測(cè)本拉登的落腳點(diǎn),最后推測(cè)出來(lái)他可能在兩個(gè)地方落腳,其中一個(gè)就是白沙瓦,這就是本拉登最后被擊斃的地方。你可以看一下,運(yùn)用科學(xué)所得到的結(jié)論,是常常出人意料的。美國(guó)的情報(bào)人員其實(shí)花了很大的力量,同時(shí)很多時(shí)候是冒著生命危險(xiǎn)的,所以現(xiàn)在情報(bào)機(jī)關(guān)里面雇傭了很多科學(xué)家一點(diǎn)兒都不奇怪。在華羅庚先生的話里面,日用之繁,不用說(shuō),我們一個(gè)最切身的感受就是深受堵車(chē)之害,這里數(shù)學(xué)可以幫助解決很多的問(wèn)題,運(yùn)籌優(yōu)化之類(lèi)的。還有一件事情也可能有悖于大家的常識(shí),很多時(shí)候,路多的時(shí)候交通不一定更順暢,封掉幾條路,交通反而更順暢了,這是經(jīng)過(guò)實(shí)際證明的。

在二次大戰(zhàn)期間,交通因素變得非常的重要,因?yàn)橐WC物資有效的調(diào)度到前線去。蘇聯(lián)數(shù)學(xué)家為此建立了線性規(guī)劃的理論來(lái)解決這個(gè)問(wèn)題,當(dāng)時(shí)發(fā)揮了很重要的作用。有意思的事情是,美國(guó)經(jīng)濟(jì)學(xué)家后來(lái)把這個(gè)理論用到了經(jīng)濟(jì)學(xué)里,也取得了巨大的成功,結(jié)果在上個(gè)世紀(jì)70年代這位蘇聯(lián)科學(xué)家康托諾維奇,就和美國(guó)的經(jīng)濟(jì)學(xué)家一起拿了諾貝爾獎(jiǎng)。數(shù)學(xué)家拿經(jīng)濟(jì)獎(jiǎng)的人還挺多,包括納什,《美麗心靈》的主角,大家都看過(guò)這個(gè)故事。納什拿諾貝爾經(jīng)濟(jì)獎(jiǎng)的論文很短,只有兩頁(yè)紙的樣子,不像經(jīng)濟(jì)學(xué)家,寫(xiě)起論文來(lái)都是長(zhǎng)篇大論,說(shuō)起來(lái)也頭頭是道,不把你說(shuō)糊涂一般是不罷休的。為什么這么說(shuō)呢?也有個(gè)笑話說(shuō),就某個(gè)經(jīng)濟(jì)現(xiàn)象發(fā)表看法的話,五個(gè)經(jīng)濟(jì)學(xué)家會(huì)有五個(gè)觀點(diǎn),如果這中間還有一個(gè)是哈佛畢業(yè)的話,五個(gè)經(jīng)濟(jì)學(xué)家就會(huì)有六個(gè)觀點(diǎn),要把他們的觀點(diǎn)統(tǒng)一起來(lái)基本是沒(méi)有希望的。

我們回到數(shù)學(xué)這里來(lái),數(shù)學(xué)的抽象當(dāng)然來(lái)源于長(zhǎng)期的實(shí)踐。它并不是憑空起來(lái)的,它的結(jié)論是從概念中運(yùn)用邏輯方法得出來(lái)的,而邏輯方法和概念同樣是以數(shù)千年的實(shí)踐為基礎(chǔ),沒(méi)有這些實(shí)踐的基礎(chǔ)也不會(huì)有今天的邏輯,它同樣以世界的客觀規(guī)律為基礎(chǔ)。數(shù)學(xué)的規(guī)律實(shí)際上是自然規(guī)律的一部分,只是以抽象的形式反映出來(lái),不過(guò)抽象的面目基本上是人見(jiàn)人不愛(ài)?,F(xiàn)在數(shù)學(xué)的發(fā)展既有外部問(wèn)題的驅(qū)動(dòng),也有內(nèi)在問(wèn)題的驅(qū)動(dòng),內(nèi)在問(wèn)題的驅(qū)動(dòng)其實(shí)也是現(xiàn)實(shí)世界的一個(gè)曲折的反映而已,只不過(guò)是以抽象的形式表達(dá)出來(lái)而已,那抽象推導(dǎo)出來(lái)的數(shù)學(xué)在現(xiàn)實(shí)中間有用就一點(diǎn)兒也不奇怪了,數(shù)學(xué)的理論還是自然規(guī)律的一部分。

我們看一下兩千多年前希臘人關(guān)于圓錐曲線的研究,在17世紀(jì)被用于描寫(xiě)天體的運(yùn)動(dòng),過(guò)了將近兩千年,它才變得有用。黎曼幾何是廣義相對(duì)論的框架。歐幾里得出來(lái),后來(lái)人們對(duì)于第五公式進(jìn)行了一些反思,因?yàn)橛行┑胤礁覀兊闹庇X(jué)是不太一樣的。比如過(guò)直線外一點(diǎn)做這條直線的平行線只有一條,但是從我們視覺(jué)上來(lái)講,比如兩條平行線的接軌,一直往遠(yuǎn)方看最后交于一點(diǎn),這個(gè)直觀對(duì)于繪畫(huà)非常重要。對(duì)于繪畫(huà)的討論包括光線的投影等等,最后產(chǎn)生了攝影幾何,它其實(shí)是一種非歐幾何。對(duì)于歐幾里得第五公式的討論形成兩個(gè)幾何,一個(gè)是雙曲幾何,一個(gè)是球面幾何。另一種就是黎曼幾何,黎曼幾何是完全從數(shù)學(xué)內(nèi)部產(chǎn)生的。但是到后來(lái)相對(duì)論出來(lái)之后,人們發(fā)現(xiàn)歐式幾何是不適用的,相對(duì)論的數(shù)學(xué)框架用黎曼幾何正合適,它對(duì)引力的解釋也和原來(lái)完全不一樣,并不是說(shuō)兩個(gè)物體的質(zhì)量之間輕,而是說(shuō)物體質(zhì)量非常大的時(shí)候空間是有彎曲的。

另外比方說(shuō)纖維叢理論在規(guī)范場(chǎng)理論中的應(yīng)用也是一樣的,當(dāng)時(shí)楊振寧對(duì)這個(gè)事情感到非常的驚訝,就跟陳省身先生交流說(shuō),“你們數(shù)學(xué)里面憑空做出來(lái)的東西怎么會(huì)在物理里面非常重要?”陳省身就說(shuō),“我們的幾何本來(lái)就是現(xiàn)實(shí)中的一部分,所以不能說(shuō)它是憑空產(chǎn)生的。”

當(dāng)然還有很多的例子,包括矩陣和無(wú)限維空間在量子力學(xué)中的作用,海森堡剛開(kāi)始把他的量子力學(xué)叫做矩陣力學(xué),因?yàn)榫仃嚨某朔ň哂蟹墙粨Q性。

概率論在統(tǒng)計(jì)力學(xué)、生物和金融中也有廣泛的應(yīng)用,概率論的來(lái)源其實(shí)是賭博,很多的數(shù)學(xué)在很久很久以前是人們完全憑興趣研究的,后來(lái)在自然科學(xué)或者其他地方都有想不到的大用處。懷特海德就感嘆到,“對(duì)那些只把知識(shí)和研究局限于明顯有用的那些人,不會(huì)有比如下示例給出更深印象的告誡了:圓錐曲線只是作為抽象科學(xué)(的內(nèi)容),被研究了一千八百年,除了滿足數(shù)學(xué)家的求知欲外,沒(méi)有任何實(shí)用的考慮,然而在這漫長(zhǎng)的抽象研究的最后,它們被發(fā)現(xiàn)是獲得最重要的自然規(guī)律之一的知識(shí)所必不可少的鑰匙。”

我覺(jué)得懷特海德的話對(duì)我們國(guó)家來(lái)講,不管是政府也好,還是一般的百姓也好,都是有它的意義的。我們一般都非常關(guān)注“有用”,我們學(xué)過(guò)很多東西,包括學(xué)經(jīng)管,它就是為了掙錢(qián)、有用。只是為了興趣去探索未知的東西,這種精神在我們國(guó)家應(yīng)該是比較少的。我自己在教學(xué)的過(guò)程中間也遇到一些這個(gè)現(xiàn)象,甚至一年級(jí)的大學(xué)生就問(wèn),“線性代數(shù)有什么用呢?”線性代數(shù)這么技術(shù)的東西當(dāng)然非常有用,包括在通信里面。這個(gè)學(xué)生提的問(wèn)題讓我感到非常驚訝,換句話說(shuō)他這個(gè)時(shí)候沒(méi)有體會(huì)到學(xué)習(xí)的樂(lè)趣,而只是關(guān)心有什么用,這其實(shí)很難走遠(yuǎn),不應(yīng)該這樣問(wèn)。我覺(jué)得他是問(wèn)錯(cuò)了,他應(yīng)該問(wèn)有沒(méi)有意思,有意思驅(qū)動(dòng)的話做下去就會(huì)走的更遠(yuǎn),因?yàn)橐恢庇X(jué)得它有意思。你想你在生活中間不就追求一個(gè)有意思嗎?這個(gè)“有用”,當(dāng)一個(gè)人成為“有用”的時(shí)候,我是懷疑這個(gè)“有用”有什么含義呢?你是被別人利用,還是你要利用別人?所以“有用”這個(gè)東西推敲下去,結(jié)果好像不太好。

知識(shí)通過(guò)感性的感覺(jué)而產(chǎn)生,逐漸成為考察的對(duì)象,最后變成理性的財(cái)產(chǎn)。所以我們現(xiàn)在都說(shuō)知識(shí)是人類(lèi)的財(cái)富等等,它確實(shí)是一個(gè)財(cái)富。在我們古代所說(shuō)的“書(shū)中自有黃金屋”,它有一定正確的成分,但還不完全正確,因?yàn)樗F(xiàn)實(shí)了,包括“顏如玉”等等。我不知道女孩子看到這樣的句子會(huì)有什么感受,是不是還希望加一句“還有帥哥在里頭”。

數(shù)學(xué)的思維方式當(dāng)然也是一種智慧,這一點(diǎn)尤其重要。在學(xué)習(xí)數(shù)學(xué)的過(guò)程中間,掌握了數(shù)學(xué)的思維方式,怎么考慮問(wèn)題等等,這比知識(shí)有價(jià)值得多。知識(shí)可以上網(wǎng)去搜,可以看書(shū)、翻書(shū)等都沒(méi)問(wèn)題,但怎么考慮問(wèn)題是能力中一個(gè)重要組成部分。我們用兩個(gè)例子看一下數(shù)學(xué)的智慧。

第一個(gè)例子是哥尼斯堡七橋問(wèn)題。(如下圖)這是一個(gè)城市,河流是這個(gè)樣子,有七座橋,問(wèn)題就是能否設(shè)計(jì)一條路線通過(guò)每一個(gè)橋,正好過(guò)一次。據(jù)說(shuō)當(dāng)時(shí)市民周末一個(gè)很受歡迎的消遣就是能否設(shè)計(jì)一條路線通過(guò)每座橋正好一次。但這個(gè)問(wèn)題當(dāng)時(shí)市民都沒(méi)有解決,最后大概是一個(gè)城市的市長(zhǎng)把這個(gè)問(wèn)題交給了歐拉,一個(gè)著名的數(shù)學(xué)家,歐拉把這個(gè)問(wèn)題解決了。我們看一下歐拉是怎樣解決這個(gè)問(wèn)題的,這個(gè)過(guò)程體現(xiàn)了抽象的價(jià)值和數(shù)學(xué)的思維。

首先這條河流把城市分成四部分,每一部分大小其實(shí)都不重要,重要的是過(guò)橋的路徑設(shè)計(jì),從而可以把陸地抽象為一個(gè)點(diǎn),大小反正無(wú)所謂,干脆沒(méi)有大小就得了。而橋就抽象成點(diǎn)與點(diǎn)之間的連線,這個(gè)圖就畫(huà)成這個(gè)樣子。簡(jiǎn)化成這樣之后,這個(gè)問(wèn)題的本質(zhì)就全部展示出來(lái)了,除了起點(diǎn)和終點(diǎn),走過(guò)中間那些點(diǎn),走到這個(gè)點(diǎn)的次數(shù)和走出那個(gè)點(diǎn)的次數(shù)加起來(lái)必然是一個(gè)偶數(shù),就是說(shuō)連接那個(gè)點(diǎn)的橋數(shù)必然是偶數(shù)??墒巧蠄D連接四個(gè)點(diǎn)的線路,也就是橋數(shù)分別是5、3、3、3,所以不可能設(shè)計(jì)一條路線通過(guò)每座橋正好一次。歐拉解決這個(gè)問(wèn)題的方式,顯出了抽象的價(jià)值和數(shù)學(xué)的智慧,這是圖論的開(kāi)始,也是拓?fù)鋵W(xué)的一個(gè)先聲。圖論在信息科學(xué)中間,包括網(wǎng)絡(luò)和芯片設(shè)計(jì),都非常有用。

說(shuō)到數(shù)學(xué)思維我們還舉一個(gè)例子,二戰(zhàn)期間很多數(shù)學(xué)家參與了戰(zhàn)爭(zhēng),包括圖靈等人破譯密碼,也包括很多統(tǒng)計(jì)學(xué)家分析數(shù)據(jù)等等。其中有一件事情就是很多戰(zhàn)機(jī)出去空戰(zhàn)的時(shí)候,很多被擊落了,也有很多又回來(lái)了,回來(lái)的很多戰(zhàn)機(jī)上面就布滿了彈痕、彈眼之類(lèi)的,這就需要分析在哪些地方需要加固??哲娞岬慕ㄗh是,應(yīng)該在彈孔最多的地方加固,但數(shù)學(xué)家提出的意見(jiàn)是,應(yīng)該在彈孔最少的地方加固。為什么?彈孔最多的都能飛回來(lái),意味著這個(gè)地方多打幾個(gè)彈孔也沒(méi)關(guān)系,這就是個(gè)缺失數(shù)據(jù)的問(wèn)題。彈孔少的地方,比如說(shuō)發(fā)動(dòng)機(jī),因?yàn)楸粨糁泻蠡揪褪窃韵氯?,回?lái)的不多。數(shù)學(xué)家提出的觀點(diǎn)和軍方是完全相反的,后來(lái)事實(shí)證明數(shù)學(xué)家是對(duì)的,他挽救了很多飛機(jī)和飛行員的生命。

另外再舉個(gè)例子,就是晶體的分類(lèi)。我們都很喜歡鉆石,非常的漂亮,還有雪花也很美,他們都是晶體。晶體有多少種?這是很實(shí)際的問(wèn)題。晶體的主要特點(diǎn)是對(duì)稱(chēng),由外部的對(duì)稱(chēng)和內(nèi)部的對(duì)稱(chēng)結(jié)構(gòu)來(lái)決定,晶體的對(duì)稱(chēng)性對(duì)晶體的種類(lèi)帶來(lái)了很強(qiáng)的約束。數(shù)學(xué)中間研究對(duì)稱(chēng)的分支是群論。外部的對(duì)稱(chēng)是很容易確定的,關(guān)于內(nèi)部的對(duì)稱(chēng),舍去了晶體的所有物理性質(zhì)。僅從幾何對(duì)稱(chēng)性的角度考慮晶體,在1885年到1890年期間,俄國(guó)的晶體學(xué)家費(fèi)德洛夫就確定了晶體的微觀的對(duì)稱(chēng)形式230種。他的這項(xiàng)工作后來(lái)是晶體實(shí)驗(yàn)工作數(shù)學(xué)理論的基礎(chǔ),對(duì)晶體的內(nèi)部結(jié)構(gòu)的確定發(fā)揮了巨大的作用。包括1912年德國(guó)人勞爾,以及包括后來(lái)英國(guó)人布拉格父子,他們對(duì)晶體內(nèi)部結(jié)構(gòu)的確定等等,這些數(shù)學(xué)理論都起了非常重要的作用。勞爾和布拉格父子先后于1914年和1915年獲得了諾貝爾獎(jiǎng)。群論是研究對(duì)稱(chēng)的一個(gè)基本工具,在物理中間非常重要,不過(guò)它的來(lái)源非常有意思,它是解方程產(chǎn)生的。

很多人都感到數(shù)學(xué)有一種特殊的美感,他們也曾經(jīng)做過(guò)生理上的分析,發(fā)現(xiàn)這個(gè)美感和看到漂亮風(fēng)景、帥哥靚女之類(lèi),神經(jīng)的反應(yīng)好像差不多的。事實(shí)上還有一些物理學(xué)家,對(duì)數(shù)學(xué)之美的感受是很強(qiáng)烈的,對(duì)數(shù)學(xué)的美的追求也是無(wú)盡的。外爾對(duì)數(shù)學(xué)美的態(tài)度就是這樣,“我的工作總是設(shè)法把真與美統(tǒng)一起來(lái),但如果只能選擇這個(gè)或另一個(gè)時(shí),我常常選擇美。”。一般我們追求真善美,但好像從道德上來(lái)講,這樣做是不對(duì)的,但數(shù)學(xué)里面的美很可能是更高層次的真實(shí)。就像在我們所認(rèn)識(shí)的世界里面,你的認(rèn)識(shí)是有一定局限的,但美是一個(gè)原則,讓你發(fā)現(xiàn)更高層次的真實(shí)。外爾寫(xiě)的《群論量子力學(xué)》1928年首次出版,非常的有名,據(jù)說(shuō)當(dāng)時(shí)的理論物理學(xué)家都會(huì)把這本書(shū)放在書(shū)架上,但都不看,因?yàn)槔锩娴臄?shù)學(xué)太難了。物理學(xué)家對(duì)數(shù)學(xué)家寫(xiě)的書(shū)好像好感并不多,他們的評(píng)價(jià)大概是這樣的,認(rèn)為數(shù)學(xué)家寫(xiě)的書(shū)有兩種:第一種是看了一頁(yè)就看不下去了,第二種是看了一行就看不下去了。

哈代是20世紀(jì)杰出的分析學(xué)家,也是他所在的時(shí)代英國(guó)最杰出的數(shù)學(xué)家,他的一個(gè)數(shù)學(xué)家的獨(dú)白表達(dá)了他對(duì)數(shù)學(xué)的看法,影響頗廣。他也是一個(gè)唯美主義者,他認(rèn)為“美是(數(shù)學(xué)的)第一道檢驗(yàn):難看的數(shù)學(xué)在這個(gè)世界上沒(méi)有長(zhǎng)駐之地。”

狄拉克認(rèn)為,“物理定律必須有數(shù)學(xué)的美,上帝用美麗的數(shù)學(xué)創(chuàng)造了這個(gè)世界。”狄拉克方程就是一個(gè)典型的例子,它是個(gè)很有名的方程,楊振寧對(duì)它也是非常贊嘆的,專(zhuān)門(mén)有文章提到這件事情,就是利用這個(gè)方程,人們發(fā)現(xiàn)了正電子。當(dāng)初根據(jù)已有的實(shí)驗(yàn)結(jié)果來(lái)講,它的方程不是這樣的。但他認(rèn)為根據(jù)實(shí)驗(yàn)結(jié)果得出的方程不美,所以就給修改了,修改之后很多東西又解釋不了,他就大膽地預(yù)言應(yīng)該還有一個(gè)例子沒(méi)有發(fā)現(xiàn),后來(lái)果然通過(guò)實(shí)驗(yàn)發(fā)現(xiàn)了。他對(duì)這個(gè)公式當(dāng)然也是非常的喜歡。也有一個(gè)很牛的物理學(xué)家費(fèi)曼,課講的非常好,有次大概因?yàn)殚_(kāi)會(huì),這兩個(gè)人(費(fèi)曼和狄拉克)碰在一起了,長(zhǎng)時(shí)間的沉默之后,狄拉克就冒了一句話,“我有一個(gè)方程,你有嗎?”估計(jì)費(fèi)曼當(dāng)時(shí)非常的郁悶。物理學(xué)家也好,數(shù)學(xué)家也好,獨(dú)特的人是非常多的,英文有個(gè)詞叫eccentric(中文譯為怪人),在我們國(guó)家對(duì)eccentric好像沒(méi)那么寬容,西方文化對(duì)他們要寬容一些。

羅素說(shuō),“數(shù)學(xué),如果正確地看,不但擁有真理,而且也有至高的美?!绷_素是數(shù)學(xué)家,也是哲學(xué)家,獲得過(guò)諾貝爾獎(jiǎng)文學(xué)獎(jiǎng)。他所寫(xiě)的《西方哲學(xué)史》從一個(gè)哲學(xué)家的角度,而非哲學(xué)史家的角度看待西方的哲學(xué)史,那獨(dú)特的視角、脈絡(luò)清晰,文筆也非常的流暢,但又不乏幽默,所以他對(duì)美的認(rèn)知自然有非常廣闊的背景。

如果你覺(jué)得數(shù)學(xué)不美的話,從某種意義上講我不太建議你去學(xué)數(shù)學(xué),或者你至少培養(yǎng)了美感之后再去學(xué)數(shù)學(xué)。數(shù)學(xué)美的含義到底是什么?這個(gè)問(wèn)題提得多了之后,我覺(jué)得就要想一想它到底什么內(nèi)容?后來(lái)我發(fā)現(xiàn)它大概有以下的內(nèi)容:形式上要清晰、簡(jiǎn)潔,還有就是要簡(jiǎn)單、原創(chuàng)、新穎,不新穎的話,老生常談,不會(huì)有美的感覺(jué);還有就是很優(yōu)美,以及一個(gè)很重要的就是不同對(duì)象之間的聯(lián)系,這一點(diǎn)大家以前可能沒(méi)有意識(shí)到其實(shí)是非常重要的。它的內(nèi)涵必須要非常深刻、重要,還有基本和蘊(yùn)意豐富,從這個(gè)基本的對(duì)象出發(fā),能解釋很多其他的東西。它的證明要清晰、干凈利落、巧妙。

我們用一些例子來(lái)說(shuō)明一下這些觀點(diǎn)。第一個(gè)就是勾股定理,勾三股四弦五,我們常常理解起來(lái)就是3^2+4^2=5^2這樣一個(gè)等式而已。但實(shí)際上它揭示了3、4、5這三個(gè)數(shù)的聯(lián)系,這是非常重要的。勾股定理我們知道,三角形的直角邊的平方和等于斜邊的平方,以前我們理解起來(lái),就是這兩個(gè)邊能夠求出第三邊,其實(shí)這只是它價(jià)值很小的一部分,更重要的是這三個(gè)邊之間的聯(lián)系。我國(guó)古代趙爽給了一個(gè)很漂亮的證明,他把四個(gè)直角三角形拼起來(lái)得到一個(gè)大的正方形,里面包含一個(gè)小的正方形,比較一下面積就能夠得到勾股定理的證明。這里你能感受到這個(gè)證明的清晰、干凈、利落和巧妙,和一種美感。定義的本身也是非常簡(jiǎn)潔優(yōu)美的,它的內(nèi)涵是非常豐富的。

比方說(shuō)我們應(yīng)用這個(gè)定理,我們就知道,平面上以原點(diǎn)為圓心、半徑為r的方程,它就是一個(gè)很漂亮的方程,x^2+y^2=r^2。關(guān)于它的蘊(yùn)意的豐富,我們其實(shí)可以從這里提出很多的問(wèn)題來(lái),這些問(wèn)題在中學(xué)就可以讓老師告訴學(xué)生,但是一般老師好像并沒(méi)有這樣啟發(fā)學(xué)生。比方說(shuō)什么樣的正整數(shù)能夠成為直角三角形的邊長(zhǎng)?這樣的問(wèn)題有趣,但還不算太難。另一個(gè)問(wèn)題,如果邊長(zhǎng)都是整數(shù),它的直角三角形面積是不是也是整數(shù)?這也比較簡(jiǎn)單。到了第三個(gè)問(wèn)題,你就會(huì)發(fā)現(xiàn)它是驚人的難,如果直角三角形的邊長(zhǎng)都是有理數(shù),什么情況下它的面積是整數(shù)?我們可以舉一個(gè)例子,3/2、20/3、41/6,它是一個(gè)直角三角形的三個(gè)邊長(zhǎng),它的面積是5??雌饋?lái)這個(gè)問(wèn)題好像不太簡(jiǎn)單,這個(gè)問(wèn)題其實(shí)已經(jīng)有一千年的歷史,是古埃及人提出來(lái)的。157就是這樣一個(gè)整數(shù),以157為面積的最簡(jiǎn)單的有理直角三角形的三個(gè)邊長(zhǎng),大家可以看一下,分子分母都會(huì)有40多位。大家可能想不到這里面會(huì)有這么復(fù)雜的數(shù)據(jù)在這里頭,你更想不到這個(gè)問(wèn)題它會(huì)和BSD猜想聯(lián)系在一起。BSD猜想到目前為止誰(shuí)也沒(méi)能夠證明它,已有的結(jié)果離完全解決遙遠(yuǎn)得很,因?yàn)樗顷P(guān)于橢圓曲線的一個(gè)問(wèn)題,也是克雷數(shù)學(xué)研究所幾個(gè)千禧年的問(wèn)題之一。換句話說(shuō)如果你能夠證明它,能拿到100萬(wàn)美元,也有著享譽(yù)全世界的學(xué)術(shù)聲譽(yù)。

我們前面提到過(guò),歐幾里得的一個(gè)證明說(shuō)素?cái)?shù)有無(wú)窮多個(gè)。素?cái)?shù)是一個(gè)數(shù)學(xué)的基本對(duì)象,里面神秘的東西非常的多。歐幾里得證明同樣干凈利落,富有美感。假設(shè)這個(gè)結(jié)論不對(duì),只有有限個(gè)素?cái)?shù),那我把這有限個(gè)素?cái)?shù)乘起來(lái)再加1,那這個(gè)新的數(shù)M,前面N個(gè)素?cái)?shù)都不會(huì)是它的因子。所以M的素因子就會(huì)和前面那n個(gè)素因子不一樣,這是一個(gè)矛盾,所以素?cái)?shù)有無(wú)窮多個(gè),這個(gè)定理就非常完美的被證明,好像就沒(méi)什么事情可以做了。但數(shù)學(xué)家他從來(lái)都不會(huì)這樣考慮問(wèn)題,就像龐加萊所說(shuō),“我們從來(lái)沒(méi)有完全理解過(guò)一個(gè)問(wèn)題,我們只是對(duì)這個(gè)問(wèn)題理解的更深了一點(diǎn)、更多了一點(diǎn)。”素?cái)?shù)看起來(lái)很容易明白,但可能是數(shù)學(xué)里面最神秘、最難以琢磨的一個(gè)對(duì)象。你會(huì)有很多問(wèn)題接二連三的產(chǎn)生,比方說(shuō)素?cái)?shù)在自然數(shù)中間占有多大的比例?這個(gè)問(wèn)題很難回答,你可以把它變得更容易琢磨一點(diǎn),就1到N之間有多少個(gè)素?cái)?shù)?這個(gè)問(wèn)題到現(xiàn)在為止沒(méi)有一個(gè)人能夠回答。關(guān)于素?cái)?shù)有無(wú)窮多個(gè),后來(lái)歐拉有個(gè)更好的證明,歐拉的證明對(duì)數(shù)學(xué)產(chǎn)生了一個(gè)巨大的影響,包括產(chǎn)生了歐拉函數(shù)(Euler' totient function)等等,今天我們不會(huì)有時(shí)間談這些。

還有一個(gè)看上去非常簡(jiǎn)單的問(wèn)題——哥德巴赫猜想,每個(gè)大于2的偶數(shù)都是兩個(gè)素?cái)?shù)的和,比方說(shuō)6可以寫(xiě)成3+3,20可以寫(xiě)成13+7等等,但是誰(shuí)也沒(méi)有能夠證明這個(gè)結(jié)果。到目前為止最好的結(jié)果還是四、五十年前我國(guó)數(shù)學(xué)家陳景潤(rùn)做的,他證明了“1+2”,它的含義就是充分大的偶數(shù)都能夠?qū)懗梢粋€(gè)數(shù)字加上另一個(gè)數(shù),另一個(gè)數(shù)的素因子不超過(guò)兩個(gè)。陳景潤(rùn)的這項(xiàng)工作隨著徐遲的報(bào)告文獻(xiàn)傳遍我國(guó)大江南北,敬仰、愛(ài)慕的信件如雪片般的飛過(guò)來(lái),這個(gè)盛況后來(lái)再也沒(méi)有出現(xiàn)過(guò)。徐遲報(bào)告文獻(xiàn)的副產(chǎn)品就是,大家都知道數(shù)學(xué)家連1+1都弄不清楚,原來(lái)1+1還是這么高深的數(shù)學(xué)。

曾有人和我說(shuō)起陳景潤(rùn)的工作,他是完全從字面上來(lái)理解“1+2”的。我試圖給他解釋陳景潤(rùn)工作中“1+2”的含義,他聽(tīng)后斜看了我一眼,說(shuō)我不懂。我當(dāng)時(shí)無(wú)語(yǔ),覺(jué)得做科普還是很不容易的,同時(shí)也發(fā)現(xiàn)人們是多么的執(zhí)著于自己不合事實(shí)的理解,可能這和他的自尊心、心智安全感也是分不開(kāi)的。

另一個(gè)看起來(lái)簡(jiǎn)單的問(wèn)題就是卵生素?cái)?shù)猜想,比如3和5,41和43,他們都是相差2的素?cái)?shù)對(duì)。它的問(wèn)題是,這樣的素?cái)?shù)對(duì)有沒(méi)有無(wú)限多個(gè)?2013年華裔數(shù)學(xué)家張益唐在這個(gè)問(wèn)題上取得巨大的突破,他證明了存在無(wú)窮多對(duì)素?cái)?shù),每一對(duì)素?cái)?shù)的差都不超過(guò)7000萬(wàn)。張益唐結(jié)果哄動(dòng)一時(shí),他本人在逆境中也保持對(duì)理想追求的故事也是非常立志的,他感動(dòng)了世界。

講到數(shù)學(xué)美的時(shí)候我們還可以提一個(gè)例子,前面提到過(guò)根號(hào)2不是有理數(shù),我們可以給一個(gè)很?chē)?yán)格的證明。假設(shè)這個(gè)結(jié)論不正確,它是兩個(gè)整數(shù)的比,x=a/b,我們可以要求分子分母沒(méi)有公因子,那么去分母之后得到xb=a。然后做平方得到x^2b^2=a^2,從而就是2b^2=a^2,所以a肯定是偶數(shù)。然后再把2b^2=a^2代進(jìn)去之后,會(huì)得到b也是偶數(shù),這樣就會(huì)有一個(gè)矛盾了,所以這個(gè)假設(shè)是錯(cuò)的,所以它必然是一個(gè)無(wú)理數(shù)。

我們?cè)谛W(xué)的時(shí)候都學(xué)過(guò)圓,也知道圓周率(π),大家都計(jì)算過(guò)圓周求面積等等,不過(guò)好像沒(méi)有想過(guò)圓周率這個(gè)數(shù)是不是有理數(shù)或者無(wú)理數(shù),這里反應(yīng)一個(gè)問(wèn)題就是我們提問(wèn)題的能力是比較弱的。不知道大家注意到?jīng)]有,很多的問(wèn)題都是外國(guó)人提出來(lái)的,我們自己提的問(wèn)題或者我們自己開(kāi)創(chuàng)的理論是比較少的,這其實(shí)反應(yīng)出來(lái)我們思維上的一個(gè)局限,愿意跟隨而不愿意開(kāi)創(chuàng)。

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

我們前面談的美基本上都是思維和邏輯的美,其實(shí)數(shù)學(xué)里面當(dāng)然也不缺少形美,畢竟形是數(shù)學(xué)研究的對(duì)象,形里面充滿了更為感知的美。這兩個(gè)圖像來(lái)自于極小曲面與分形幾何,分形幾何是研究海岸線發(fā)現(xiàn)的,后來(lái)成為一個(gè)很漂亮的應(yīng)用數(shù)學(xué)分子,在細(xì)胞分裂的研究中也有應(yīng)用。極小曲面很漂亮,也很有用。就如同他們證明正質(zhì)量猜想的時(shí)候,極小曲面就是很關(guān)鍵的工具。



極小曲面
分形幾何

還有動(dòng)力系統(tǒng),動(dòng)力系統(tǒng)大家知道跟渾沌是有關(guān)的,兩個(gè)天體之間的運(yùn)動(dòng)軌跡通過(guò)萬(wàn)有引力就可以確定,但三體運(yùn)動(dòng)這個(gè)事情就變得比較復(fù)雜了,當(dāng)時(shí)瑞典皇家科學(xué)院提出這個(gè)問(wèn)題,要求把這個(gè)問(wèn)題搞清楚。對(duì)這個(gè)問(wèn)題龐加萊做了創(chuàng)新性的工作,他剛開(kāi)始的論文獲獎(jiǎng)但有嚴(yán)重的錯(cuò)誤,后來(lái)更正了。數(shù)學(xué)動(dòng)力系統(tǒng)就從那里產(chǎn)生,他發(fā)現(xiàn)這個(gè)問(wèn)題非常的不簡(jiǎn)單,存在多種情況。動(dòng)力系統(tǒng)過(guò)去幾年在數(shù)學(xué)里面是非?;钴S的,好幾位數(shù)學(xué)家因?yàn)閯?dòng)力系統(tǒng)的工作拿了菲爾茲獎(jiǎng),包括C.T.Mcmullen,包括兩年前去世的一位女?dāng)?shù)學(xué)家米爾扎哈尼(Maryam Mirzakhani),這是目前唯一一位拿菲爾茲獎(jiǎng)的女?dāng)?shù)學(xué)家,她也是C.T.Mcmullen的學(xué)生,是個(gè)伊朗人,很可惜。去世的還有一位數(shù)學(xué)家,就是弗拉基米德·福沃特斯基。動(dòng)力系統(tǒng)在直觀上來(lái)講是非常簡(jiǎn)單的,一個(gè)微小的初始變幻,可以帶來(lái)巨大的結(jié)果上的差別。在氣象學(xué)里面有一個(gè)很形象的說(shuō)法,在巴西雨林里面的一個(gè)蝴蝶抖一下翅膀,紐約可能就會(huì)下一場(chǎng)大雨。



動(dòng)力系統(tǒng)
卡拉比-丘流形

右邊這個(gè)圖形是一個(gè)卡拉比丘流行,這應(yīng)該是丘成桐最有名的工作,他證明了卡拉比猜想??ɡ犬?dāng)時(shí)猜想有一類(lèi)流行,丘成桐試圖去證明這個(gè)猜想,后來(lái)他發(fā)現(xiàn)這個(gè)猜想可能是錯(cuò)的,就去證明這個(gè)猜想是錯(cuò)的,然后就在一個(gè)會(huì)上做報(bào)告。做完報(bào)告后,臺(tái)下的聽(tīng)眾覺(jué)得他講的很有道理,所以也就對(duì)這個(gè)猜想不再關(guān)心了。卡拉比也正好在臺(tái)下,聽(tīng)完報(bào)告回去后覺(jué)得哪個(gè)地方不太明白,就讓丘成桐再解釋一下。丘成桐當(dāng)然要試圖解釋這個(gè)疑問(wèn),但是一個(gè)星期過(guò)去之后,好像沒(méi)辦法解釋?zhuān)瑑蓚€(gè)星期過(guò)去了也沒(méi)解釋了,后來(lái)意識(shí)到他做錯(cuò)了。換句話說(shuō),丘成桐先生也有窘迫的時(shí)候。這其實(shí)告訴我們,每個(gè)人都有可能出錯(cuò),包括偉大的數(shù)學(xué)家。很多老師可能在上課的時(shí)候都有卡住的情況,但“牛人”的做法一般人可能未必做得到,比方說(shuō)大數(shù)學(xué)家希爾伯特在講課的時(shí)候也會(huì)突然卡住愣在臺(tái)上,他愣一下后會(huì)轉(zhuǎn)過(guò)身來(lái)對(duì)學(xué)生說(shuō)“啊!這顯然的,你們自己去證吧!”

丘成桐意識(shí)到自己最初對(duì)卡拉比猜想工作有錯(cuò)誤之后,他就朝另一個(gè)方向努力,再次證明這個(gè)猜想,過(guò)了三年終于把這個(gè)猜想證明了。因?yàn)檫@個(gè)工作和正質(zhì)量猜想的工作,后來(lái)他拿了菲爾茲獎(jiǎng)。他的這個(gè)工作的影響在數(shù)學(xué)里面是非常大的,丘成桐先生是幾何分析這個(gè)方向一位非常重要的創(chuàng)始人。不但如此,這類(lèi)流形在物理中間也非常重要,人們發(fā)現(xiàn)在弦的里面,正好需要這樣一個(gè)空間,所以他在物理界里面也是名動(dòng)江湖。

數(shù)學(xué)家對(duì)美是非常有熱情的,很多東西不美的話他不會(huì)追求。當(dāng)然數(shù)學(xué)家也是一群有特殊天賦的人,他的個(gè)性也是多種多樣的。

維納,控制論的創(chuàng)始人,也是一位杰出的數(shù)學(xué)家,他在上世紀(jì)30年代訪問(wèn)過(guò)中國(guó),對(duì)華羅庚非常欣賞。有一天他要搬家了,到一個(gè)新地方,可他對(duì)于這種事情不上心。(他的家人)老早就告訴他,當(dāng)天還給了他一張新地址的紙條,讓他這一天一定回到新的家里。但他回家的時(shí)候把紙條弄丟了,習(xí)慣地回到老地方,卻發(fā)現(xiàn)家不見(jiàn)了。他看見(jiàn)一個(gè)女孩就問(wèn),“對(duì)不起,也許你認(rèn)識(shí)我,我是諾伯特.韋納,我們剛搬家,你知道我們搬到哪兒去了嗎?”那女孩非常愉快的回答說(shuō)“是的,爸爸,媽媽就知道你會(huì)忘記的”。

德林才氣過(guò)人,因?yàn)樽C明了韋伊猜想獲得了菲爾茲獎(jiǎng)。他說(shuō),“能否做數(shù)學(xué)難題只是心理問(wèn)題。”這頗有點(diǎn)“說(shuō)我行,我就行;說(shuō)我不行,我就不行”的味道。這個(gè)說(shuō)法也呼應(yīng)了一個(gè)廣為流傳的真假莫辯的故事。說(shuō)某個(gè)很牛的大學(xué)里面,有一天也許因?yàn)樘鞖獠缓?,班上一位非常杰出的學(xué)生就遲到了。他到了一看課已經(jīng)結(jié)束了,黑板上只留了一些題目,這位學(xué)生是非常優(yōu)秀的學(xué)生,就當(dāng)作課后作業(yè)拿回去做了。(做的過(guò)程中)他發(fā)現(xiàn)這些題挺難的,花了一個(gè)星期時(shí)間只做出來(lái)其中的六道,然后他就有點(diǎn)狼狽的拿給教授說(shuō)“真是抱歉,這題目有點(diǎn)難,我只做出六道”。教授毫無(wú)疑問(wèn)的感到震驚,“什么?你把這些給解決掉了?這些都是我們這個(gè)領(lǐng)域里面大家正在努力解決的難題!”這個(gè)學(xué)生感到非常吃驚。所以做數(shù)學(xué)有時(shí)候是個(gè)心理問(wèn)題,你覺(jué)得它是個(gè)作業(yè)的話大概就能把它做出來(lái),如果覺(jué)得它是個(gè)難題很可能就做不出來(lái)。有點(diǎn)糟糕的是這個(gè)學(xué)生后來(lái)再也沒(méi)有做出更好的工作,他當(dāng)了系主任之后這樣說(shuō),“我們是這樣選系主任的,誰(shuí)不能做研究的話我們就選他當(dāng)系主任?!?/span>

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

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

小平邦彥,杰出的日本數(shù)學(xué)家,他在上個(gè)世紀(jì)50年代就拿了菲爾茲獎(jiǎng),他常說(shuō)自己天資不好,做事一絲不茍,全身心的投入,第一次學(xué)范德瓦爾登的《代數(shù)學(xué)》時(shí)什么也沒(méi)看明白,看不明白怎么辦?他就抄,一直抄到明白為止。我想有他這樣的勁頭的話,沒(méi)有什么學(xué)不明白。

數(shù)學(xué)家經(jīng)常犯錯(cuò),我們剛才提到邱成桐先生也會(huì)犯錯(cuò)誤。對(duì)這個(gè)犯錯(cuò)來(lái)講,有些錯(cuò)誤是好的,有些不太好。邱成桐犯的錯(cuò)誤就是個(gè)好的錯(cuò)誤,最后導(dǎo)致了問(wèn)題的解決。一位數(shù)學(xué)家這樣評(píng)價(jià)他的一位同事,“他犯了很多錯(cuò)誤,但都是朝著好的方向犯的。我試著這樣做,但發(fā)現(xiàn)犯好的錯(cuò)誤是很困難的?!?/span>

開(kāi)爾文,大家知道開(kāi)氏溫度,他是這樣評(píng)價(jià)數(shù)學(xué)家的,他說(shuō),“數(shù)學(xué)家就是這樣的人,他覺(jué)得下面這個(gè)公式是很顯然的?!比绻阋灿X(jué)得這個(gè)公式顯然的話呢,你們就會(huì)是數(shù)學(xué)家。他說(shuō)劉維爾就是一個(gè)數(shù)學(xué)家。劉維爾還辦了一個(gè)非常高水平的雜志,劉維爾雜志。

笛卡兒是數(shù)學(xué)家,也是哲學(xué)家。數(shù)學(xué)上他創(chuàng)立了《解析幾何》,哲學(xué)上他提出“我思故我在”,引起人們對(duì)意識(shí)與存在的關(guān)系的一個(gè)審視。有一個(gè)傳言,說(shuō)他與瑞典公主克里斯蒂娜戀愛(ài),文字傳情會(huì)被皇室審查受阻,于是他就用了一個(gè)極坐標(biāo)方程表達(dá)他的愛(ài)情。幸好那個(gè)女孩也是對(duì)數(shù)學(xué)非常明白的一個(gè)人,她把這個(gè)方程轉(zhuǎn)化成一個(gè)心型,從而明白了笛卡兒的心意。這么說(shuō)來(lái)數(shù)學(xué)不僅是描寫(xiě)大自然的語(yǔ)言,也是描寫(xiě)愛(ài)情的語(yǔ)言。

我說(shuō)完了我的報(bào)告,謝謝大家!


Q&A

問(wèn):學(xué)數(shù)學(xué)的出路何在、以后可以干什么、要是不轉(zhuǎn)行一直留在數(shù)學(xué)專(zhuān)業(yè)的話有什么經(jīng)驗(yàn)之談?

答:我想有迷茫是非常正常的,但其實(shí)在報(bào)告里面也講到了,數(shù)學(xué)是現(xiàn)實(shí)的一個(gè)核心,把這個(gè)核心都掌握了的話,我想將來(lái)的出路是非常寬廣的。你(現(xiàn)在)最重要的事情就是把數(shù)學(xué)學(xué)好,如果不轉(zhuǎn)行一直留在數(shù)學(xué)這個(gè)專(zhuān)業(yè)里,根據(jù)自己的興趣,如果愿意做研究就做研究,如果愿意做應(yīng)用可以做應(yīng)用,它的整個(gè)的就業(yè)前景是非常廣泛的。其實(shí)過(guò)去很多年來(lái),在美國(guó),學(xué)數(shù)學(xué)的職業(yè)前景一直都是排在前十的,很多年都是排在第一位,數(shù)學(xué)的就業(yè)是不用擔(dān)心的。更重要的是第一把自己的功課學(xué)好,第二找到自己的興趣所在,是愿意做學(xué)術(shù)、還是愿意解決實(shí)際的問(wèn)題等等??梢酝ㄟ^(guò)自己不斷地探索,同時(shí)也可以跟老師探索、跟同學(xué)探索到底哪個(gè)地方自己真正有興趣,探索清楚這樣一件事情,我想方向也就明確了。


問(wèn):能否講講群環(huán)域這些代數(shù)結(jié)構(gòu)的發(fā)展背景,并給一些學(xué)習(xí)上的建議?

答:抽象代數(shù)的發(fā)展應(yīng)是20世紀(jì)初,有一本比較好的數(shù)學(xué)史的書(shū)能夠幫助你了解它的歷史,就是克萊因?qū)懙摹豆沤駭?shù)學(xué)思想》。在學(xué)習(xí)中你要重視了解的是抽象與具體的聯(lián)系,要知道群的產(chǎn)生跟解方程是密不可分的,它實(shí)際上是產(chǎn)生于一些很具體的對(duì)象。在數(shù)論里面也有很多群的概念,包括交換群,同于能夠產(chǎn)生有限環(huán)等等。所以你一定要理解抽象與具體的聯(lián)系,對(duì)每一個(gè)抽象的概念,包括重要的定理,應(yīng)該盡可能的用很多具體的例子,來(lái)幫助你理解。一旦把抽象和具體的聯(lián)系關(guān)系處理好,近世代數(shù)里面所有的抽象就變得內(nèi)容豐富了,而通過(guò)具體的例子,也能夠幫你了解、思考、提出問(wèn)題以及把握中間的真正實(shí)質(zhì)。

 

問(wèn):請(qǐng)問(wèn)應(yīng)該如何結(jié)合數(shù)學(xué)的意義,在數(shù)學(xué)教學(xué)中去發(fā)展學(xué)生對(duì)數(shù)學(xué)的學(xué)習(xí)興趣呢?或者對(duì)數(shù)學(xué)教學(xué)進(jìn)行優(yōu)化?

答:這應(yīng)該是一個(gè)非常普遍的問(wèn)題,不僅中國(guó)存在這個(gè)問(wèn)題,世界上其他地方也存在這個(gè)問(wèn)題。我想這并沒(méi)有一般的靈丹妙藥,數(shù)學(xué)里面有很多有趣的東西,必須針對(duì)具體學(xué)生的領(lǐng)悟程度等,通過(guò)適當(dāng)?shù)姆绞桨阉鼈冋宫F(xiàn)出來(lái)。數(shù)學(xué)的一個(gè)特點(diǎn)是抽象,但它的抽象包含了很多實(shí)際的內(nèi)容,用這些實(shí)際的內(nèi)容來(lái)展示數(shù)學(xué),比方說(shuō)之前提到的數(shù)學(xué)的形美,可以通過(guò)畫(huà)一個(gè)漂亮的橢圓來(lái)展示,就直觀上讓學(xué)生感受到很多有趣的東西,通過(guò)慢慢給他們這些直觀的感受,使他們能感到有趣。我想經(jīng)過(guò)努力,他們會(huì)感到數(shù)學(xué)是非常有意思的,并且愿意學(xué)下去,但是到底能學(xué)到哪一步還是因人而異的。


問(wèn):如何看待數(shù)學(xué)天賦,基本功與數(shù)學(xué)成果的關(guān)系?

答:從這個(gè)(網(wǎng)友的)名字來(lái)看,他對(duì)Andrew wiles是非常敬仰的。那么其實(shí)Andrew wiles的故事就能夠給他很多啟發(fā),首先Andrew wiles當(dāng)然很有天賦,他在很小的時(shí)候,在童年的時(shí)候,對(duì)費(fèi)馬大定理就非常的有興趣,所以興趣和天賦對(duì)于數(shù)學(xué)來(lái)講是需要的。但是Andrew wiles是非常努力的一個(gè)人,當(dāng)他感到他能做出(某項(xiàng)研究)來(lái)的時(shí)候,就有幾年的時(shí)間,其中就沒(méi)有做過(guò)(其他)事情,其他的活動(dòng)盡可能少的參與。沒(méi)有一個(gè)很好的基本功要做很好的數(shù)學(xué)是不可能的一件事情。但是怎么樣把基本功打好,這也并不是一件很容易的事情。除了自己努力學(xué)以外,很多東西必須要很好的老師給你指點(diǎn),讓你明白這個(gè)枯燥的東西背后的本質(zhì)是什么。所以既要有天賦也要努力,再加上優(yōu)秀的老師指點(diǎn)的話,最后取得優(yōu)秀的數(shù)學(xué)成果是順理成章的一件事情,水到渠成。


問(wèn):現(xiàn)在在上研究生,但感覺(jué)一直游離在數(shù)學(xué)的邊緣,就像接觸了一個(gè)物體,只知道這個(gè)物體重要,現(xiàn)實(shí)也很多地方用到它,卻不知道內(nèi)部是怎樣的。如何才能真正進(jìn)入到數(shù)學(xué)的領(lǐng)域?怎么樣的狀態(tài)才算是真正進(jìn)入數(shù)學(xué)領(lǐng)域?

答:我想這位同學(xué)這個(gè)感覺(jué)非常的好,他至少知道自己沒(méi)有弄明白東西,這就給他一個(gè)提升的空間。如果他覺(jué)得弄明白的話,這可能是更糟糕的事情。既然覺(jué)得沒(méi)弄明白,就表明他還可以繼續(xù)努力。他需要把這個(gè)問(wèn)題具體化,比方說(shuō)覺(jué)得看書(shū)看不懂,哪里不懂必須要弄明白,必須要跟老師、跟別人來(lái)交談。對(duì)于哪一本具體的書(shū),哪個(gè)具體的問(wèn)題不懂,如果僅僅是空泛談不懂的話,是解決不了問(wèn)題的。必須把這個(gè)問(wèn)題落實(shí)到某個(gè)具體,一旦他在某個(gè)地方突破了這個(gè)障礙之后,我想他可能對(duì)整個(gè)數(shù)學(xué)的感受就完全不一樣了。把一個(gè)讓他最最苦惱不明白的一本書(shū)拿出來(lái),這本書(shū)里面到底是哪個(gè)地方不明白,不明白在什么地方,(通過(guò))仔細(xì)跟人討論,把這個(gè)不明白的問(wèn)題給明確下來(lái)。很多時(shí)候這就是個(gè)探索的過(guò)程,就像龐加萊說(shuō)的:“其實(shí)我們從來(lái)就沒(méi)弄明白過(guò)一件事情,只是我們不斷的加深理解?!彼詻](méi)有弄明白這個(gè)事情很正常,需要不斷地探索,可以自己探索、看書(shū)、跟別人討論,但一定要把自己在哪個(gè)地方不明白弄清楚,如果自己在哪個(gè)地方都不明白的話,那就說(shuō)明你還要在搞清楚不明白哪個(gè)問(wèn)題這件事情上花更多的時(shí)間。

 

問(wèn):學(xué)高等代數(shù)的時(shí)候是很久以前了,沒(méi)有機(jī)會(huì)讀“基礎(chǔ)代數(shù)”,不過(guò)聽(tīng)說(shuō)還沒(méi)有第三卷,什么時(shí)候出版呀?高等代數(shù)沒(méi)學(xué)好,所有東西用起來(lái)感覺(jué)都是鏡里觀花,很機(jī)械。怎樣能把代數(shù)學(xué)好用好?

答:第一個(gè)問(wèn)題比較簡(jiǎn)單,第三卷已經(jīng)送到出版社去了,應(yīng)該在9月份左右(出版),我希望它9月份能夠出來(lái)。

那高等代數(shù)沒(méi)有學(xué)好呢,有幾個(gè)原因,第一個(gè)可能用的教材不夠好,第二個(gè)可能老師教的不夠好。他需要理解高等代數(shù)里面最本質(zhì)的東西是什么,其實(shí)高等代數(shù)里面最重要的一點(diǎn),它是從解方程這里發(fā)展起來(lái)的,表面上看起來(lái)通過(guò)消元法可以解出所有的方程,但事實(shí)上你發(fā)現(xiàn)變量的個(gè)數(shù)一大之后,這個(gè)辦法肯定是不管用的。那在這個(gè)時(shí)候,對(duì)這個(gè)方程來(lái)講它就有很多內(nèi)在的結(jié)構(gòu),包括系數(shù)矩陣的秩,增廣矩陣的秩等等,這個(gè)秩就反應(yīng)這個(gè)方程可解不可解。還有你做消元法的時(shí)候,你發(fā)現(xiàn)是對(duì)它們系數(shù)作些運(yùn)算,這里面產(chǎn)生向量空間,方程的關(guān)系實(shí)際就是向量之間的線性組合、線性關(guān)系、相關(guān)無(wú)關(guān)等等。還有就是矩陣,你抓住了線性方程以及相關(guān)的概念之后呢,你發(fā)現(xiàn)很多東西應(yīng)該都是比較容易理解的,它的目的還是解方程。那么你發(fā)展的很多東西,反過(guò)來(lái)一方面是數(shù)學(xué)理論,拓展了這個(gè)空間,一方面它也對(duì)這個(gè)線性方程達(dá)到一個(gè)更深的理解。這個(gè)也是不斷深入、不斷交替的過(guò)程,已經(jīng)有了線性空間之后,包括歐式空間里面,包括各種各樣變換產(chǎn)生的群,就會(huì)變得更為豐富,應(yīng)用更為廣泛。這個(gè)歐式空間里面,這個(gè)距離,最后的話對(duì)無(wú)解的方程可以有最小二乘法等等,給出一個(gè)近似解。

你發(fā)現(xiàn)通過(guò)解方程這樣一個(gè)脈絡(luò)下去理解高等代數(shù)的話,很多東西都會(huì)變得比較容易理解,不管是對(duì)方程也好,對(duì)理論也好,這個(gè)在我書(shū)里你多讀幾遍能夠看得出來(lái)。

數(shù)學(xué)會(huì)獎(jiǎng)項(xiàng)

華羅庚獎(jiǎng)

華羅庚先生是我國(guó)著名數(shù)學(xué)家

華羅庚先生是我國(guó)著名數(shù)學(xué)家,他熱愛(ài)祖國(guó),獻(xiàn)身科學(xué)事業(yè),一生為發(fā)展我國(guó)的數(shù)學(xué)事業(yè)和培養(yǎng)人才做出了卓越貢獻(xiàn)。

陳省身獎(jiǎng)

陳省身教授是一位國(guó)際數(shù)學(xué)大師

國(guó)際數(shù)學(xué)大師陳省身教授是美籍華裔數(shù)學(xué)家、中國(guó)科學(xué)院外籍院士。他非常關(guān)心祖國(guó)數(shù)學(xué)事業(yè)的發(fā)展,幾十年來(lái)在發(fā)展我國(guó)數(shù)學(xué)事業(yè)、培養(yǎng)數(shù)學(xué)人才等方面做了大量工作。

鐘家慶獎(jiǎng)

鐘家慶教授生前對(duì)祖國(guó)數(shù)學(xué)事業(yè)的發(fā)展極其關(guān)切

鐘家慶教授生前對(duì)祖國(guó)數(shù)學(xué)事業(yè)的發(fā)展極其關(guān)注,并為之拚搏一生。為了紀(jì)念并實(shí)現(xiàn)他發(fā)展祖國(guó)數(shù)學(xué)事業(yè)的遺愿,數(shù)學(xué)界有關(guān)人士于1987年共同籌辦了鐘家慶基金,并設(shè)立了鐘家慶數(shù)學(xué)獎(jiǎng),委托中國(guó)數(shù)學(xué)會(huì)承辦。

關(guān)注微信

掃描二維碼關(guān)注

京ICP備17012431號(hào)-1   京公網(wǎng)安備 110402430128號(hào) 版權(quán)所有:中國(guó)數(shù)學(xué)會(huì)  法律法規(guī) | OA/ERP系統(tǒng)