深度長文：數學，是人類的發現還是發明？（超10000字）

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

它不像“1+1=2”那樣有明確的答案，卻能帶領我們跳出日常認知，看清數學的本質——這門看似枯燥的學科，其實是人類智慧最壯麗的創造，是我們為自己開辟的一片超越自然的無窮天地。

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

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

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

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

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

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

要搞清楚“數學是發現還是發明”，一切都要從定義開始——這個問題的答案，本質上取決于我們對“發明”和“發現”這兩個詞的定義。

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

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

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

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

發現，是指人類在自然宇宙中，找到并認識了以前未曾見過、未曾知曉，但本身就已經存在的事物或規律；

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

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

因為，數學的定義、符號和規則，都是人類的發明——自然界中沒有“1”這個符號，沒有“+”“-”“×”“÷”這些運算規則，沒有“點”“線”“面”這些幾何概念，這些都是人類為了方便描述世界、解決問題，創造出來的工具。

所以，數學是人類的發明，而不是發現。

等一下，這樣就證明結束了嗎？

顯然沒有。因為事情遠沒有這么簡單。

如果數學僅僅是人類發明的符號和規則，那為什么它能精準地描述自然規律？為什么我們發明的數學工具，能預測天體運行、指導航天發射、推動科技進步？

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

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

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

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

但隨著人類觀測能力的不斷增強，天文學家們通過大量的觀測和研究，逐漸發現了一個顛覆我們認知的事實：越來越多的證據表明，我們所生活的自然宇宙，實際上是有限的，比我們想象的要“小”得多。

天文學家是如何發現宇宙是有限的？

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

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

根據天文學家目前觀測到的天文數據，我們可以得出幾個明確的結論：

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

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

第三，宇宙中的物質和能量是有限的。科學家們通過觀測和計算，估算出宇宙中所有普通物質的總質量約為1.45×10^53千克，這個數字雖然大到令人無法想象，但它仍然是一個有限的量。無論是恒星、行星、星云，還是我們肉眼看不到的暗物質、暗能量，它們的總量都是有限的。

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

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

它不是一種想象，而是一種被嚴格定義、被反復證明的數學概念，貫穿在數學的每一個角落。

最簡單的例子，就是分數1/3。我們都知道，1/3可以轉化為無限循環小數0.3333……，這個小數永遠沒有盡頭，無論我們計算到多少位，后面永遠還有無數個3。

這種“無限循環”，就是無窮的一種體現——它不存在于自然宇宙中，因為自然中沒有任何一個事物，可以被無限分割、無限延續。

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

π是一個無限不循環小數，它的數值約為3.1415926535……，人類至今也無法窮盡它的計算。很多人可能會覺得，這是因為我們的計算能力不夠強，但實際上，即使我們擁有最強大的計算機，即使我們耗盡宇宙中所有的能量和物質，也永遠無法計算出π的最后一位。

為什么？

因為無窮是沒有盡頭的。

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

請大家仔細想想，這是不是很神奇？

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

更有趣的是，數學家們通過嚴格的證明發現，像π這樣的無理數，其個數要遠遠多于有理數。

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

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

比如說，自然數的個數有無窮多個（1、2、3、4……），而實數的個數（包括有理數和無理數），卻遠比自然數多得多。

這種“無窮的大小”，不是我們日常理解的“多少”，而是一種嚴格的數學概念，被稱為“基數”。自然數的基數是最小的無窮基數，而實數的基數，則是一個更大的無窮基數——這意味著，即使都是無窮，實數的個數，也比自然數多無窮多個。

這些關于無窮的概念，都是人類在數學世界里證明和創造出來的全新事物。它們在自然宇宙中并不存在，沒有任何一種自然現象，可以對應“不可數無窮”，也沒有任何一種自然事物，可以體現“無窮的大小”。它們是人類在對自然宇宙進行觀察和思考之后，在數學世界中重新發明的新事物，是人類智慧的結晶。

