深度長(zhǎng)文：數(shù)學(xué)，是人類的發(fā)現(xiàn)還是發(fā)明？（超10000字）

這個(gè)問(wèn)題看似簡(jiǎn)單，卻困擾了數(shù)學(xué)家、哲學(xué)家們兩千多年，從古希臘的先賢到現(xiàn)代的學(xué)術(shù)泰斗，每個(gè)人都有自己的見解。

它不像“1+1=2”那樣有明確的答案，卻能帶領(lǐng)我們跳出日常認(rèn)知，看清數(shù)學(xué)的本質(zhì)——這門看似枯燥的學(xué)科，其實(shí)是人類智慧最壯麗的創(chuàng)造，是我們?yōu)樽约洪_辟的一片超越自然的無(wú)窮天地。

簡(jiǎn)單來(lái)說(shuō)，早期的古代數(shù)學(xué)，更多是人類對(duì)自然現(xiàn)象的觀察與總結(jié)，本質(zhì)上是“發(fā)現(xiàn)”；但從2000多年前的古希臘開始，數(shù)學(xué)家們跳出了自然的束縛，創(chuàng)造出大量自然界中從未存在過(guò)的新事物、新概念，從此，數(shù)學(xué)的底色就從“發(fā)現(xiàn)”逐漸轉(zhuǎn)向了“發(fā)明”。

提到古希臘的數(shù)學(xué)與哲學(xué)，就不得不提拉斐爾的名畫《雅典學(xué)院》。

這幅創(chuàng)作于文藝復(fù)興時(shí)期的壁畫，以恢弘的構(gòu)圖，將古希臘以來(lái)的哲學(xué)、科學(xué)、數(shù)學(xué)先賢們匯聚一堂，仿佛在訴說(shuō)著人類智慧的起源與傳承。

畫中，柏拉圖手指天空，象征著超越現(xiàn)實(shí)的理想世界；亞里士多德手掌向下，代表著腳踏實(shí)地的經(jīng)驗(yàn)探索；而畢達(dá)哥拉斯、歐幾里得等數(shù)學(xué)家，也在畫面中占據(jù)著核心位置——他們正是那個(gè)時(shí)代，將數(shù)學(xué)從“發(fā)現(xiàn)”推向“發(fā)明”的關(guān)鍵人物。

古希臘的先賢們或許不會(huì)想到，他們當(dāng)年在沙灘上畫下的幾何圖形、在石板上寫下的數(shù)字規(guī)律，竟然為人類開辟出一片全新的精神世界。

在這個(gè)世界里，人類的思想不再被自然的有限性所束縛，想象力與邏輯力被發(fā)揮到極致，進(jìn)而加速了科學(xué)與技術(shù)的進(jìn)步，讓人類文明從緩慢爬行，一躍進(jìn)入了快速騰飛的時(shí)代。

要搞清楚“數(shù)學(xué)是發(fā)現(xiàn)還是發(fā)明”，一切都要從定義開始——這個(gè)問(wèn)題的答案，本質(zhì)上取決于我們對(duì)“發(fā)明”和“發(fā)現(xiàn)”這兩個(gè)詞的定義。

在展開深入討論之前，我們先來(lái)看兩個(gè)簡(jiǎn)單的案例，幫我們達(dá)成共識(shí)：

第一個(gè)案例：科學(xué)家發(fā)現(xiàn)了微觀粒子。無(wú)論是原子、電子，還是夸克、中微子，這些粒子在人類發(fā)現(xiàn)它們之前，就已經(jīng)存在于自然宇宙中，人類的行為，只是“找到”了它們，而不是“創(chuàng)造”了它們。所以，這是“發(fā)現(xiàn)”。

第二個(gè)案例：殷商時(shí)代的古人發(fā)明了甲骨文。在甲骨文出現(xiàn)之前，自然界中并不存在這種用于記錄語(yǔ)言的符號(hào)系統(tǒng)，它是人類為了滿足交流、記錄的需求，主動(dòng)創(chuàng)造出來(lái)的全新事物。所以，這是“發(fā)明”。

通過(guò)這兩個(gè)案例，我們可以明確兩個(gè)核心定義，這也是我們后續(xù)討論的基礎(chǔ)：

發(fā)現(xiàn)，是指人類在自然宇宙中，找到并認(rèn)識(shí)了以前未曾見過(guò)、未曾知曉，但本身就已經(jīng)存在的事物或規(guī)律；

發(fā)明，是指人類基于自身的需求、想象和邏輯，創(chuàng)造出了自然宇宙中原本不存在的事物、符號(hào)或規(guī)則。

如果以這兩個(gè)定義為基礎(chǔ)，我們似乎可以直接得出結(jié)論：

因?yàn)椋瑪?shù)學(xué)的定義、符號(hào)和規(guī)則，都是人類的發(fā)明——自然界中沒有“1”這個(gè)符號(hào)，沒有“+”“-”“×”“÷”這些運(yùn)算規(guī)則，沒有“點(diǎn)”“線”“面”這些幾何概念，這些都是人類為了方便描述世界、解決問(wèn)題，創(chuàng)造出來(lái)的工具。

所以，數(shù)學(xué)是人類的發(fā)明，而不是發(fā)現(xiàn)。

等一下，這樣就證明結(jié)束了嗎？

顯然沒有。因?yàn)槭虑檫h(yuǎn)沒有這么簡(jiǎn)單。

如果數(shù)學(xué)僅僅是人類發(fā)明的符號(hào)和規(guī)則，那為什么它能精準(zhǔn)地描述自然規(guī)律？為什么我們發(fā)明的數(shù)學(xué)工具，能預(yù)測(cè)天體運(yùn)行、指導(dǎo)航天發(fā)射、推動(dòng)科技進(jìn)步？

要解開這個(gè)疑惑，我們就必須跳出“符號(hào)與規(guī)則”的表層，深入數(shù)學(xué)的核心——無(wú)窮。

“無(wú)窮”，是數(shù)學(xué)中最核心、最神奇，也最令人困惑的概念之一。

它貫穿了數(shù)學(xué)的整個(gè)發(fā)展歷程，從古希臘的幾何證明，到現(xiàn)代的微積分、集合論，幾乎所有重要的數(shù)學(xué)分支，都離不開無(wú)窮的身影。但有一個(gè)關(guān)鍵事實(shí)的是：“無(wú)窮”只存在于人類的想象中，不存在于我們生活的自然宇宙里。

在我們的日常認(rèn)知里，自然宇宙是無(wú)窮無(wú)盡的——天空沒有盡頭，時(shí)間沒有起點(diǎn)也沒有終點(diǎn)，宇宙中的星星更是多到數(shù)不清。

但隨著人類觀測(cè)能力的不斷增強(qiáng)，天文學(xué)家們通過(guò)大量的觀測(cè)和研究，逐漸發(fā)現(xiàn)了一個(gè)顛覆我們認(rèn)知的事實(shí)：越來(lái)越多的證據(jù)表明，我們所生活的自然宇宙，實(shí)際上是有限的，比我們想象的要“小”得多。

