深度長文：數學，是人類的發現還是發明？

在我們的日常生活中，數學無處不在。

數學最鮮明的特質，就是其陳述的精確性和確定性——1+1永遠等于2，三角形的內角和始終是180度，質數的定義從未因地域、文化的不同而改變。

這種無可爭議的嚴謹性，讓數學成為人類認知世界最可靠的工具之一。

但當我們深入思考數學的本質時，一個看似簡單卻充滿哲學意味的問題便會浮現：數學究竟是人類智慧的“發明”，還是對宇宙固有規律的“發現”？

這個問題看似抽象，卻橫跨了數學、哲學、認知科學乃至人類學等多個領域，成為困擾學者們數千年的經典爭議。

要理解這場爭論的核心，我們首先要明確兩個關鍵詞的內涵：“發現”意味著數學規律早已存在于客觀世界或超自然領域，等待著人類去探索、去揭示，就像探險家發現新大陸一樣；

而“發明”則意味著數學是人類心智的產物，是人類為了理解世界、改造世界，通過抽象、概括、創造形成的思維工具，無論是個人的思考還是人類群體的積累，都屬于“發明”的范疇。

事實上，這場爭論并非現代才有。

早在古希臘時期，哲學家柏拉圖就提出了“理念世界”的觀點，認為數學對象是獨立于人類認知的客觀存在，人類的數學研究只是對這些既定理念的“發現”——這便是“發現論”的源頭。

而與之相對的“發明論”，則在近代隨著形式主義數學的發展逐漸興起，認為數學是人類定義的一套符號系統和規則體系，其核心是人類思維的創造。

如今，越來越多的學者認為，這個問題本身就是一個“偽命題”：數學既不是純粹的發現，也不是純粹的發明，而是兩者的結合——通常情況下，數學的“概念”是人類發明的，而基于這些概念衍生出的“定理”和“規律”，則是人類的發現。

要真正讀懂這場爭論，我們不妨從兩大對立觀點的碰撞入手，再通過一個具體的數學概念——黃金分割率，來拆解數學“發明與發現”的雙重屬性。

觀點一：數學是發現——宇宙早已寫好的密碼

支持“數學是發現”的學者，大多屬于“柏拉圖主義者”，他們堅信數學規律是宇宙固有的屬性，獨立于人類的認知而存在，人類的角色只是“探險家”，通過不斷探索，揭開這些規律的神秘面紗。

在這一觀點的支持者中，不乏數學界的巨擘，法國數學家阿蘭·孔涅（Alain Connes）便是其中最具代表性的一位。

阿蘭·孔涅是20世紀以來最偉大的數學家之一，他憑借在算子代數和非交換幾何領域的開創性貢獻，斬獲了數學界最負盛名的兩項榮譽——1982年的菲爾茲獎和2001年的克拉福德獎，成為法國數學傳統的杰出代表（要知道，巴黎有89條街道以數學家名字命名，埃菲爾鐵塔上也鐫刻著24位法國數學家的名字，法國數學的深厚底蘊可見一斑）。

孔涅開創了非交換幾何這一全新的數學分支，將分析、代數、幾何、物理等多個領域融合，為量子物理的研究提供了強有力的新方法，甚至試圖將引力場納入基本粒子的標準模型，實現宇宙所有相互作用的統一描述。

1989年，孔涅清晰地表達了自己的“發現論”觀點：“根據我的觀察，質數（僅能被1和自己整除的自然數）組成的世界，遠比我們周圍的物質世界穩定。數學家的工作可以與探險家發現世界相媲美。他們都是從經歷中發現基本事實。”

在孔涅看來，質數的序列、幾何的公理、代數的規律，就像宇宙中的星辰一樣，早已存在，無論人類是否意識到它們的存在，這些規律都始終發揮著作用。

為了佐證這一觀點，孔涅舉了一個簡單卻有說服力的例子：通過簡單的計算，我們會發現質數的序列似乎永無窮盡。而數學家的任務，就是證明“存在無窮多的質數”——這是歐幾里得在兩千多年前就提出的古老結論，其證明過程簡潔而嚴謹：假設存在最大的質數P，那么我們將所有小于等于P的質數相乘，再加上1，得到的數N（N=2×3×5×…×P +1），要么是一個比P更大的質數，要么能被一個比P更大的質數整除，這與“P是最大質數”的假設矛盾，因此無窮多質數的結論不證自明。