換句話說，數學世界和自然世界，是兩個相互獨立、截然不同的世界。自然世界是有限的、具體的，而數學世界是無窮的、抽象的；自然世界是我們生活的現實空間，而數學世界，是人類創造出來的全新精神空間。

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

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

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

這個定理看似簡單，卻有著劃時代的意義——它是人類歷史上第一個通過邏輯推理，被嚴格證明的數學定理，而不是通過觀察、歸納得出的經驗規律。

和泰勒斯同時代的畢達哥拉斯，則進一步推動了數學的發展。

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

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

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

正是因為這個貢獻，畢達哥拉斯和泰勒斯，都被戴上了“第一位數學家”的桂冠。

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

他們只是“發現”了現象，卻沒有“發明”方法，沒有用邏輯推理證明這個規律對于所有直角三角形都成立。（當然，也有可能他們也進行了證明，只是目前還沒有足夠的證據支持這一點。）

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

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

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

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

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

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

德國著名數學家高斯曾說：“數學是科學的皇后”。

這句話精準地概括了數學在科學體系中的地位——它不是任何一門具體的科學，卻是所有科學的基礎，是支撐其他科學發展的核心。

愛因斯坦也非常認同這一觀點，他曾說：“數學之所以擁有超越其他所有科學的地位，是因為數學中的法則是絕對確定和無可質疑的，而其他科學的法則則是可質疑的，并隨時有被新發現的事實所推翻的危險。”

這句話道出了數學與其他自然科學的本質區別：大部分自然科學中的定律，放在數學中，只能算作“猜想”。因為這些定律都是通過觀察、歸納而來的，沒有經過嚴格的演繹證明，無法保證其永遠成立。

最典型的例子，就是牛頓經典力學。

牛頓在17世紀提出了萬有引力定律和三大運動定律，構建了經典力學的體系，統治了物理學界近300年。在這300年里，人們一直認為牛頓定律是絕對正確的，是描述自然規律的終極真理。

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

但數學定理卻不會出現這種情況。

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

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

數學的這種絕對確定性，要歸功于無窮。德國數學家赫爾曼·外爾曾說：“數學被稱為關于無窮的科學。的確，數學家發明了有限構造，通過該構造可以解決問題，而其本性卻隱含著無窮。”

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

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

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

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

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

比如“阿基里斯追龜”：阿基里斯是古希臘跑得最快的人，而烏龜是跑得最慢的動物。如果讓烏龜先跑一段距離，阿基里斯再去追，那么阿基里斯永遠也追不上烏龜——因為當阿基里斯跑到烏龜出發的位置時，烏龜已經向前跑了一段距離；當阿基里斯跑到烏龜新的位置時，烏龜又向前跑了一段距離……

這個過程可以無限重復下去，所以阿基里斯永遠也追不上烏龜。

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

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

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

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

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

幾何中的“點”，是一種超越自然的事物，它是歐幾里得在另一位古希臘哲學家——德謨克利特——發明的原子論的基礎之上，創造出來的數學概念。德謨克利特認為，萬物都是由不可分割的“原子”構成的，而歐幾里得則將這種“不可分割”的思想，運用到了數學中，創造出了“點”的概念。

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

定義完了“點”，歐幾里得緊接著在“點”的定義基礎上，構造出了“線”的定義：“線：線是沒有寬度的長度。”“線的兩端是點。”“直線：直線是線上的點均勻平直的分布。”

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

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

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

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

我們可以仔細想想：歐幾里得只用了有限的定義、公理和公設，就構建出了一個無窮的幾何世界——在這個世界里，有無數個點、無數條線、無數個面，有無數種幾何圖形，有無數條定理。這正是外爾所說的：“數學家發明了有限構造，通過該構造可以解決問題，而其本性卻隱含著無窮。”

數學的定義里有無窮，定理里有無窮，數學的空間也是無窮的……

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