天文學(xué)家是如何發(fā)現(xiàn)宇宙是有限的？

這是一段充滿探索與突破的有趣歷史，限于篇幅，我們?cè)谶@里不展開詳細(xì)論述，但可以給大家推薦一部精彩的BBC紀(jì)錄片——《萬(wàn)物與虛無(wú)》。

這部紀(jì)錄片用通俗的語(yǔ)言、生動(dòng)的畫面，系統(tǒng)地介紹了人類對(duì)宇宙邊界的探索歷程，從亞里士多德的“地心說(shuō)”，到哥白尼的“日心說(shuō)”，再到哈勃發(fā)現(xiàn)宇宙膨脹、大爆炸理論的提出，一步步揭開了宇宙有限的神秘面紗，相信看完之后，你會(huì)對(duì)宇宙的本質(zhì)有全新的認(rèn)識(shí)。

根據(jù)天文學(xué)家目前觀測(cè)到的天文數(shù)據(jù)，我們可以得出幾個(gè)明確的結(jié)論：

第一，宇宙的時(shí)間是有限的。它不能無(wú)限上溯，而是存在一個(gè)明確的起點(diǎn)——也就是我們常說(shuō)的“宇宙大爆炸”。根據(jù)最新的觀測(cè)結(jié)果，宇宙的年齡估計(jì)不超過(guò)200億年（更精確的數(shù)值約為138億年），這意味著，在138億年前，宇宙還不存在，所有的物質(zhì)、能量、時(shí)間和空間，都濃縮在一個(gè)無(wú)窮小的“奇點(diǎn)”之中。

第二，宇宙的空間是有限的。雖然我們目前還無(wú)法確定宇宙的精確邊界，但根據(jù)哈勃定律和宇宙膨脹的速度，科學(xué)家們估算出，宇宙的直徑不超過(guò)1000億光年。這個(gè)數(shù)字看起來(lái)極其龐大，我們很難想象它的尺度——光在真空中的速度是每秒30萬(wàn)公里，一年能傳播9.46萬(wàn)億公里，而1000億光年，就是光傳播1000億年的距離。但即便如此，它仍然是一個(gè)有限的數(shù)值，不是無(wú)窮無(wú)盡的。

第三，宇宙中的物質(zhì)和能量是有限的。科學(xué)家們通過(guò)觀測(cè)和計(jì)算，估算出宇宙中所有普通物質(zhì)的總質(zhì)量約為1.45×10^53千克，這個(gè)數(shù)字雖然大到令人無(wú)法想象，但它仍然是一個(gè)有限的量。無(wú)論是恒星、行星、星云，還是我們?nèi)庋劭床坏降陌滴镔|(zhì)、暗能量，它們的總量都是有限的。

也就是說(shuō)，我們印象中那個(gè)無(wú)窮無(wú)盡、無(wú)邊無(wú)際的宇宙，其實(shí)是我們的想象。宇宙中所有已知的自然事物——時(shí)間、空間、物質(zhì)、能量，甚至是我們自身，都是有限的。在自然宇宙中，并不存在真正的“無(wú)窮”。

然而，相比于有限的自然宇宙，數(shù)學(xué)的世界里，無(wú)窮幾乎無(wú)處不在。

它不是一種想象，而是一種被嚴(yán)格定義、被反復(fù)證明的數(shù)學(xué)概念，貫穿在數(shù)學(xué)的每一個(gè)角落。

最簡(jiǎn)單的例子，就是分?jǐn)?shù)1/3。我們都知道，1/3可以轉(zhuǎn)化為無(wú)限循環(huán)小數(shù)0.3333……，這個(gè)小數(shù)永遠(yuǎn)沒有盡頭，無(wú)論我們計(jì)算到多少位，后面永遠(yuǎn)還有無(wú)數(shù)個(gè)3。

這種“無(wú)限循環(huán)”，就是無(wú)窮的一種體現(xiàn)——它不存在于自然宇宙中，因?yàn)樽匀恢袥]有任何一個(gè)事物，可以被無(wú)限分割、無(wú)限延續(xù)。

更常見的例子，就是圓周率π。

π是一個(gè)無(wú)限不循環(huán)小數(shù)，它的數(shù)值約為3.1415926535……，人類至今也無(wú)法窮盡它的計(jì)算。很多人可能會(huì)覺得，這是因?yàn)槲覀兊挠?jì)算能力不夠強(qiáng)，但實(shí)際上，即使我們擁有最強(qiáng)大的計(jì)算機(jī)，即使我們耗盡宇宙中所有的能量和物質(zhì)，也永遠(yuǎn)無(wú)法計(jì)算出π的最后一位。

為什么？

因?yàn)闊o(wú)窮是沒有盡頭的。

無(wú)論是電腦還是人腦，在計(jì)算時(shí)都需要消耗能量和時(shí)間，在存儲(chǔ)數(shù)據(jù)時(shí)，也需要占用物質(zhì)和空間。而宇宙中的能量、物質(zhì)、時(shí)間和空間都是有限的，所以人類的算力和存儲(chǔ)能力，永遠(yuǎn)無(wú)法達(dá)到“無(wú)窮”的級(jí)別。即使我們計(jì)算到宇宙毀滅的那一天，π的小數(shù)部分仍然會(huì)有無(wú)限多位等待我們?nèi)ビ?jì)算；即使我們耗盡宇宙中所有的物質(zhì)，也無(wú)法把π計(jì)算出的數(shù)據(jù)全部保存下來(lái)。

請(qǐng)大家仔細(xì)想想，這是不是很神奇？

僅僅是數(shù)學(xué)世界中一個(gè)常見數(shù)字的計(jì)算，就可以耗盡我們這個(gè)自然宇宙中所有的資源。這恰恰說(shuō)明，數(shù)學(xué)世界和自然世界，是兩個(gè)截然不同的世界——數(shù)學(xué)世界中的無(wú)窮，是自然世界永遠(yuǎn)無(wú)法企及的。

更有趣的是，數(shù)學(xué)家們通過(guò)嚴(yán)格的證明發(fā)現(xiàn)，像π這樣的無(wú)理數(shù)，其個(gè)數(shù)要遠(yuǎn)遠(yuǎn)多于有理數(shù)。

我們平時(shí)接觸到的整數(shù)、分?jǐn)?shù)，都是有理數(shù)，它們的個(gè)數(shù)雖然看起來(lái)很多，但其實(shí)是“可數(shù)無(wú)窮”——也就是說(shuō)，我們可以按照一定的順序，把所有的有理數(shù)一一列舉出來(lái)。而無(wú)理數(shù)的個(gè)數(shù)，則是“不可數(shù)無(wú)窮”——我們無(wú)法按照任何順序，把所有的無(wú)理數(shù)一一列舉出來(lái)，它們的數(shù)量，比有理數(shù)多得多，多到無(wú)法想象。

更令人驚嘆的是，無(wú)窮和無(wú)窮之間，也有大小之分。

比如說(shuō)，自然數(shù)的個(gè)數(shù)有無(wú)窮多個(gè)（1、2、3、4……），而實(shí)數(shù)的個(gè)數(shù)（包括有理數(shù)和無(wú)理數(shù)），卻遠(yuǎn)比自然數(shù)多得多。