這個論證最有趣的地方在于，它揭示了數學規律的“客觀性”：無論我們是否愿意相信，無論我們采用何種方法去驗證，這個結論都始終成立。就像我們無法改變“地球圍繞太陽公轉”的物理事實一樣，我們也無法改變“質數無窮多”的數學事實。

由此可見，數學世界和我們所處的物理世界一樣，具有無可爭議的真實性。

孔涅曾說，他的研究始終以“那里有東西”的直覺為指導，這種對數學客觀存在的信念，正是他不斷探索的動力——對他而言，數學研究的樂趣，就在于發現那些早已存在于宇宙中的“真理”。

除了孔涅，知名而多產的數學科普作家馬丁·加德納（Martin Gardner）也堅定支持“數學是發現”的觀點。

加德納是20世紀后半葉最具影響力的科普作家之一，他一生出版了超過100本書，其中《注釋版愛麗絲》銷量超過100萬冊，成為經典；他在《科學美國人》雜志開設的“數學游戲”專欄，持續了25年，點燃了無數人對數學的興趣，被稱為“美國謎題界的元老”。

對加德納而言，數學的客觀性是毋庸置疑的，他曾風趣地評論：“如果森林中有2只恐龍與另外2只恐龍相遇，不管周圍是否有人類在觀察，那兒都會有4只恐龍。但是，愚蠢的熊卻不會知道。”

這句話生動地揭示了數學規律的獨立性——數與數學關系的存在，與人類的認知無關，人類的作用只是“發現”它們，而不是“創造”它們。就像恐龍的數量不會因為人類的觀察與否而改變，1+1=2的規律也不會因為人類的認知不同而發生變化。

“發現論”的支持者普遍認為，一旦人類理解了某個數學概念——比如自然數1、2、3、4……，就會面臨一些無可爭議的事實：1+2=3，3×4=12，三角形的兩邊之和大于第三邊。

這些事實不是人類創造的，而是人類通過觀察、推理，發現的客觀規律。這種觀點背后，是對宇宙秩序的信仰——他們相信，宇宙的運轉遵循著某種固定的數學規律，而數學就是人類解讀這種秩序的鑰匙。

觀點二：數學是發明——人類心智的智慧結晶

盡管“發現論”有著強大的說服力，但并非所有學者都認同這一觀點。

在為孔涅的一本書撰寫評論時，英國數學家邁克爾·阿蒂亞爵士（Michael Atiyah）就提出了不同的看法。

阿蒂亞同樣是數學界的傳奇人物，他在1966年獲得菲爾茲獎，2004年獲得阿貝爾獎（數學界的“諾貝爾獎”），在代數幾何、拓撲學等領域做出了開創性貢獻，與孔涅一樣，他也深刻影響了現代數學的發展。

阿蒂亞并不否認數學的“客觀性”帶給人的直覺感受，他寫道：“每一位數學家都會支持孔涅。我們都感到整數、圓在某種抽象意義上是真實存在的，并且柏拉圖的觀點十分有吸引力。但是，我們真的能支持它嗎？”在阿蒂亞看來，數學的“真實性”，本質上是人類抽象思維的產物，而非宇宙固有的屬性。

為了論證自己的觀點，阿蒂亞提出了兩個極具想象力的假設。

第一個假設是“一維空間宇宙”：我們所處的宇宙是三維空間，但如果宇宙是一維的，或者甚至是離散的，那么幾何學將無法孕育發展——因為幾何學的核心是對空間關系的描述，而一維空間只有長度，沒有寬度和高度，無法形成三角形、圓形等幾何圖形。

這意味著，我們所熟悉的幾何學，并不是宇宙固有的規律，而是人類基于三維空間的體驗，抽象出來的概念。

第二個假設更具啟發性：如果文明不是出現在人類之中，而是出現在潛藏于太平洋深處、獨居并與世隔絕的水母之中，情況又會如何？水母沒有個體的體驗，無法區分“自我”與“他人”，它們只能感覺到周圍的水——運動、溫度和壓力是它們唯一的感知經驗。在這樣的環境中，離散的概念不會出現，計數也沒有任何意義，因此，水母文明永遠不會發明出自然數、質數等數學概念，更不會發展出復雜的數學體系。