很多人會有一個疑問：既然數學是人類發明的，是超越自然的，那為什么它能精準地描述自然規律？為什么我們發明的數學工具，能指導我們認識世界、改造世界？

答案很簡單：數學來源于自然，但又高于自然。

我們可以用一個簡單的例子來理解：人類觀察鳥的飛行，發現了飛行的原理——鳥的翅膀上下扇動，產生升力，從而克服重力，實現飛行。基于這個發現，人類發明出了飛機這種全新的事物。飛機的設計，參考了鳥的翅膀結構，但又超越了鳥的飛行能力——隨著人類對飛機的不斷改良，飛機的速度、高度、航程，很快就超越了所有鳥類，成為了人類出行、運輸的重要工具。

數學也是一樣。

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

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

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

就像飛機超越了鳥的飛行能力一樣，數學也超越了自然的邊界。

幾千年來，數學家們不斷地構造、完善數學體系，讓數學宇宙的邊界，遠遠超出了自然宇宙的邊界。數學不再是自然的“附屬品”，而是成為了一個獨立的、完整的體系，它有自己的規則、自己的邏輯、自己的世界，甚至可以反過來指導我們認識自然、改造自然。

正是因為人類發明了無窮，發明了數學符號和運算規則，所以數學宇宙的空間，遠遠大于我們所生活的自然宇宙。

數學的計算邊界，也遠遠超過了自然的限制。

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

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

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

而我們之所以能夠理解宇宙，必須要歸功于數學。

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

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

我們可以按照數學史的時間線，來看看數學的發展如何推動人類對宇宙的理解：

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

2000多年前，古希臘人發明了幾何證明——這是數學的第一次飛躍。泰勒斯、畢達哥拉斯、歐幾里得等人，通過演繹推理，構建了完整的幾何體系，讓數學從“經驗總結”走向“邏輯證明”。這個時候的數學，開始從“發現”轉向“發明”，無窮的概念被引入，數學開始超越自然。

400多年前，歐洲人發明了代數和微積分——這是數學的第二次飛躍。

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

100多年前，數學家們建立起了現代數學體系——這是數學的第三次飛躍。康托爾創立了集合論，完善了無窮的理論；希爾伯特提出了23個數學難題，推動了數學各分支的發展；愛因斯坦用現代數學工具，發明了相對論，徹底改變了人類對宇宙的認知。

可以說，正是因為有了現代數學，愛因斯坦才有能力發明相對論。如果沒有微積分、沒有張量分析、沒有黎曼幾何，即使愛因斯坦擁有再高的天賦，也無法提出相對論——他無法用語言描述宇宙的時空彎曲，無法用公式表達引力的本質，無法用數學證明自己的觀點。

“是數學讓愛因斯坦強大，而不是天賦”——雖然這是一句玩笑話，但內容卻是認真的。一個不會現代數學的愛因斯坦，和一個掌握現代數學的愛因斯坦，完全是兩個不同的人——只有掌握了現代數學，愛因斯坦才能成為那個改變人類認知的科學巨匠。

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

事實上，數學家每發明創造出一個新的數學概念，都會讓數學的邊界，擴展出一個更龐大的無窮空間。

如果只依靠“發現”，只局限于自然中存在的事物，數學家的能力就會受到極大的限制，數學也無法發展到今天的高度。

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

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

這是數學史上的一場悲劇，但也從側面反映了“發明”對于數學發展的重要性。

如果數學家們停止腳步，只使用自然中存在的自然數、分數，而不接受、不發明無理數，那么數學的發展就會被牢牢鎖死，就不會有后來的代數、微積分，不會有現代數學，更不會有現代科學和技術的繁榮。

經過2000多年的創造，數學家們打破了自然的限制，發明出了越來越多自然宇宙中并不存在的新數——負數、無理數、虛數、復數、超限數……這些新數，雖然在自然中不存在，卻成為了我們認識世界、改造世界的重要工具。