這種“無(wú)窮的大小”，不是我們?nèi)粘＠斫獾摹岸嗌佟保且环N嚴(yán)格的數(shù)學(xué)概念，被稱為“基數(shù)”。自然數(shù)的基數(shù)是最小的無(wú)窮基數(shù)，而實(shí)數(shù)的基數(shù)，則是一個(gè)更大的無(wú)窮基數(shù)——這意味著，即使都是無(wú)窮，實(shí)數(shù)的個(gè)數(shù)，也比自然數(shù)多無(wú)窮多個(gè)。

這些關(guān)于無(wú)窮的概念，都是人類在數(shù)學(xué)世界里證明和創(chuàng)造出來(lái)的全新事物。它們?cè)谧匀挥钪嬷胁⒉淮嬖冢瑳]有任何一種自然現(xiàn)象，可以對(duì)應(yīng)“不可數(shù)無(wú)窮”，也沒有任何一種自然事物，可以體現(xiàn)“無(wú)窮的大小”。它們是人類在對(duì)自然宇宙進(jìn)行觀察和思考之后，在數(shù)學(xué)世界中重新發(fā)明的新事物，是人類智慧的結(jié)晶。

換句話說(shuō)，數(shù)學(xué)世界和自然世界，是兩個(gè)相互獨(dú)立、截然不同的世界。自然世界是有限的、具體的，而數(shù)學(xué)世界是無(wú)窮的、抽象的；自然世界是我們生活的現(xiàn)實(shí)空間，而數(shù)學(xué)世界，是人類創(chuàng)造出來(lái)的全新精神空間。

公元前6世紀(jì)，古希臘人證明出了人類歷史上第一個(gè)數(shù)學(xué)定理——泰勒斯定理，從此，無(wú)窮正式進(jìn)入了數(shù)學(xué)的世界，也徹底改變了數(shù)學(xué)的發(fā)展軌跡。

泰勒斯是古希臘最早的數(shù)學(xué)家和哲學(xué)家之一，他被稱為“科學(xué)和哲學(xué)之祖”。

泰勒斯定理指出：如果一個(gè)三角形的一邊是圓的直徑，那么這個(gè)三角形就是直角三角形。

這個(gè)定理看似簡(jiǎn)單，卻有著劃時(shí)代的意義——它是人類歷史上第一個(gè)通過(guò)邏輯推理，被嚴(yán)格證明的數(shù)學(xué)定理，而不是通過(guò)觀察、歸納得出的經(jīng)驗(yàn)規(guī)律。

和泰勒斯同時(shí)代的畢達(dá)哥拉斯，則進(jìn)一步推動(dòng)了數(shù)學(xué)的發(fā)展。

他證明了勾股定理（在直角三角形中，兩條直角邊的平方和等于斜邊的平方），并建立了人類歷史上第一個(gè)數(shù)學(xué)學(xué)派——畢達(dá)哥拉斯學(xué)派。這個(gè)學(xué)派的核心思想是“萬(wàn)物皆數(shù)”，他們認(rèn)為，整個(gè)宇宙的本質(zhì)，都可以用數(shù)字來(lái)描述。

在拉斐爾的《雅典學(xué)院》中，畢達(dá)哥拉斯坐在畫面的右側(cè)，手里拿著一本書，周圍圍繞著他的弟子們，仿佛正在講解數(shù)學(xué)知識(shí)。而在他旁邊，有一個(gè)人物正低頭抄寫，有人說(shuō)這是德謨克利特，也有人說(shuō)這是阿那克西曼德——無(wú)論他是誰(shuí)，都從側(cè)面體現(xiàn)了畢達(dá)哥拉斯在古希臘數(shù)學(xué)界的核心地位。

畢達(dá)哥拉斯的最大貢獻(xiàn)，不僅僅是證明了勾股定理，更是他開創(chuàng)了“演繹推理”的數(shù)學(xué)方法。他用邏輯推理的方式，證明了勾股定理對(duì)于“所有的直角三角形”都成立——這里的“所有”，就蘊(yùn)含著無(wú)窮的意味。它不是指某一個(gè)具體的直角三角形，也不是指某一百個(gè)、一千個(gè)直角三角形，而是指無(wú)窮多個(gè)直角三角形，沒有任何例外。

正是因?yàn)檫@個(gè)貢獻(xiàn)，畢達(dá)哥拉斯和泰勒斯，都被戴上了“第一位數(shù)學(xué)家”的桂冠。

在他們之前，古巴比倫、古埃及的數(shù)學(xué)家們，已經(jīng)提前一兩千年就發(fā)現(xiàn)了勾股定理的雛形——他們通過(guò)測(cè)量，發(fā)現(xiàn)了很多直角三角形的邊長(zhǎng)符合“勾三股四弦五”的規(guī)律，但他們并沒有把這個(gè)規(guī)律證明成定理。

他們只是“發(fā)現(xiàn)”了現(xiàn)象，卻沒有“發(fā)明”方法，沒有用邏輯推理證明這個(gè)規(guī)律對(duì)于所有直角三角形都成立。（當(dāng)然，也有可能他們也進(jìn)行了證明，只是目前還沒有足夠的證據(jù)支持這一點(diǎn)。）

這里的關(guān)鍵，就是無(wú)窮——正是無(wú)窮，讓“定律”和“定理”之間產(chǎn)生了天壤之別。

定律，是人類對(duì)已知自然規(guī)律的歸納總結(jié)，它基于觀察和經(jīng)驗(yàn)，適用于我們已經(jīng)發(fā)現(xiàn)的現(xiàn)象，但將來(lái)可能會(huì)出現(xiàn)例外情況，從而被改寫。比如，我們平時(shí)觀察到“太陽(yáng)東升西落”，于是總結(jié)出“太陽(yáng)東升西落”的定律，但實(shí)際上，隨著地球自轉(zhuǎn)的減慢，總有一天，太陽(yáng)可能會(huì)不再東升西落——雖然這個(gè)時(shí)間非常遙遠(yuǎn)，但從理論上來(lái)說(shuō)，這個(gè)定律是可以被改寫的。

而定理，則是通過(guò)演繹推理證明的數(shù)學(xué)規(guī)律，它蘊(yùn)含著無(wú)窮的意味，適用于所有符合條件的情況，不存在任何例外，也永遠(yuǎn)不會(huì)被推翻。

比如勾股定理，只要是直角三角形，無(wú)論它的邊長(zhǎng)是多少，無(wú)論它存在于宇宙的哪個(gè)角落，兩條直角邊的平方和一定等于斜邊的平方——這是被嚴(yán)格證明的，永遠(yuǎn)不會(huì)改變。

所以，畢達(dá)哥拉斯之前的古代數(shù)學(xué)家，更多的是“發(fā)現(xiàn)”——他們發(fā)現(xiàn)了自然中的數(shù)學(xué)規(guī)律，總結(jié)出了一些經(jīng)驗(yàn)性的定律，但沒有發(fā)明太多超越自然宇宙的數(shù)學(xué)概念。而畢達(dá)哥拉斯之后的數(shù)學(xué)家，引入了演繹推理和無(wú)窮的概念，定義了很多超越自然的數(shù)學(xué)元素，從此，數(shù)學(xué)的發(fā)展就越來(lái)越偏向于“發(fā)明”。