從這兩個假設中，阿蒂亞得出了一個明確的結論：“通過理想化和抽象物理世界中的那些基本要素，人類創造了數學。”

數學的產生，源于人類的生存需求和認知體驗——人類需要計數獵物、丈量土地、計算時間，因此發明了數字和運算規則；人類需要描述物體的形狀、位置關系，因此發明了幾何學；人類需要解決復雜的變化問題，因此發明了微積分。

這些數學概念和規則，都是人類為了適應世界、改造世界，通過心智創造出來的工具。

與阿蒂亞持相同觀點的，還有語言學家喬治·萊考夫（George Lakoff）和心理學家拉斐爾·努涅斯（Rafael Nú?ez）。

二人在合著的《數學從哪里來》一書中，從認知科學的角度出發，總結道：“數學是人類天性的一部分，它源于我們的身體、大腦，以及我們在這個世界中每天的經歷。”

他們認為，數學與人類的感知、體驗密切相關——比如，人類有兩只手、兩只眼睛、兩條腿，這種身體結構讓我們更容易理解“2”這個數字的抽象含義；人類能夠感知到物體的形狀、大小、位置，這種空間感知能力，是幾何學產生的基礎。

萊考夫和努涅斯的觀點，引出了一個有趣的問題：如果數學完全是人類的發明，那么它真的具有普遍性嗎？假如外星文明真的存在，它們是否也會發明出與我們相同的數學？

著名天文學家卡爾·薩根（Carl Sagan）曾認為，答案是肯定的。

在《宇宙》一書中，薩根探討了智能文明將哪種訊息傳播到外空間時提出：“任何自然的物理進程都不可能只傳播僅包含質數的無線電信息。假設接收到這樣的信息，我們就能推斷出那里存在一個至少喜歡質數的文明。”在薩根看來，質數的規律是宇宙中普遍存在的，無論外星文明的形態如何，它們都必然會發現質數的存在，進而發展出類似的數學體系。

但數學物理學家史蒂芬·沃爾夫拉姆（Stephen Wolfram）卻提出了不同的看法。

在《一門新科學》一書中，沃爾夫拉姆認為，我們所熟知的“人類數學”，或許只是數學之樹上的一朵“花朵”——除了人類發明的基于公式的數學法則，還存在其他類型的法則，比如簡單計算機程序中體現的法則。

如果外星文明的認知方式與人類不同，它們可能會發明出完全不同于人類的數學體系，用來描述自然規律。就像人類用文字記錄信息，而外星文明可能用某種我們無法理解的符號或信號，兩者的本質都是“記錄工具”，但形式卻截然不同。

還有一些分子生物學家和認知學家，基于對大腦功能的研究，提出了一個更具爭議的觀點：數學與語言的區別不大。

中國科學院心理研究所的認知研究表明，人類的基本認知過程、語言認知都有其神經基礎，而數學認知作為高級心理過程，同樣源于大腦的活動。

具體來說，無數時代的人類在觀察自己的雙手、雙眼、兩腿后，逐漸抽象出了“2”的定義；同樣，“鳥”這個概念的形成，也是人類通過觀察“有兩只翅膀、能飛的動物”，逐漸概括出來的。

法國神經系統學家讓-皮埃爾·尚熱（Jean-Pierre Changeux）也曾說：“對我而言，公理化方法（歐幾里得幾何學就建立在幾條公理之上）就是與使用大腦相關的腦功能的表現。”

但這個觀點也面臨著一個疑問：如果數學和語言一樣，都是人類的發明，那么為什么孩子學習語言時相對輕松，而相當一部分孩子在學習數學時卻倍感吃力？

這或許是因為，數學雖然源于人類的體驗，但它經過了高度的抽象和概括，脫離了具體的場景——語言描述的是我們身邊的事物，而數學描述的是抽象的關系，這種抽象性，增加了學習的難度。比如，孩子很容易理解“2個蘋果”，但很難理解“數字2”本身的抽象含義；很容易理解“兩個杯子一樣大”，但很難理解“全等圖形”的抽象定義。

無論是“發現論”還是“發明論”，都有其合理之處，但也都無法完全解釋數學的本質。