比如，負數的發明，讓我們能夠描述“虧損”“下降”“零下溫度”等現象；虛數的發明，讓我們能夠解決電路設計、量子力學中的復雜問題；復數的發明，讓我們能夠描述平面上的運動，推動了航空航天、電子工程等領域的發展。

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

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

但數學家們卻可以輕松地創造出五維、六維……以至于無窮維度的空間。這些高維空間，在自然中當然是不存在的，但它們在數學中，卻是被嚴格定義、被廣泛應用的概念。

著名物理學家費曼，曾經做過一場題為《數學和物理關系》的演講，他在演講中調侃道：數學家們總是喜歡把定理推廣到無窮維空間，而物理學家們卻只需要三維空間——這簡直是“殺雞用牛刀”。費曼的調侃，也從側面反映了數學的強大的——它的能力，遠遠超出了物理世界的需求。

費曼還說，物理學家們常常需要向數學家請教高維空間的知識——因為當物理研究進入微觀、宏觀領域時，三維空間已經無法滿足需求，必須借助高維空間的數學工具，才能描述復雜的物理現象。比如，弦理論就認為，宇宙存在11維空間，其中3維是我們能感知到的空間維度，1維是時間維度，剩下的7維，則蜷縮在微觀尺度上，我們無法直接感知——而弦理論的建立，完全依賴于高維空間的數學工具。

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

這是高級文明對低級文明的絕對優勢，因為低級文明無法理解、無法應對高維空間的攻擊。

但如果能讓數學家把數學工具帶到自然宇宙中，他們完全可以碾壓歌者文明——因為數學家們可以創造出無窮維度的空間，可以發明出超越自然規律的數學規則，他們的能力，已經超越了自然宇宙的限制，是歌者文明無法企及的。

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

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

現在，我們應該已經明白了：數學的強大力量，恰恰來自于“發明”，而不是停留在“發現”上。數學，是人類文明對自然的偉大超越，是人類智慧最璀璨的結晶。

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

答案很明確：數學不是自然科學，而是形式科學。

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

比如物理學，研究的是物質的運動規律；化學，研究的是物質的組成和變化；生物學，研究的是生命的現象和規律——這些學科的研究對象，都是自然中真實存在的，它們的理論，也必須符合自然規律，不能脫離自然。

而數學則完全不同。

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

但這并不意味著數學不是科學。

因為數學和其他科學一樣，具有科學性——它能提供確定性，是可重復、可驗證的。

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

所以，我們把數學這種類型的科學，歸類于形式科學。

除了數學，形式科學還包括邏輯學、計算機科學、信息論、系統論等學科——這些學科的共同特點是，它們的研究對象不是自然現象，而是抽象的形式系統，它們的理論不依賴于自然，具有絕對的確定性。

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

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

這個科學的層級結構是這樣的：數學為物理學和化學等自然科學提供了堅實的基礎——物理學和化學的研究，離不開數學工具的支持，無論是計算物質的質量、能量，還是分析物質的變化規律，都需要用到數學；物理學和化學，又為生命科學提供了基礎——生命的本質，是物質的運動和變化，生命科學的研究，離不開物理學和化學的理論和方法；最后，生命科學又為社會科學提供了基礎——人類是生命的一種，社會是人類組成的群體，社會科學的研究，離不開對人類生命現象的理解。

這種自下而上的層級結構，也正是拉斐爾在《雅典學院》中想要表達的思想。如果我們仔細觀察《雅典學院》這幅壁畫，就會發現，畫中暗藏著一個金字塔形的層次結構。

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

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

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

現在，我們又面臨一個新的問題：以數學為代表的形式科學，為什么能夠成為自然科學、社會科學的基礎？

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

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

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

其實，這個問題已經超出了本文的主題——本文的核心是討論“數學是發現還是發明”，如果繼續深入討論形式科學的本質，篇幅會過于冗長，也不利于大家集中注意力。

就到這里吧！