這是一個(gè)歷史性的時(shí)刻，古希臘的哲學(xué)家和數(shù)學(xué)家們，用邏輯和想象力，開辟了一個(gè)無(wú)窮的數(shù)學(xué)世界，而數(shù)學(xué)也從此開始，凌駕于其他所有科學(xué)之上。

德國(guó)著名數(shù)學(xué)家高斯曾說(shuō)：“數(shù)學(xué)是科學(xué)的皇后”。

這句話精準(zhǔn)地概括了數(shù)學(xué)在科學(xué)體系中的地位——它不是任何一門具體的科學(xué)，卻是所有科學(xué)的基礎(chǔ)，是支撐其他科學(xué)發(fā)展的核心。

愛因斯坦也非常認(rèn)同這一觀點(diǎn)，他曾說(shuō)：“數(shù)學(xué)之所以擁有超越其他所有科學(xué)的地位，是因?yàn)閿?shù)學(xué)中的法則是絕對(duì)確定和無(wú)可質(zhì)疑的，而其他科學(xué)的法則則是可質(zhì)疑的，并隨時(shí)有被新發(fā)現(xiàn)的事實(shí)所推翻的危險(xiǎn)。”

這句話道出了數(shù)學(xué)與其他自然科學(xué)的本質(zhì)區(qū)別：大部分自然科學(xué)中的定律，放在數(shù)學(xué)中，只能算作“猜想”。因?yàn)檫@些定律都是通過(guò)觀察、歸納而來(lái)的，沒有經(jīng)過(guò)嚴(yán)格的演繹證明，無(wú)法保證其永遠(yuǎn)成立。

最典型的例子，就是牛頓經(jīng)典力學(xué)。

牛頓在17世紀(jì)提出了萬(wàn)有引力定律和三大運(yùn)動(dòng)定律，構(gòu)建了經(jīng)典力學(xué)的體系，統(tǒng)治了物理學(xué)界近300年。在這300年里，人們一直認(rèn)為牛頓定律是絕對(duì)正確的，是描述自然規(guī)律的終極真理。

但到了20世紀(jì)，愛因斯坦提出了相對(duì)論，普朗克、玻爾等人提出了量子力學(xué)，人們才發(fā)現(xiàn)，牛頓定律并不是絕對(duì)正確的——它只適用于宏觀、低速的場(chǎng)景，在微觀、高速的場(chǎng)景下，就不再適用，需要被相對(duì)論和量子力學(xué)所改寫。

但數(shù)學(xué)定理卻不會(huì)出現(xiàn)這種情況。

比如勾股定理，自從畢達(dá)哥拉斯證明它以來(lái)，已經(jīng)過(guò)去了2000多年，無(wú)數(shù)數(shù)學(xué)家試圖推翻它，但都失敗了——它始終是正確的，沒有任何例外。

再比如歐幾里得幾何中的平行公設(shè)，雖然后來(lái)出現(xiàn)了非歐幾何，但這并不是推翻了平行公設(shè)，而是改變了公設(shè)的前提條件，在不同的幾何體系中，平行公設(shè)仍然是成立的。

數(shù)學(xué)的這種絕對(duì)確定性，要?dú)w功于無(wú)窮。德國(guó)數(shù)學(xué)家赫爾曼·外爾曾說(shuō)：“數(shù)學(xué)被稱為關(guān)于無(wú)窮的科學(xué)。的確，數(shù)學(xué)家發(fā)明了有限構(gòu)造，通過(guò)該構(gòu)造可以解決問(wèn)題，而其本性卻隱含著無(wú)窮。”

外爾的這句話，精準(zhǔn)地概括了數(shù)學(xué)與無(wú)窮的關(guān)系。我們可以結(jié)合古希臘數(shù)學(xué)家歐幾里得的《幾何原本》，來(lái)理解這句話的含義——《幾何原本》是數(shù)學(xué)史上最重要的文獻(xiàn)之一，它構(gòu)建了人類歷史上第一個(gè)完整的數(shù)學(xué)體系，而這本書的第一句話，就暗含了無(wú)窮的概念。

《幾何原本》的第一句話，是對(duì)“點(diǎn)”的定義：“點(diǎn)：點(diǎn)無(wú)法再分割成部分。”

大家有沒有意識(shí)到，這個(gè)定義很古怪？我們平時(shí)看到的“點(diǎn)”，無(wú)論是紙上的一個(gè)墨點(diǎn)，還是屏幕上的一個(gè)像素點(diǎn)，都是有大小、可以分割的。但歐幾里得定義的“點(diǎn)”，卻是“無(wú)法再分割”的——這在自然宇宙中，是根本不存在的。

其實(shí)，這是歐幾里得在用精巧的話術(shù)，想方設(shè)法繞開無(wú)窮的悖論。他真正想表達(dá)的，是“點(diǎn)只有位置，而沒有大小”。但如果直接說(shuō)“點(diǎn)沒有大小”，就必須引出“無(wú)窮小”這個(gè)至關(guān)重要的概念——所謂“無(wú)窮小”，就是無(wú)限接近于零，卻不等于零的量。

古希臘人發(fā)現(xiàn)，“無(wú)窮小”會(huì)引發(fā)很多悖論，其中最著名的就是“芝諾悖論”。

比如“阿基里斯追龜”：阿基里斯是古希臘跑得最快的人，而烏龜是跑得最慢的動(dòng)物。如果讓烏龜先跑一段距離，阿基里斯再去追，那么阿基里斯永遠(yuǎn)也追不上烏龜——因?yàn)楫?dāng)阿基里斯跑到烏龜出發(fā)的位置時(shí)，烏龜已經(jīng)向前跑了一段距離；當(dāng)阿基里斯跑到烏龜新的位置時(shí)，烏龜又向前跑了一段距離……

這個(gè)過(guò)程可以無(wú)限重復(fù)下去，所以阿基里斯永遠(yuǎn)也追不上烏龜。

這個(gè)悖論看似荒謬，卻揭示了“無(wú)窮小”的矛盾——古希臘人無(wú)法解決這個(gè)悖論，所以只好用“分割”來(lái)定義“點(diǎn)”，回避“無(wú)窮小”的問(wèn)題。如果有人問(wèn)：“你這個(gè)定義是不是包含了無(wú)窮小？”歐幾里得就可以反駁：“誰(shuí)說(shuō)無(wú)窮小了？我說(shuō)的是‘不能再分割’。”

不管怎么說(shuō)，無(wú)窮的概念，始終隱含在這個(gè)定義之中。