而歐幾里得在《幾何原本》中定義的“黃金分割率”，恰恰完美詮釋了數學既是發明、又是發現的雙重屬性——它是人類發明的概念，卻又隱藏在宇宙的規律之中，等待著人類去發現。

在歐幾里得那本不朽的名著《幾何原本》第6卷中，有一個特殊的定義：如何將一條線段以特定方式分為兩條不等的線段。更早的一個相關定義出現在第2卷，與面積有關。

歐幾里得提出，若線段AB被點C分為兩段，且以C為端點的兩條線段的長度之比（AC/CB），與整個線段長度除以較長線段長度的值（AB/AC）相等，那么這條線段的分割比例就符合“中末比”。換句話說，當AC/CB = AB/AC時，這個比例就是中末比。直到19世紀，這個比例才有了一個更廣為人知的名字——黃金分割率，它的數值約為1.618，是一個無限不循環小數，可以用簡單的代數表達式表示為(1+√5)/2。

很多人會疑惑：線段的分割方式有無數種，歐幾里得為什么要專門定義這樣一種分割方式，還為它起了一個名字？

要回答這個問題，我們需要回到古希臘的文化背景中——在畢達哥拉斯學派和柏拉圖學派傳承下來的神秘文化中，我們能找到答案。

畢達哥拉斯學派是古希臘最早的數學學派，他們癡迷于數的研究，認為數是宇宙的本源。

在他們的認知中，奇數代表男性、代表善，偶數代表女性、代表惡，這種觀點雖然帶有偏見，卻深刻影響了他們對數學的理解。他們對數5有著特殊的興趣，因為5是2和3的和——3是第一個奇數（男性），2是第一個偶數（女性），而1則被他們視為所有數的源頭，不是一個真正的數。

因此，在畢達哥拉斯學派眼中，5是愛情和婚姻的化身，他們還用五角星作為彼此之間兄弟情誼的象征——而這，正是黃金分割率第一次出現在人類歷史中。

如果你動手畫一個正五角星，再仔細測量其中任意一個三角形的長邊與底邊的比值，就會發現，這個比值恰好等于黃金分割率；同樣，五角星中間的正五邊形，其對角線與邊長的比值，也等于黃金分割率。

更有趣的是，只用直尺和圓規，就能輕松畫出這樣一個正五角星——這種尺規作圖的方法，在古希臘時代就有明確的記錄，而在作圖過程中，必須將一條線段按照黃金分割的比例進行分割。

在畢達哥拉斯之后，柏拉圖又賦予了黃金分割率新的神秘含義。

古希臘人相信，宇宙中的所有物質都是由4種基本元素組成——土、火、空氣和水。

在對話錄《蒂邁歐篇》中，柏拉圖用5種符合對稱規則的多面體來解釋物質的結構，這5種多面體被稱為“柏拉圖多面體”，分別是正四面體、立方體（正六面體）、正八面體、正十二面體和正二十面體。這些多面體有一個共同的特點：每一個面都是相同的正多邊形，且所有頂點都在一個球面上，是僅有的幾種滿足這種對稱條件的凸面立體。

柏拉圖將其中4種多面體與宇宙的4種基本元素對應起來：土對應立方體，火對應正四面體，氣對應正八面體，水對應正二十面體。而對于剩下的正十二面體，柏拉圖在《蒂邁歐篇》中寫道：“對于剩下的第5種復合圖形，上帝用它來代表全部，并給它繡上精美的圖案。”

也就是說，在柏拉圖眼中，正十二面體代表著整個宇宙。

而值得注意的是，正十二面體的每一個面、每一條棱，都蘊含著黃金分割率的影子，它的體積和表面積，都可以用黃金分割率的公式來表達——正二十面體也是如此。

從這段歷史中，我們能清晰地看到數學的“發明”與“發現”：首先，畢達哥拉斯學派通過反復試驗和試錯，發現了正五角星、正五邊形中存在的特殊比例，這是“發現”；隨后，他們將這種比例與自己的文化信仰結合，賦予它愛情、兄弟情誼的象征意義；而歐幾里得則進一步將這種比例抽象、定義為“中末比”（黃金分割率），并對其進行了詳細的分析和證明，這是“發明”——是人類從客觀存在的幾何關系中，抽象出概念、賦予其名字，并將其納入數學體系的過程。

更有趣的是，黃金分割率的“發現”并沒有就此停止。

