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

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

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

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

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

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

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

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

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

在展開深入討論之前，我們先來看兩個簡單的案例，幫我們達(dá)成共識：

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

為什么？

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

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

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

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

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

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

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

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

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

這些關(guān)于無窮的概念，都是人類在數(shù)學(xué)世界里證明和創(chuàng)造出來的全新事物。它們在自然宇宙中并不存在，沒有任何一種自然現(xiàn)象，可以對應(yīng)“不可數(shù)無窮”，也沒有任何一種自然事物，可以體現(xiàn)“無窮的大小”。它們是人類在對自然宇宙進(jìn)行觀察和思考之后，在數(shù)學(xué)世界中重新發(fā)明的新事物，是人類智慧的結(jié)晶。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

這個悖論看似荒謬，卻揭示了“無窮小”的矛盾——古希臘人無法解決這個悖論，所以只好用“分割”來定義“點(diǎn)”，回避“無窮小”的問題。如果有人問：“你這個定義是不是包含了無窮?。俊睔W幾里得就可以反駁：“誰說無窮小了？我說的是‘不能再分割’?！?/p>

不管怎么說，無窮的概念，始終隱含在這個定義之中。

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

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

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

幾何中的“點(diǎn)”，是一種超越自然的事物，它是歐幾里得在另一位古希臘哲學(xué)家——德謨克利特——發(fā)明的原子論的基礎(chǔ)之上，創(chuàng)造出來的數(shù)學(xué)概念。德謨克利特認(rè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)造出了“線”的定義：“線：線是沒有寬度的長度?！薄熬€的兩端是點(diǎn)。”“直線：直線是線上的點(diǎn)均勻平直的分布?！?/p>

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

有了“線”的定義，接下來是“面”的定義：“面：面是只有長度和寬度的圖形?！薄懊娴倪吘壥蔷€?！比缓笫歉鞣N“幾何圖形”的定義，比如三角形、四邊形、圓形等等。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

這是高級文明對低級文明的絕對優(yōu)勢，因?yàn)榈图壩拿鳠o法理解、無法應(yīng)對高維空間的攻擊。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

就到這里吧！