有趣的是，無(wú)窮小悖論，直到2000多年后，才被數(shù)學(xué)家們解決——其中一種方法，就是通過(guò)“分割”，將無(wú)窮小轉(zhuǎn)化為可計(jì)算的量，這也正是微積分的核心思想。這里面有很多有趣的故事，比如牛頓和萊布尼茨各自獨(dú)立發(fā)明微積分，柯西、魏爾斯特拉斯等人完善微積分的理論基礎(chǔ)，將來(lái)有機(jī)會(huì)，我們?cè)僭敿?xì)展開深談。

另外，這種“沒有大小的點(diǎn)”，是人類頭腦中想象出來(lái)的，是純粹的抽象概念。

不僅古希臘人從來(lái)沒有在自然中發(fā)現(xiàn)過(guò)這樣的點(diǎn)，就是我們現(xiàn)代人，也沒有見過(guò)——我們看到的所有“點(diǎn)”，都是有大小、可分割的，都不是歐幾里得定義的“點(diǎn)”。

幾何中的“點(diǎn)”，是一種超越自然的事物，它是歐幾里得在另一位古希臘哲學(xué)家——德謨克利特——發(fā)明的原子論的基礎(chǔ)之上，創(chuàng)造出來(lái)的數(shù)學(xué)概念。德謨克利特認(rèn)為，萬(wàn)物都是由不可分割的“原子”構(gòu)成的，而歐幾里得則將這種“不可分割”的思想，運(yùn)用到了數(shù)學(xué)中，創(chuàng)造出了“點(diǎn)”的概念。

在《雅典學(xué)院》中，歐幾里得手持圓規(guī)，正在作圖，他的周圍圍繞著弟子們，專注地看著他繪制幾何圖形——這幅畫面，也象征著歐幾里得在幾何領(lǐng)域的開創(chuàng)性貢獻(xiàn)。

定義完了“點(diǎn)”，歐幾里得緊接著在“點(diǎn)”的定義基礎(chǔ)上，構(gòu)造出了“線”的定義：“線：線是沒有寬度的長(zhǎng)度。”“線的兩端是點(diǎn)。”“直線：直線是線上的點(diǎn)均勻平直的分布。”

和“點(diǎn)”一樣，歐幾里得定義的“線”，也是超越自然的——自然中沒有“沒有寬度的長(zhǎng)度”，任何一條線，無(wú)論是繩子、光線，還是地面上的痕跡，都有寬度，都可以分割。但數(shù)學(xué)中的“線”，卻是純粹的抽象概念，沒有寬度，只有長(zhǎng)度，是人類發(fā)明出來(lái)的。

有了“線”的定義，接下來(lái)是“面”的定義：“面：面是只有長(zhǎng)度和寬度的圖形。”“面的邊緣是線。”然后是各種“幾何圖形”的定義，比如三角形、四邊形、圓形等等。

歐幾里得一共構(gòu)造了23個(gè)數(shù)學(xué)元素的定義（在《幾何原本》后面的12卷中，又增加到了131個(gè)），以及5條公理、5條公設(shè)。

他以這些有限的元素和規(guī)則為基礎(chǔ)，通過(guò)演繹推理，證明了465個(gè)命題，構(gòu)建出了一個(gè)無(wú)限的歐幾里得幾何空間。

我們可以仔細(xì)想想：歐幾里得只用了有限的定義、公理和公設(shè)，就構(gòu)建出了一個(gè)無(wú)窮的幾何世界——在這個(gè)世界里，有無(wú)數(shù)個(gè)點(diǎn)、無(wú)數(shù)條線、無(wú)數(shù)個(gè)面，有無(wú)數(shù)種幾何圖形，有無(wú)數(shù)條定理。這正是外爾所說(shuō)的：“數(shù)學(xué)家發(fā)明了有限構(gòu)造，通過(guò)該構(gòu)造可以解決問(wèn)題，而其本性卻隱含著無(wú)窮。”

數(shù)學(xué)的定義里有無(wú)窮，定理里有無(wú)窮，數(shù)學(xué)的空間也是無(wú)窮的……

總之，數(shù)學(xué)世界中，到處都是無(wú)窮。而正是這種無(wú)窮，讓數(shù)學(xué)擁有了超越自然、超越其他科學(xué)的力量。

很多人會(huì)有一個(gè)疑問(wèn)：既然數(shù)學(xué)是人類發(fā)明的，是超越自然的，那為什么它能精準(zhǔn)地描述自然規(guī)律？為什么我們發(fā)明的數(shù)學(xué)工具，能指導(dǎo)我們認(rèn)識(shí)世界、改造世界？

答案很簡(jiǎn)單：數(shù)學(xué)來(lái)源于自然，但又高于自然。

我們可以用一個(gè)簡(jiǎn)單的例子來(lái)理解：人類觀察鳥的飛行，發(fā)現(xiàn)了飛行的原理——鳥的翅膀上下扇動(dòng)，產(chǎn)生升力，從而克服重力，實(shí)現(xiàn)飛行。基于這個(gè)發(fā)現(xiàn)，人類發(fā)明出了飛機(jī)這種全新的事物。飛機(jī)的設(shè)計(jì)，參考了鳥的翅膀結(jié)構(gòu)，但又超越了鳥的飛行能力——隨著人類對(duì)飛機(jī)的不斷改良，飛機(jī)的速度、高度、航程，很快就超越了所有鳥類，成為了人類出行、運(yùn)輸?shù)闹匾ぞ摺?/p>

數(shù)學(xué)也是一樣。

數(shù)學(xué)中的元素和規(guī)則，最初都是人類觀察自然、總結(jié)自然規(guī)律得到的——比如，人類觀察到獵物的數(shù)量、果實(shí)的個(gè)數(shù)，從而發(fā)明了數(shù)字；人類觀察到土地的形狀、物體的輪廓，從而發(fā)明了幾何圖形；人類觀察到物體的運(yùn)動(dòng)、時(shí)間的流逝，從而發(fā)明了運(yùn)算規(guī)則。

但隨著數(shù)學(xué)的發(fā)展，數(shù)學(xué)家們不再局限于自然的觀察，而是通過(guò)想象力和邏輯推理，創(chuàng)造出了越來(lái)越多自然宇宙中不存在的新事物、新概念——比如無(wú)窮、無(wú)理數(shù)、虛數(shù)、高維空間等等。

這些新事物，雖然不存在于自然中，卻能幫助我們更好地描述自然、理解自然。

就像飛機(jī)超越了鳥的飛行能力一樣，數(shù)學(xué)也超越了自然的邊界。

幾千年來(lái)，數(shù)學(xué)家們不斷地構(gòu)造、完善數(shù)學(xué)體系，讓數(shù)學(xué)宇宙的邊界，遠(yuǎn)遠(yuǎn)超出了自然宇宙的邊界。數(shù)學(xué)不再是自然的“附屬品”，而是成為了一個(gè)獨(dú)立的、完整的體系，它有自己的規(guī)則、自己的邏輯、自己的世界，甚至可以反過(guò)來(lái)指導(dǎo)我們認(rèn)識(shí)自然、改造自然。

正是因?yàn)槿祟惏l(fā)明了無(wú)窮，發(fā)明了數(shù)學(xué)符號(hào)和運(yùn)算規(guī)則，所以數(shù)學(xué)宇宙的空間，遠(yuǎn)遠(yuǎn)大于我們所生活的自然宇宙。