在歐幾里得時代的兩千年之后，德國天文學家約翰尼斯·開普勒（Johannes Kepler）——那位提出行星運動三大定律的科學家，意外地在斐波那契數列中發現了黃金分割率的蹤跡。斐波那契數列是一個非常簡單的數列：1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, ……從第3個數開始，每一個數都是它前面兩個數的和，比如2=1+1，3=1+2，5=2+3，8=3+5，以此類推。

開普勒發現，如果用斐波那契數列中的一個數除以它前面的那個數，得到的結果會在黃金分割率（1.618…）附近波動，而且隨著數列的不斷延伸，這個比值會越來越接近黃金分割率。比如，144÷89≈1.617978，233÷144≈1.618056，377÷233≈1.618026，610÷377≈1.618037……

如果我們繼續計算下去，這個比值會無限趨近于黃金分割率的精確值。這種奇妙的關聯，是開普勒的“發現”，而斐波那契數列本身，是意大利數學家斐波那契為了解決兔子繁殖問題而“發明”的概念——這又一次印證了數學的雙重屬性。

如今，科學家們還在自然界中發現了更多黃金分割率的蹤跡。

在植物的葉片排列（術語稱為“葉序”）中，很多植物的葉片數量、排列角度都符合斐波那契數列和黃金分割率——比如向日葵的花盤，種子會按照順時針和逆時針兩個方向排列，這兩個方向的種子數量，往往是斐波那契數列中的兩個相鄰數；松果的鱗片排列、菠蘿的表皮紋理，也都遵循著同樣的規律。

此外，在部分鋁合金的晶體結構中，黃金分割率也神秘地出現，這說明黃金分割率不僅存在于幾何圖形中，還隱藏在物質的微觀結構里。

這里有一個值得注意的細節：古代中國和古印度的數學家，雖然發展出了先進的數學理論，但他們并沒有明確“發明”黃金分割率的概念。

目前發現的中國古代數學文獻中，基本上沒有對黃金分割率的具體描述；古印度的數學家在研究三角學定理時，雖然隱約提到了類似的比例，但也沒有將其抽象為一個獨立的數學概念，更沒有賦予它名字。這進一步說明，黃金分割率的“概念”是人類的發明——它需要人類的抽象思維，將客觀存在的比例提煉出來，賦予其定義和名字；而黃金分割率的“規律”，則是人類的發現——它早已存在于幾何圖形、數列和自然界中，等待著人類去探索。

通過對“發現論”“發明論”的分析，以及對黃金分割率的深入解讀，我們可以得出一個清晰的結論：“數學是發明還是發現”這個問題，本身就是一個偽命題。

數學既不是純粹的發明，也不是純粹的發現，而是兩者的共生體——人類發明了數學的概念、符號和規則，卻發現了這些概念、符號和規則背后的客觀規律；人類通過發明的工具，去發現宇宙中早已存在的密碼，而發現的過程，又會推動人類發明新的數學概念和工具。

具體來說，數學的“發明”體現在概念和規則的創造上。

就像歐幾里得幾何學中的公理，是人類發明的——就像國際象棋的規則是人類發明的一樣，公理是數學體系的基礎，是人類為了構建數學框架而設定的基本假設；而三角形、平行四邊形、橢圓、黃金分割率、質數等概念，也都是人類發明的——是人類從客觀世界中抽象出來，賦予其定義和名字的思維產物。

在古巴比倫、古埃及和古代中國，數學家們在沒有“質數”概念的情況下，依然發展出了復雜的數學理論，比如古巴比倫的楔形文字數學泥板、古埃及的金字塔建筑中的數學應用，這說明，沒有這些發明的概念，數學依然可以發展，只是發展的路徑和形式會有所不同。

而數學的“發現”，則體現在定理和規律的揭示上。

一旦人類發明了某個數學概念和規則，就會發現一些無可爭議的規律——比如，發明了三角形的概念后，就會發現“三角形內角和為180度”的定理；發明了質數的概念后，就會發現“質數無窮多”的規律；發明了黃金分割率的概念后，就會發現它在幾何圖形、數列和自然界中的廣泛存在。

這些定理和規律，不是人類創造的，而是人類通過觀察、推理、證明，發現的客觀事實——它們早已存在于宇宙中，無論人類是否發明相關的概念，這些規律都始終發揮著作用。