跳轉到

後記:當「沒有用」的數學變成世界的地基#

一條反覆出現的曲線#

寫完這本書,最揮之不去的是一個時間差的模式:

  • 圓錐曲線被阿波羅尼奧斯研究了兩百年「無用」,一千八百年後成為行星軌道;
  • 虛數被嫌棄三百年,最後成為量子力學與電力工程的語言;
  • 有限域躺在高斯與伽羅瓦的紙上近兩百年,如今每次掃碼支付都在運轉;
  • 矩陣在律師桌上閒置六十七年,等來了海森堡。

這不是巧合,而是數學與科技關係的基本形狀:數學的抽象化跑得比應用遠,應用遲早追上來。原因其實很樸素——應用的需求會變(從丈量土地變成衛星通信),但「結構」不會變。越抽象的數學,能容納的應用越多。

結構才是主角#

如果一定要為四千年的代數史找一句總結,我會說:代數的主角從「數」換成了「關係」。

巴比倫人算的是穀堆;花拉子米算的是遺產份額;韋達開始用字母代替「任意」的量;伽羅瓦研究的是根的置換;哈密頓犧牲交換律換來新系統;諾特把一切縮減為公理與映射。每一步都在放棄一點具體性,換取一點普遍性。而普遍性的報酬率驚人:一條關於任意域的定理,同時管著實數、複數與晶片裡的 \(\mathbb{F}_{2^8}\)。

制度的影子#

本書反覆出現的另一條線,是社會制度對數學的塑造:書記學校(巴比倫)、智慧宮(阿拔斯)、算盤學校與決鬥賽(文藝復興城邦)、科學院(十七、十八世紀)、研究型大學(十九世紀)、戰時實驗室與國防項目(二十世紀)。誰付錢、誰有身分、知識如何複製與傳播——這些「數學之外」的因素,決定了哪些數學被做出來、哪些被埋沒(丟番圖、格拉斯曼、諾特的遭遇都是證據)。

數學是超越時代的,數學家不是。承認這一點,不是貶低數學,而是更誠實地看待人類如何創造知識。

給讀者#

如果你讀完只記得一件事,希望是這個:下一次你解鎖手機、掃描 QR 碼、傳送加密訊息時,那裡面運轉的每一條公式,都曾是一個具體的人——在泥板旁、在智慧宮裡、在決鬥前夜、在被大學拒之門外的研討班上——與「未知」進行的一場談判。

他們贏了。而我們至今仍在收利息。