數(shù)學(xué)的計(jì)算邊界，也遠(yuǎn)遠(yuǎn)超過(guò)了自然的限制。

這里有一張示意圖，它展示了數(shù)學(xué)可計(jì)算的空間，遠(yuǎn)遠(yuǎn)超出了自然宇宙的范圍——這并不意味著數(shù)學(xué)已經(jīng)比自然“大”，而是說(shuō)，數(shù)學(xué)的能力，已經(jīng)超越了自然的限制。

數(shù)學(xué)完全有能力描述我們所在的自然宇宙，無(wú)論是宏觀的天體運(yùn)行，還是微觀的粒子運(yùn)動(dòng)，都可以用數(shù)學(xué)公式精準(zhǔn)地表達(dá)；但反過(guò)來(lái)，自然宇宙中的很多事物，卻無(wú)法描述數(shù)學(xué)宇宙中的內(nèi)容——比如無(wú)窮，比如高維空間，這些都是自然中不存在的，我們無(wú)法用自然事物來(lái)直觀地理解它們。

這是不是很神奇？愛因斯坦也曾經(jīng)感嘆過(guò)這一點(diǎn)，他說(shuō)：“宇宙的可理解性是宇宙永遠(yuǎn)的秘密……宇宙居然能被理解，這個(gè)事實(shí)本身，就是一個(gè)奇跡。”

而我們之所以能夠理解宇宙，必須要?dú)w功于數(shù)學(xué)。

20多萬(wàn)年前，當(dāng)智人出現(xiàn)在非洲大陸時(shí)，他們的大腦已經(jīng)和現(xiàn)代人相差無(wú)幾，但那個(gè)時(shí)候的人類，根本無(wú)法理解宇宙——他們不知道地球是圓的，不知道太陽(yáng)是恒星，不知道宇宙的起源，甚至不知道自己生活在一個(gè)有限的世界里。他們只能通過(guò)神話、傳說(shuō)，來(lái)解釋自然現(xiàn)象，來(lái)安撫自己對(duì)未知的恐懼。

此后的20萬(wàn)年里，絕大多數(shù)時(shí)間，人類都處于這種“無(wú)知”的狀態(tài)。直到最近的500年，直到人類發(fā)明了代數(shù)、微積分等現(xiàn)代數(shù)學(xué)工具，我們才算真正開始理解宇宙。

我們可以按照數(shù)學(xué)史的時(shí)間線，來(lái)看看數(shù)學(xué)的發(fā)展如何推動(dòng)人類對(duì)宇宙的理解：

5000多年前，人類發(fā)明了算數(shù)計(jì)算——這是數(shù)學(xué)的萌芽。當(dāng)時(shí)的人類，通過(guò)計(jì)數(shù)、計(jì)算，解決了生活中的基本問(wèn)題，比如統(tǒng)計(jì)獵物的數(shù)量、計(jì)算土地的面積、分配糧食的份額。這個(gè)時(shí)候的數(shù)學(xué)，更多是“發(fā)現(xiàn)”，是對(duì)自然現(xiàn)象的簡(jiǎn)單總結(jié)。

2000多年前，古希臘人發(fā)明了幾何證明——這是數(shù)學(xué)的第一次飛躍。泰勒斯、畢達(dá)哥拉斯、歐幾里得等人，通過(guò)演繹推理，構(gòu)建了完整的幾何體系，讓數(shù)學(xué)從“經(jīng)驗(yàn)總結(jié)”走向“邏輯證明”。這個(gè)時(shí)候的數(shù)學(xué)，開始從“發(fā)現(xiàn)”轉(zhuǎn)向“發(fā)明”，無(wú)窮的概念被引入，數(shù)學(xué)開始超越自然。

400多年前，歐洲人發(fā)明了代數(shù)和微積分——這是數(shù)學(xué)的第二次飛躍。

笛卡爾發(fā)明了解析幾何，將代數(shù)和幾何結(jié)合起來(lái)；牛頓和萊布尼茨各自獨(dú)立發(fā)明了微積分，解決了無(wú)窮小的悖論，讓人類能夠計(jì)算連續(xù)變化的量。這個(gè)時(shí)候的數(shù)學(xué)，已經(jīng)成為了一門獨(dú)立的學(xué)科，能夠精準(zhǔn)地描述物體的運(yùn)動(dòng)、天體的運(yùn)行，為物理學(xué)的發(fā)展奠定了基礎(chǔ)。

100多年前，數(shù)學(xué)家們建立起了現(xiàn)代數(shù)學(xué)體系——這是數(shù)學(xué)的第三次飛躍。康托爾創(chuàng)立了集合論，完善了無(wú)窮的理論；希爾伯特提出了23個(gè)數(shù)學(xué)難題，推動(dòng)了數(shù)學(xué)各分支的發(fā)展；愛因斯坦用現(xiàn)代數(shù)學(xué)工具，發(fā)明了相對(duì)論，徹底改變了人類對(duì)宇宙的認(rèn)知。

可以說(shuō)，正是因?yàn)橛辛爽F(xiàn)代數(shù)學(xué)，愛因斯坦才有能力發(fā)明相對(duì)論。如果沒有微積分、沒有張量分析、沒有黎曼幾何，即使愛因斯坦擁有再高的天賦，也無(wú)法提出相對(duì)論——他無(wú)法用語(yǔ)言描述宇宙的時(shí)空彎曲，無(wú)法用公式表達(dá)引力的本質(zhì)，無(wú)法用數(shù)學(xué)證明自己的觀點(diǎn)。

“是數(shù)學(xué)讓愛因斯坦強(qiáng)大，而不是天賦”——雖然這是一句玩笑話，但內(nèi)容卻是認(rèn)真的。一個(gè)不會(huì)現(xiàn)代數(shù)學(xué)的愛因斯坦，和一個(gè)掌握現(xiàn)代數(shù)學(xué)的愛因斯坦，完全是兩個(gè)不同的人——只有掌握了現(xiàn)代數(shù)學(xué)，愛因斯坦才能成為那個(gè)改變?nèi)祟愓J(rèn)知的科學(xué)巨匠。

其實(shí)，不僅是愛因斯坦，所有的科學(xué)家，都離不開數(shù)學(xué)。智商決定不了一個(gè)人的上限，真正限制一個(gè)人上限的，是他所能掌握的數(shù)學(xué)水平——數(shù)學(xué)水平越高，所能掌握的科學(xué)和技術(shù)水平就越高，所能達(dá)到的高度也就越高。

事實(shí)上，數(shù)學(xué)家每發(fā)明創(chuàng)造出一個(gè)新的數(shù)學(xué)概念，都會(huì)讓數(shù)學(xué)的邊界，擴(kuò)展出一個(gè)更龐大的無(wú)窮空間。

如果只依靠“發(fā)現(xiàn)”，只局限于自然中存在的事物，數(shù)學(xué)家的能力就會(huì)受到極大的限制，數(shù)學(xué)也無(wú)法發(fā)展到今天的高度。

2000多年前，畢達(dá)哥拉斯學(xué)派的弟子希帕索斯，基于勾股定理，發(fā)明出了根號(hào)2——這種不能用自然數(shù)的比例（ratio）來(lái)表示的數(shù)，被稱為“非比例數(shù)”（irrational numbers），也就是我們現(xiàn)在所說(shuō)的無(wú)理數(shù)。

畢達(dá)哥拉斯學(xué)派認(rèn)為，萬(wàn)物皆數(shù)，而所有的數(shù)，都可以表示為兩個(gè)自然數(shù)的比例——根號(hào)2的出現(xiàn)，打破了他們的認(rèn)知，也動(dòng)搖了學(xué)派的核心思想。他們認(rèn)為，希帕索斯發(fā)明的這種“新數(shù)”，不是自然宇宙中存在的數(shù)，是褻瀆神靈的行為，于是將希帕索斯淹死在了海里。

這是數(shù)學(xué)史上的一場(chǎng)悲劇，但也從側(cè)面反映了“發(fā)明”對(duì)于數(shù)學(xué)發(fā)展的重要性。

如果數(shù)學(xué)家們停止腳步，只使用自然中存在的自然數(shù)、分?jǐn)?shù)，而不接受、不發(fā)明無(wú)理數(shù)，那么數(shù)學(xué)的發(fā)展就會(huì)被牢牢鎖死，就不會(huì)有后來(lái)的代數(shù)、微積分，不會(huì)有現(xiàn)代數(shù)學(xué)，更不會(huì)有現(xiàn)代科學(xué)和技術(shù)的繁榮。

經(jīng)過(guò)2000多年的創(chuàng)造，數(shù)學(xué)家們打破了自然的限制，發(fā)明出了越來(lái)越多自然宇宙中并不存在的新數(shù)——負(fù)數(shù)、無(wú)理數(shù)、虛數(shù)、復(fù)數(shù)、超限數(shù)……這些新數(shù)，雖然在自然中不存在，卻成為了我們認(rèn)識(shí)世界、改造世界的重要工具。

比如，負(fù)數(shù)的發(fā)明，讓我們能夠描述“虧損”“下降”“零下溫度”等現(xiàn)象；虛數(shù)的發(fā)明，讓我們能夠解決電路設(shè)計(jì)、量子力學(xué)中的復(fù)雜問(wèn)題；復(fù)數(shù)的發(fā)明，讓我們能夠描述平面上的運(yùn)動(dòng)，推動(dòng)了航空航天、電子工程等領(lǐng)域的發(fā)展。

到目前為止，我們討論的還只是數(shù)學(xué)在“尺度”上的無(wú)窮——比如無(wú)窮大、無(wú)窮小、無(wú)窮多的數(shù)。但不要忘了，數(shù)學(xué)還可以讓“維度”無(wú)窮。

我們生活的自然宇宙，是一個(gè)三維空間，再加上一維時(shí)間，構(gòu)成了四維時(shí)空。在這個(gè)時(shí)空里，我們只能感知到長(zhǎng)、寬、高三個(gè)空間維度，以及時(shí)間這個(gè)維度——我們無(wú)法想象四維空間是什么樣子，更無(wú)法想象更高維度的空間。

但數(shù)學(xué)家們卻可以輕松地創(chuàng)造出五維、六維……以至于無(wú)窮維度的空間。這些高維空間，在自然中當(dāng)然是不存在的，但它們?cè)跀?shù)學(xué)中，卻是被嚴(yán)格定義、被廣泛應(yīng)用的概念。

著名物理學(xué)家費(fèi)曼，曾經(jīng)做過(guò)一場(chǎng)題為《數(shù)學(xué)和物理關(guān)系》的演講，他在演講中調(diào)侃道：數(shù)學(xué)家們總是喜歡把定理推廣到無(wú)窮維空間，而物理學(xué)家們卻只需要三維空間——這簡(jiǎn)直是“殺雞用牛刀”。費(fèi)曼的調(diào)侃，也從側(cè)面反映了數(shù)學(xué)的強(qiáng)大的——它的能力，遠(yuǎn)遠(yuǎn)超出了物理世界的需求。

費(fèi)曼還說(shuō)，物理學(xué)家們常常需要向數(shù)學(xué)家請(qǐng)教高維空間的知識(shí)——因?yàn)楫?dāng)物理研究進(jìn)入微觀、宏觀領(lǐng)域時(shí)，三維空間已經(jīng)無(wú)法滿足需求，必須借助高維空間的數(shù)學(xué)工具，才能描述復(fù)雜的物理現(xiàn)象。比如，弦理論就認(rèn)為，宇宙存在11維空間，其中3維是我們能感知到的空間維度，1維是時(shí)間維度，剩下的7維，則蜷縮在微觀尺度上，我們無(wú)法直接感知——而弦理論的建立，完全依賴于高維空間的數(shù)學(xué)工具。

如果大家看過(guò)劉慈欣的《三體》，一定會(huì)對(duì)“降維打擊”印象深刻——歌者文明用二向箔，將太陽(yáng)系從三維空間碾壓成二維空間，徹底毀滅了地球文明。

這是高級(jí)文明對(duì)低級(jí)文明的絕對(duì)優(yōu)勢(shì)，因?yàn)榈图?jí)文明無(wú)法理解、無(wú)法應(yīng)對(duì)高維空間的攻擊。

但如果能讓數(shù)學(xué)家把數(shù)學(xué)工具帶到自然宇宙中，他們完全可以碾壓歌者文明——因?yàn)閿?shù)學(xué)家們可以創(chuàng)造出無(wú)窮維度的空間，可以發(fā)明出超越自然規(guī)律的數(shù)學(xué)規(guī)則，他們的能力，已經(jīng)超越了自然宇宙的限制，是歌者文明無(wú)法企及的。

如果想限制住數(shù)學(xué)家的力量，最簡(jiǎn)單的方法，就是讓他們只能使用自然中存在的事物——只能用自然數(shù)，只能用自然中存在的圖形，只能用自然中存在的規(guī)律。這樣一來(lái)，人類的科學(xué)探索能力，就會(huì)被永遠(yuǎn)鎖死在2000多年前的古代，這比《三體》中智子鎖死基礎(chǔ)物理，還要狠毒得多！

幸好，數(shù)學(xué)家們已經(jīng)擺脫了自然的限制。他們就像《西游記》里的孫悟空一樣，“跳出三界外，不在五行中”，擁有了前所未有的自由。人類一直追求的“人定勝天”的夢(mèng)想，至少在數(shù)學(xué)的世界里，已經(jīng)完全實(shí)現(xiàn)了！

現(xiàn)在，我們應(yīng)該已經(jīng)明白了：數(shù)學(xué)的強(qiáng)大力量，恰恰來(lái)自于“發(fā)明”，而不是停留在“發(fā)現(xiàn)”上。數(shù)學(xué)，是人類文明對(duì)自然的偉大超越，是人類智慧最璀璨的結(jié)晶。

既然數(shù)學(xué)超越了自然，超越了以自然為研究對(duì)象的自然科學(xué)，那么，數(shù)學(xué)到底屬于哪一類科學(xué)？

答案很明確：數(shù)學(xué)不是自然科學(xué)，而是形式科學(xué)。

我們先來(lái)明確一下自然科學(xué)的定義：自然科學(xué)是研究自然宇宙中存在的事物和規(guī)律的科學(xué)，它的所有概念、所有理論，都來(lái)自于自然宇宙，不能超越自然宇宙的限制。

比如物理學(xué)，研究的是物質(zhì)的運(yùn)動(dòng)規(guī)律；化學(xué)，研究的是物質(zhì)的組成和變化；生物學(xué)，研究的是生命的現(xiàn)象和規(guī)律——這些學(xué)科的研究對(duì)象，都是自然中真實(shí)存在的，它們的理論，也必須符合自然規(guī)律，不能脫離自然。

而數(shù)學(xué)則完全不同。

數(shù)學(xué)中存在很多超越自然宇宙的事物，比如無(wú)窮、高維空間、虛數(shù)等等——這些事物在自然中并不存在，是人類發(fā)明出來(lái)的抽象概念。數(shù)學(xué)的研究對(duì)象，不是自然中真實(shí)存在的事物，而是人類創(chuàng)造出來(lái)的形式系統(tǒng)——它有自己的規(guī)則、自己的邏輯，不依賴于自然宇宙，甚至可以獨(dú)立于自然宇宙而存在。

但這并不意味著數(shù)學(xué)不是科學(xué)。

因?yàn)閿?shù)學(xué)和其他科學(xué)一樣，具有科學(xué)性——它能提供確定性，是可重復(fù)、可驗(yàn)證的。

比如，同一個(gè)數(shù)學(xué)定理，無(wú)論是誰(shuí)，無(wú)論在什么地方，只要按照正確的邏輯推理，都能得出相同的結(jié)論；同一個(gè)數(shù)學(xué)問(wèn)題，無(wú)論用什么方法計(jì)算，只要方法正確，結(jié)果都一定是一致的。

所以，我們把數(shù)學(xué)這種類型的科學(xué)，歸類于形式科學(xué)。

除了數(shù)學(xué)，形式科學(xué)還包括邏輯學(xué)、計(jì)算機(jī)科學(xué)、信息論、系統(tǒng)論等學(xué)科——這些學(xué)科的共同特點(diǎn)是，它們的研究對(duì)象不是自然現(xiàn)象，而是抽象的形式系統(tǒng)，它們的理論不依賴于自然，具有絕對(duì)的確定性。

有一張圖，清晰地展示了形式科學(xué)和自然科學(xué)、社會(huì)科學(xué)等其他科學(xué)的關(guān)系。

從圖中我們可以看到，形式科學(xué)雖然不屬于自然宇宙的范疇，卻處于所有科學(xué)的最底層，是所有科學(xué)的基礎(chǔ)。

這個(gè)科學(xué)的層級(jí)結(jié)構(gòu)是這樣的：數(shù)學(xué)為物理學(xué)和化學(xué)等自然科學(xué)提供了堅(jiān)實(shí)的基礎(chǔ)——物理學(xué)和化學(xué)的研究，離不開數(shù)學(xué)工具的支持，無(wú)論是計(jì)算物質(zhì)的質(zhì)量、能量，還是分析物質(zhì)的變化規(guī)律，都需要用到數(shù)學(xué)；物理學(xué)和化學(xué)，又為生命科學(xué)提供了基礎(chǔ)——生命的本質(zhì)，是物質(zhì)的運(yùn)動(dòng)和變化，生命科學(xué)的研究，離不開物理學(xué)和化學(xué)的理論和方法；最后，生命科學(xué)又為社會(huì)科學(xué)提供了基礎(chǔ)——人類是生命的一種，社會(huì)是人類組成的群體，社會(huì)科學(xué)的研究，離不開對(duì)人類生命現(xiàn)象的理解。

這種自下而上的層級(jí)結(jié)構(gòu)，也正是拉斐爾在《雅典學(xué)院》中想要表達(dá)的思想。如果我們仔細(xì)觀察《雅典學(xué)院》這幅壁畫，就會(huì)發(fā)現(xiàn)，畫中暗藏著一個(gè)金字塔形的層次結(jié)構(gòu)。

整個(gè)《雅典學(xué)院》以柏拉圖和亞里士多德為中心，他們兩個(gè)人站在畫面的正中央，是整個(gè)畫面的核心，也是身邊所有人物的視線焦點(diǎn)。柏拉圖手指天空，象征著形式、理想和抽象；亞里士多德手掌向下，象征著經(jīng)驗(yàn)、現(xiàn)實(shí)和具體。

如果我們以亞里士多德伸出的右手作為頂點(diǎn)，做出一個(gè)等腰三角形，從臺(tái)階之上向下延伸到地板，就會(huì)發(fā)現(xiàn)，這個(gè)三角形底邊的兩個(gè)角，右邊指向畢達(dá)哥拉斯，左邊指向歐幾里得。而這兩位數(shù)學(xué)家，也正是他們周圍人物的視線焦點(diǎn)——這意味著，在拉斐爾的眼中，數(shù)學(xué)是整個(gè)自然哲學(xué)（也就是當(dāng)時(shí)的科學(xué)）的基礎(chǔ)。

其實(shí)，《雅典學(xué)院》這幅畫里，拉斐爾還有很多有趣的心機(jī)——比如，畫中的人物布局、手勢(shì)、神態(tài)，都對(duì)應(yīng)著不同的哲學(xué)和科學(xué)思想；畫中的建筑、裝飾，也蘊(yùn)含著古希臘的數(shù)學(xué)和幾何原理。將來(lái)有機(jī)會(huì)，我們?cè)僦鹨唤颐剡@些細(xì)節(jié)。

現(xiàn)在，我們又面臨一個(gè)新的問(wèn)題：以數(shù)學(xué)為代表的形式科學(xué)，為什么能夠成為自然科學(xué)、社會(huì)科學(xué)的基礎(chǔ)？

要回答這個(gè)問(wèn)題，我們就必須理解形式科學(xué)的本質(zhì)，尤其是“形式”這個(gè)概念的含義。

如果你去搜索和查閱資料，就會(huì)發(fā)現(xiàn)很多類似于“形式邏輯”“形式語(yǔ)言”“形式系統(tǒng)”等各種抽象的概念，比如維基百科對(duì)“形式”的解釋是：“形式（英語(yǔ)：Form）是一個(gè)在古希臘哲學(xué)中的重要概念。其與質(zhì)料相對(duì)應(yīng)，描述了事物的本質(zhì)，指‘第一實(shí)體’。”

看完這段解釋，很多人可能仍然一頭霧水：形式到底是個(gè)啥？

其實(shí)，這個(gè)問(wèn)題已經(jīng)超出了本文的主題——本文的核心是討論“數(shù)學(xué)是發(fā)現(xiàn)還是發(fā)明”，如果繼續(xù)深入討論形式科學(xué)的本質(zhì)，篇幅會(huì)過(guò)于冗長(zhǎng)，也不利于大家集中注意力。

就到這里吧！