跳轉到

科技發展的歷史年表(科學史)#

思想家金觀濤在剖析近代科學起源時提出一個核心論斷:科學革命的本質,是「理論—實驗—技術」三者形成一個相互促進、自我完成的循環結構。

  • 理論提出有待驗證的假設(為什麼會這樣?);
  • 實驗以受控手段檢驗假設(到底是不是這樣?);
  • 技術把得到驗證的知識物化為工具(能拿來做什麼?),而新工具又反過來造出更精的儀器、開出新的實驗、逼出新的理論。

更進一步,這個結構的精髓是:三者之中,任兩者之間都存在相互促進的通道——甚至同一類內部也會自我促進。以 \(x, y, z\) 代表理論、實驗、技術,則促進關係是完整的有向圖: \(a \Rightarrow b\) ,其中 \(a, b \in \{x, y, z\}\) ,共九條通道:

  • 理論⇒實驗:理論預言該測什麼(麥克斯韋預言電磁波→赫茲去測);
  • 理論⇒技術:理論直接物化為發明(量子力學→電晶體);
  • 理論⇒理論:一個理論成為另一個理論的數學工具(黎曼幾何→廣義相對論);
  • 實驗⇒理論:異常數據逼出新理論(黑體輻射→量子假說);
  • 實驗⇒技術:實驗發現變成產業(赫茲實驗→無線電);
  • 實驗⇒實驗:一個實驗的儀器與方法被另一個實驗繼承(真空泵實驗→一切低壓實驗);
  • 技術⇒實驗:新工具讓原本不可能的實驗得以進行(電子顯微鏡→看到分子);
  • 技術⇒理論:技術需求倒逼理論更新(蒸汽機極限→熱力學);
  • 技術⇒技術:製造機器的機器,技術自我複製(車床→機床工業)。

還有第四個要素貫穿這張圖的每一條通道:數學。數學是理論的語言、實驗數據的分析工具、技術設計的計算引擎——它與三環之間同樣構成雙向促進:

  • 數學⇒理論:公理化方法、幾何與微積分成為理論的骨架(歐幾里得→牛頓;黎曼幾何→廣義相對論);
  • 數學⇒實驗:最小平方法、誤差理論讓數據變成證據(高斯→穀神星軌道→一切數據分析);
  • 數學⇒技術:傅立葉分析、圖論、資訊論成為技術設計的引擎(FFT→JPEG/MRI;圖論→網路與晶片佈線);
  • 理論⇒數學:物理問題逼出新的數學(熱傳導逼出傅立葉級數;量子力學逼出泛函分析);
  • 實驗⇒數學:實際問題與異常數據催生新數學(賭局問題催生機率論;哥尼斯堡七橋催生圖論);
  • 技術⇒數學:計算技術反哺數學本身(納皮爾對數;電腦催生數值分析與可計算性理論)。

本書的每一篇 wiki 都會明確標註它體現了哪條通道。

古代文明有技術(青銅、火藥、水車)、有理論(亞里士多德)、也有觀測,但三者各自孤立、不成循環,所以技術只能緩慢累積,理論千年不變。近代科學之所以在十六、十七世紀的歐洲起飛,正是因為印刷術、望遠鏡、顯微鏡、真空泵、機械鐘把三個環節第一次扣成了一個不斷加速的正反饋迴路。

本年表即以此「循環結構」為主軸:每一幕都是這個迴路的一次升級,每一個事件都標註它主要屬於哪個環節(理論🔬→實驗→技術⚙),以及它如何推動整個迴路。

本書以「推理探案」的方式,為每個歷史事件寫一篇 wiki,包含前因後果、數學式、理論與程式。每篇檔名以年份開頭。

另有子書 負面案例:實驗造假與錯誤理論如何讓科學瞎忙,以及迴路如何自我糾錯(N 射線、皮爾當人、Schon 造假、黃禹錫、冷融合)。

目錄(Wiki 書篇目)#

第一幕:循環未成——技術孤行的古代(前3000–1450)#

古代世界只有單向鏈:手藝→器物。理論(自然哲學)不屑於解釋器物,實驗(受控檢驗)尚未發明,技術因此只能靠工匠經驗緩慢試錯。

年份 事件 環節 Wiki
前3000 青銅冶煉與輪子的成熟:技術累積的極限 技術⚙ -3000-青銅與輪子.md
前300 歐幾里得《幾何原本》:公理化方法成為日後一切理論的骨架 數學⇒理論 -0300-歐幾里得原本.md
前250 阿基米德與槓桿滑輪:理論唯一一次俯身解釋機械 理論 -0250-阿基米德與機械.md
1044 火藥在北宋定型:煉丹的副產品,無理論支撐的爆發力 技術⚙ 1044-火藥.md
1090 蘇頌水運儀象台:天文觀測與機械工藝的高峰,卻後繼無人 實驗+技術 1090-水運儀象台.md
1202 斐波那契《計算之書》:商業需求把阿拉伯數字帶進歐洲 技術⇒數學 1202-斐波那契算盤書.md
1280 歐洲機械鐘問世:為日後一切精確計時埋下種子 技術⚙ 1280-機械鐘.md
1450 古騰堡活字印刷:知識複製成本暴跌,循環結構的點火器 技術⚙ 1450-古騰堡印刷術.md

第二幕:迴路點火——循環結構的形成(1492–1638)#

印刷術把知識變成可積累、可比對、可批判的公共財;遠洋航海暴露出舊理論的破產;望遠鏡與顯微鏡把人類感官延伸出新世界。「觀察→質疑→驗證」第一次成為風氣。

年份 事件 環節 Wiki
1492 哥倫布西航與航海革命:技術需求倒逼理論更新 技術→理論 1492-哥倫布與航海革命.md
1543 哥白尼《天體運行論》:理論先行,等實驗來審 理論 1543-哥白尼日心說.md
1576 第谷的烏拉尼堡天文台:第一座「科研機構」,實驗數據的量產 實驗 1576-第谷天文台.md
1600 吉爾伯特《論磁》:第一個用實驗系統研究自然的新樣板 實驗→理論 1600-吉爾伯特磁學.md
1609 伽利略的望遠鏡:技術造出新實驗,新實驗造出新天文學 技術⚙ 1609-伽利略望遠鏡.md
1609 開普勒行星三大定律:數據逼出橢圓,數學成為自然語言 理論 1609-開普勒行星定律.md
1614 納皮爾發明對數:計算技術把天文學家從算術地獄解放 技術⚙ 1614-納皮爾對數.md
1620 培根《新工具》:為「實驗」立法,循環結構的方法論宣言 理論 1620-培根新工具.md
1637 笛卡兒解析幾何:代數與幾何合流,理論工具升級 理論 1637-笛卡兒解析幾何.md
1638 伽利略《兩門新科學》:受控實驗+數學表達=近代物理學誕生 實驗+理論 1638-兩門新科學.md

第三幕:第一個完整循環——真空、顯微與力學(1643–1698)#

從托里拆利到牛頓,「提出假設→設計儀器→實驗檢驗→修正理論→技術應用」的完整迴路首次閉合運轉。皇家學會(1660)把這個迴路制度化了。

年份 事件 環節 Wiki
1643 托里拆利大氣壓實驗:一根玻璃管檢驗「自然厭惡真空」 實驗 1643-托里拆利大氣壓.md
1656 惠更斯擺鐘:理論(單擺定律)直接物化為技術 理論→技術⚙ 1656-惠更斯擺鐘.md
1662 波以耳定律與真空泵:為了檢驗假設而造儀器的典範 實驗 1662-波以耳定律.md
1665 虎克《顯微圖譜》:顯微鏡開出微觀新大陸 技術⚙ 1665-虎克顯微圖譜.md
1676 列文虎克發現微生物:工匠之手超越學院之眼 實驗 1676-列文虎克微生物.md
1687 牛頓《原理》:數學化理論的完成式,太陽系成為可計算機器 理論 1687-牛頓原理.md
1698 紐科門蒸汽機:科學知識(真空)第一次驅動大工業 理論→技術⚙ 1698-紐科門蒸汽機.md

第四幕:技術反哺——熱與電的雙線(1736–1800)#

蒸汽機賺了錢,錢養了實驗室;實驗室搞清算學與化學,化學又回頭改良蒸汽機。同時電學從萊頓瓶玩具走向伏打電堆,為下一幕的電磁大循環備好工具。數學也在這一幕成為獨立的促進者:歐拉的圖論與高斯的最小平方法,讓「數據」與「網路」成為科學對象。

年份 事件 環節 Wiki
1736 歐拉解哥尼斯堡七橋問題:實際問題催生圖論 實驗⇒數學 1736-歐拉七橋問題.md
1745 萊頓瓶:儲電的技術,讓電學實驗得以量產 技術⚙ 1745-萊頓瓶.md
1752 富蘭克林風箏實驗:業餘愛好者以受控實驗統一電閃與電火花 實驗 1752-富蘭克林風箏.md
1761 布萊克潛熱與比熱:理論反過來改良蒸汽機設計 理論→技術⚙ 1761-布萊克潛熱.md
1764 哈格里夫斯珍妮紡紗機:技術單點突破引爆紡織工業 技術⚙ 1764-珍妮紡紗機.md
1769 瓦特分離冷凝器:熱學理論+工匠工藝的合體 技術⚙ 1769-瓦特冷凝器.md
1783 蒙特戈菲熱氣球:人類第一次離地,輕於空氣的理論之争 技術⚙ 1783-熱氣球.md
1789 拉瓦錫定量革命:天平把化學變成實驗科學,氧說摧毀燃素說 實驗+理論 1789-拉瓦錫定量革命.md
1797 莫茲利螺紋車床與互換性:製造機器的機器,工業的自我複製 技術⚙ 1797-莫茲利車床.md
1801 高斯最小平方法:穀神星觀測數據催生誤差理論,數據從此成為證據 實驗⇒數學 1801-高斯最小平方法.md
1800 伏打電堆:第一個穩定電源,電學實驗從瞬間變成連續 技術⚙ 1800-伏打電堆.md

第五幕:雙迴路大加速——熱力學與電磁學(1807–1888)#

蒸汽與電各自形成「技術需求→理論突破→技術升級」的完整迴路:卡諾為蒸汽機找出理論上限,克勞修斯把熱力學定律化;法拉第的實驗逼出麥克斯韋方程,麥克斯韋預言的電磁波又被赫茲的實驗捕獲——迴路轉速暴增。

年份 事件 環節 Wiki
1807 富爾頓汽船:蒸汽機上船,交通與物流革命 技術⚙ 1807-富爾頓汽船.md
1822 傅立葉《熱的解析理論》:熱傳導問題逼出傅立葉級數,百年後成為訊號處理引擎 理論⇒數學⇒技術 1822-傅立葉熱傳導.md
1824 卡諾《論火的動力》:從技術極限反推出熱機理論 技術→理論 1824-卡諾熱機理論.md
1825 史蒂芬遜鐵路:蒸汽+鋼軌,空間被壓縮 技術⚙ 1825-史蒂芬遜鐵路.md
1831 法拉第電磁感應:實驗大師十年追問,磁終於生電 實驗 1831-法拉第電磁感應.md
1844 莫斯電報:電的第一個大規模應用,資訊傳播脫離交通 技術⚙ 1844-莫斯電報.md
1846 焦耳熱功當量:業餘實驗家測出能量守恆 實驗 1846-焦耳熱功當量.md
1850 克勞修斯熱力學第二定律:熵進入物理學 理論 1850-克勞修斯第二定律.md
1854 黎曼幾何:一個理論成為六十年後另一個理論的數學骨架 理論⇒理論 1854-黎曼幾何.md
1856 貝塞麥轉爐:化學知識+工程膽識,鋼價暴跌 技術⚙ 1856-貝塞麥轉爐.md
1865 麥克斯韋方程組:實驗定律的數學大一統,光即電磁波 理論 1865-麥克斯韋方程組.md
1876 奧托四衝程內燃機:熱力學落地為輕型動力 技術⚙ 1876-奧托四衝程.md
1879 愛迪生白熾燈:系統化發明工廠的誕生 技術⚙ 1879-愛迪生白熾燈.md
1882 珍珠街電廠:電力成為可販賣的公共基礎設施 技術⚙ 1882-珍珠街電廠.md
1887 邁克生-莫雷實驗:精密儀器(技術)造出的「零結果」逼出相對論(理論) 實驗⇒理論 1887-邁克生莫雷實驗.md
1888 赫茲捕獲電磁波:麥克斯韋的預言被實驗蓋章,迴路閉合 實驗 1888-赫茲電磁波.md

第六幕:科學的工業化(1885–1914)#

汽車、無線電、X光、電子——理論與實驗開始直接孵化產業;工業實驗室(愛迪生、拜耳)成為常設機構,發明本身被工廠化。

年份 事件 環節 Wiki
1885 賓士汽車:內燃機+自行車工藝=汽車 技術⚙ 1885-賓士汽車.md
1887 邁克生-莫雷實驗:精密儀器(技術)造出的「零結果」逼出相對論(理論) 實驗⇒理論 1887-邁克生莫雷實驗.md
1895 倫琴發現X光:理論儀器(真空管)開出的意外新窗 實驗 1895-倫琴X光.md
1895 馬可尼無線電:赫茲的實驗變成跨越海洋的生意 實驗⇒技術⚙ 1895-馬可尼無線電.md
1897 湯姆生發現電子:真空管+電磁理論,原子被拆開 實驗+理論 1897-湯姆生電子.md
1900 普朗克量子假說:黑體輻射的異常數據逼出「能量子」 實驗⇒理論 1900-普朗克量子假說.md
1900 希爾伯特 23 問題:數學為自己立法,通往哥德爾與計算機科學 數學⇒數學 1900-希爾伯特23問題.md
1903 萊特兄弟飛機:風洞實驗+自行車工匠,重於空氣的飛行 實驗+技術⚙ 1903-萊特兄弟飛機.md
1905 狹義相對論:以純理論消解邁克生-莫雷的零結果 理論⇒理論 1905-狹義相對論.md
1905 光電效應與光量子:實驗定律+理論解讀,1916 年被密立根蓋章 理論⇒實驗 1905-光電效應.md
1909 拉塞福α散射與原子核:實驗異常逼出原子新模型 實驗⇒理論 1909-拉塞福原子核.md
1912 威爾遜雲室:把看不見的粒子變成看得見的徑跡 技術⇒實驗 1912-威爾遜雲室.md
1913 玻爾原子模型:量子假說+光譜實驗數據的合流 理論 1913-玻爾原子模型.md
1913 福特流水線:互換性+標準化,工業迴路的最終形態 技術⚙ 1913-福特流水線.md

第七幕:量子、相對論與原子能(1915–1945)#

理論(相對論、量子力學)遠遠跑在實驗前面,但新儀器(粒子加速器、雷達、核反應堆)迅速追上;最終理論直接釋放出核能——科學第一次擁有毀滅與再造世界的力量。

年份 事件 環節 Wiki
1915 廣義相對論:純理論推演(踩在黎曼幾何肩上),等實驗來裁決 理論⇒理論 1915-廣義相對論.md
1919 愛丁頓日食觀測:一次遠征實驗為相對論蓋章 實驗 1919-愛丁頓日食.md
1926 薛丁格方程與量子力學:微觀世界的完整數學理論 理論 1926-薛丁格方程.md
1931 電子顯微鏡:德布羅意物質波(理論)物化為看見分子的眼睛(技術) 理論⇒技術 1931-電子顯微鏡.md
1932 考克饒夫-瓦爾頓加速器:高壓技術讓量子穿隧預言被實驗檢驗 技術⇒實驗 1932-粒子加速器.md
1932 查德威克發現中子:異常實驗數據的十年追查,原子核被補全 實驗⇒理論 1932-中子的發現.md
1936 圖靈機:純數學證明「通用計算」存在,電腦的理論藍圖 數學⇒技術 1936-圖靈機.md
1938 哈恩與邁特納發現核裂變:化學實驗的異常結果+物理理論的解讀 實驗+理論 1938-核裂變.md
1940 雷達:戰爭需求+電磁理論,催生微波技術與電子學爆發 技術⚙ 1940-雷達.md
1942 費米CP-1核反應堆:理論(鏈式反應)的第一次受控實現 實驗 1942-費米核反應堆.md
1945 曼哈頓計畫與原子彈:國家級「理論-實驗-技術」總動員 全迴路 1945-原子彈.md
1946 ENIAC:戰爭計算需求孵出電子計算機 技術⚙ 1946-ENIAC.md

第八幕:資訊與控制迴路(1947–1976)#

電晶體把迴路的載體從能量換成資訊:夏農的資訊論、維納的控制論提供理論,電晶體與積體電路提供技術,電腦反過來成為一切理論與實驗的新工具——迴路再度升級並指數加速。

年份 事件 環節 Wiki
1947 電晶體:量子力學理論直接孵化出取代真空管的元件 理論→技術⚙ 1947-電晶體.md
1948 夏農資訊論與維納控制論:資訊成為可度量的科學對象 理論 1948-夏農資訊論.md
1953 DNA雙螺旋:X光繞射實驗數據+模型建構的偵探戰 實驗+理論 1953-DNA雙螺旋.md
1957 史潑尼克衛星:火箭技術+軌道力學,太空時代點火 技術⚙ 1957-史潑尼克.md
1958 積體電路:把整個電路縮進一塊矽片 技術⚙ 1958-積體電路.md
1960 雷射:受激輻射理論的完全物化 理論→技術⚙ 1960-雷射.md
1965 摩爾定律:對技術曲線的經驗歸納,反過來成為產業的預言與指令 技術⇒理論 1965-摩爾定律.md
1965 宇宙微波背景:大爆炸理論的預言被兩位工程師的喇叭天線偶然捕獲 理論⇒實驗 1965-宇宙微波背景.md
1969 阿波羅登月:國家總動員的工程極限 技術⚙ 1969-阿波羅登月.md
1969 ARPANET:電腦開始互聯,網絡化迴路的起點 技術⚙ 1969-ARPANET.md
1970 低損耗光纖:材料實驗+通訊理論,資訊高速公路鋪設 實驗+技術⚙ 1970-光纖.md
1971 Intel 4004微處理器:整台電腦縮進一枚晶片 技術⚙ 1971-微處理器.md

第九幕:網絡化與智能時代(1981–2020)#

個人電腦、網際網路、基因工程、智慧型手機、深度學習——迴路完成最後一躍:每個人手中都握有一個「理論-實驗-技術」終端,科學循環從精英機構擴散為全球網絡。

年份 事件 環節 Wiki
1981 IBM PC與個人電腦革命:計算力走進每個家庭 技術⚙ 1981-IBM PC.md
1989 全球資訊網(WWW):知識複製成本再暴跌,古騰堡的迴響 技術⚙ 1989-全球資訊網.md
1995 GPS全面運作:相對論修正+衛星網絡,空間定位成為公共服務 理論→技術⚙ 1995-GPS.md
1996 桃莉羊:基因工程與複製技術,生命成為可編寫的對象 實驗+技術⚙ 1996-桃莉羊.md
2007 iPhone與智慧型手機:把整個資訊迴路裝進口袋 技術⚙ 2007-智慧型手機.md
2012 AlexNet與深度學習革命:算力(技術)+大數據(實驗)+演算法(理論)的匯流 全迴路 2012-深度學習革命.md
2015 LIGO偵測重力波:相對論的百年預言,被史上最精密的技術儀器實現 理論⇒技術⇒實驗 2015-LIGO重力波.md
2020 mRNA疫苗:數十年基礎理論的極速物化,全球循環的壓力測試 全迴路 2020-mRNA疫苗.md

九通道矩陣:任兩環的相互促進案例總表#

金觀濤循環結構的完整表述是一張有向圖: \(a \Rightarrow b\) , \(a, b \in \{\) 理論, 實驗, 技術 \(\}\) ——任兩者互相促進,甚至同類內部也自我促進。下表把全書案例按九條通道歸類:

理論 ⇒ 實驗(理論預言該測什麼)#

出發理論 被促進的實驗 Wiki
麥克斯韋預言電磁波(1865) 赫茲火花實驗捕獲電磁波(1888) 1888-赫茲電磁波.md
愛因斯坦光量子假說(1905) 密立根油滴/光電實驗蓋章(1916) 1905-光電效應.md
熱大爆炸預言殘餘輻射(1948) 彭齊亞斯-威爾遜喇叭天線發現 CMB(1965) 1965-宇宙微波背景.md
廣義相對論預言重力波(1916) LIGO 干涉儀偵測(2015) 2015-LIGO重力波.md
伽莫夫量子穿隧算出核位障(1928) 考克饒夫-瓦爾頓加速器分裂鋰(1932) 1932-粒子加速器.md
牛頓力學預言地球是扁球 莫佩爾蒂遠征拉普蘭測量(1736) 1687-牛頓原理.md

理論 ⇒ 技術(理論直接物化為發明)#

出發理論 被促進的技術 Wiki
單擺等時性(伽利略/惠更斯) 惠更斯擺鐘(1656) 1656-惠更斯擺鐘.md
電磁感應定律(法拉第 1831) 發電機、變壓器、電力系統(1882) 1882-珍珠街電廠.md
熱力學循環理論(卡諾 1824) 奧托四衝程內燃機(1876) 1876-奧托四衝程.md
量子力學能帶理論(1931 威爾遜) 電晶體(1947)、雷射(1960) 1947-電晶體.md、1960-雷射.md
德布羅意物質波(1924) 電子顯微鏡(1931) 1931-電子顯微鏡.md
受激輻射(愛因斯坦 1917) 邁射與雷射(1954/1960) 1960-雷射.md
廣義相對論時間膨脹(1915) GPS 衛星鐘修正(1995) 1995-GPS.md
資訊論通道容量(夏農 1948) 光纖通訊、糾錯編碼(1970) 1970-光纖.md
布萊克潛熱理論(1761) 瓦特分離冷凝器(1769) 1769-瓦特冷凝器.md

理論 ⇒ 理論(一個理論成為另一個理論的工具)#

出發理論 被促進的理論 Wiki
歐幾里得幾何+阿基米德槓桿論 牛頓《原理》的公理化方法(1687) 1687-牛頓原理.md
開普勒定律+伽利略力學 牛頓萬有引力統一(1687) 1609-開普勒行星定律.md
解析幾何(笛卡兒 1637) 微積分與整個數學物理(1687) 1637-笛卡兒解析幾何.md
黎曼幾何(1854) 廣義相對論的數學骨架(1915) 1854-黎曼幾何.md
邁克生-莫雷的以太危機(1887) 狹義相對論重構時空(1905) 1905-狹義相對論.md
普朗克量子假說(1900) 愛因斯坦光量子(1905)、玻爾原子(1913)、薛丁格方程(1926) 1900-普朗克量子假說.md
拉塞福核模型(1909/1911) 玻爾原子模型(1913) 1913-玻爾原子模型.md
電磁學+熱力學(19世紀) 洛倫茲電子論→相對論(1905) 1897-湯姆生電子.md
夏農資訊論(1948) 控制論、編碼理論、統計學習 1948-夏農資訊論.md

實驗 ⇒ 理論(異常數據逼出新理論)#

出發實驗 被逼出的理論 Wiki
黑體輻射光譜的「紫外災難」 普朗克量子假說 \(E=h\nu\) (1900) 1900-普朗克量子假說.md
光電效應的閾值頻率(勒納 1902) 愛因斯坦光量子(1905) 1905-光電效應.md
邁克生-莫雷零結果(1887) 狹義相對論(1905) 1887-邁克生莫雷實驗.md
α粒子大角散射(蓋格-馬斯登 1909) 拉塞福原子核模型(1911) 1909-拉塞福原子核.md
原子光譜的巴耳末公式(1885) 玻爾原子模型(1913) 1913-玻爾原子模型.md
中子謎之輻射(約里奧 1931) 查德威克發現中子(1932) 1932-中子的發現.md
鈾被中子轟出「鋇」的異常(1938) 核裂變解讀(邁特納-弗里施) 1938-核裂變.md
水星近日點每世紀 43 角分殘差 廣義相對論精確解釋(1915) 1915-廣義相對論.md
焦耳槳輪測出熱功當量(1840s) 能量守恆定律/熱力學第一定律 1846-焦耳熱功當量.md
布莱克定量測潛熱(1761) 熱質說的修正與瓦特改良 1761-布萊克潛熱.md

實驗 ⇒ 技術(實驗發現變成產業)#

出發實驗 被孵化的技術 Wiki
赫茲電磁波實驗(1888) 馬可尼無線電(1895) 1895-馬可尼無線電.md
倫琴X光意外發現(1895) 醫學影像工業 1895-倫琴X光.md
費米CP-1鏈式反應(1942) 核能發電與核工業 1942-費米核反應堆.md
雷達微波技術(1940) 電子學、微波爐、電波天文學 1940-雷達.md
高純鍺/矽拉晶實驗(1940s) 電晶體與半導體工業 1947-電晶體.md
低損耗石英光纖實驗(1970) 光纖通訊網絡 1970-光纖.md

實驗 ⇒ 實驗(儀器與方法的繼承)#

出發實驗 被促進的實驗 Wiki
托里拆利/蓋里克真空實驗(1643/1654) 波以耳低壓實驗(1662)、一切真空管實驗 1643-托里拆利大氣壓.md
虎克/列文虎克顯微術(1665/1676) 細胞學說、微生物學的一切實驗 1676-列文虎克微生物.md
邁克生干涉儀(1887) 邁克生-莫雷、邁克生-皮斯、LIGO(2015) 2015-LIGO重力波.md
威爾遜雲室(1912) 宇宙線、正電子、中子的一切徑跡實驗 1912-威爾遜雲室.md
勞厄-布拉格X光繞射(1912-13) DNA雙螺旋繞射照片(1953) 1953-DNA雙螺旋.md
第谷的系統觀測方法(1576) 一切「數據量產」式科學觀測 1576-第谷天文台.md

技術 ⇒ 實驗(新工具讓不可能的實驗成為可能)#

出發技術 被促進的實驗 Wiki
古騰堡印刷術(1450) 知識可比對→一切重複驗證實驗的傳播 1450-古騰堡印刷術.md
望遠鏡(1608 荷蘭工匠) 伽利略木星衛星觀測(1609) 1609-伽利略望遠鏡.md
顯微鏡 虎克軟木切片、列文虎克微生物(1665/1676) 1665-虎克顯微圖譜.md
伏打電堆(1800) 尼科爾森電解水、戴維分離鉀鈉、奧斯特電流磁效應 1800-伏打電堆.md
萊頓瓶(1745) 富蘭克林風箏實驗(1752) 1752-富蘭克林風箏.md
高真空泵與高壓技術(1932) 考克饒夫-瓦爾頓加速器實驗 1932-粒子加速器.md
威爾遜雲室(技術,1912) 拉塞福人工核蛻變觀測(1919) 1912-威爾遜雲室.md
電子顯微鏡(1931) 病毒、蛋白質分子的直接成像 1931-電子顯微鏡.md
雷射(1960) LIGO、光學鑷子、月球測距 2015-LIGO重力波.md
電腦與 GPU(1971/1990s) 深度學習的大規模訓練實驗(2012) 2012-深度學習革命.md

技術 ⇒ 理論(技術需求倒逼理論更新)#

出發技術 被逼出的理論 Wiki
蒸汽機的效率極限 卡諾熱機理論→熱力學(1824/1850) 1824-卡諾熱機理論.md
遠洋航海的定位需求 經度測定、天體力學 1492-哥倫布與航海革命.md
電報長距離傳輸問題 開爾文電纜理論、訊號理論 1844-莫斯電報.md
黑體輻射測量的工業需求(燈絲標準化) 普朗克量子假說(1900) 1900-普朗克量子假說.md
晶片密度成長的產業問題 摩爾定律(1965) 1965-摩爾定律.md
GPS 衛星鐘漂移的工程問題 相對論的日常驗證(1995) 1995-GPS.md
深度學習的工程成功 對「為何深層網路有效」的理論追問(2012→) 2012-深度學習革命.md

技術 ⇒ 技術(製造機器的機器)#

出發技術 被促進的技術 Wiki
莫茲利螺紋車床(1797) 互換性機床工業、一切精密製造 1797-莫茲利車床.md
珍妮紡紗機(1764) 水力紡紗機、動力織機、紡織工業鏈 1764-珍妮紡紗機.md
紐科門蒸汽機(1698) 瓦特蒸汽機(1769)→火車、汽船、工廠動力 1769-瓦特冷凝器.md
電晶體(1947) 積體電路(1958)→微處理器(1971)→PC/手機 1958-積體電路.md
古騰堡印刷機(1450) 蒸汽印刷、輪轉機、全球資訊網(1989) 1989-全球資訊網.md
機械鐘(1280) 惠更斯擺鐘(1656)→航海經線儀→一切計時 1280-機械鐘.md

數學⇄三環:第四要素的相互促進案例總表#

數學不是第五個孤立的學科,而是貫穿理論、實驗、技術的一條雙向通道。以下把全書中「數學與三環」的案例按方向歸類:

數學 ⇒ 理論(數學成為理論的骨架)#

數學工具 被撐起的理論 Wiki
歐幾里得公理化幾何(前300) 牛頓《原理》的公理—演繹結構、斯賓諾莎《倫理學》 -0300-歐幾里得原本.md
解析幾何(笛卡兒 1637) 微積分、整個數學物理的坐標化表達 1637-笛卡兒解析幾何.md
對數與計算數學(納皮爾 1614) 開普勒—牛頓的天文學(大量軌道計算成為可行) 1614-納皮爾對數.md
黎曼幾何與度量張量(1854) 廣義相對論(1915) 1854-黎曼幾何.md
微分方程(牛頓—歐拉) 熱傳導、波動、電磁學的全部數學物理 1822-傅立葉熱傳導.md
非歐幾何的公理自由(希爾伯特 1900 前後) 時空觀念的解放,通往相對論 1900-希爾伯特23問題.md

數學 ⇒ 實驗(數學讓數據變成證據)#

數學工具 被促進的實驗 Wiki
最小平方法與誤差理論(高斯 1801) 穀神星軌道預測、此後一切定量實驗的數據分析 1801-高斯最小平方法.md
機率論(巴斯卡—費馬 1654) 麥克生-莫雷的誤差評估、統計檢驗的一切實驗設計 1654-巴斯卡費馬機率論.md
傅立葉分析(1822) X 光繞射解譜、光譜學、MRI 的訊號還原 1822-傅立葉熱傳導.md、1953-DNA雙螺旋.md
圖論(歐拉 1736) 網路拓撲分析、社會網絡實驗 1736-歐拉七橋問題.md

數學 ⇒ 技術(數學成為技術的設計引擎)#

數學工具 被孵化的技術 Wiki
阿拉伯數字與複式簿記(斐波那契 1202) 商業革命、複利與保險業 1202-斐波那契算盤書.md
傅立葉變換/FFT JPEG、MP3、通訊調變、MRI 機器 1822-傅立葉熱傳導.md
圖論與網路流 積體電路佈線、網際網路路由、GPS 導航 1736-歐拉七橋問題.md、1969-ARPANET.md
可計算性理論(圖靈 1936) 電腦、編譯器、一切軟體 1936-圖靈機.md
資訊論熵與通道容量(夏農 1948) 糾錯碼、壓縮、光纖通訊 1948-夏農資訊論.md
統計決策與梯度下降 深度學習 2012-深度學習革命.md

理論 ⇒ 數學(物理問題逼出新數學)#

物理理論/問題 被逼出的數學 Wiki
熱傳導方程(傅立葉 1822) 傅立葉級數與分析 1822-傅立葉熱傳導.md
牛頓力學的瞬時速度問題 微積分(1687 前後) 1687-牛頓原理.md
電磁學的場論表達 向量分析、微分形式 1865-麥克斯韋方程組.md
廣義相對論的彎曲時空 張量分析、微分幾何的物理化 1915-廣義相對論.md
量子力學的算符代數 希爾伯特空間、泛函分析 1926-薛丁格方程.md

實驗 ⇒ 數學(實際問題與異常數據催生數學)#

實際問題/實驗 被催生的數學 Wiki
賭徒分賭金問題(1654) 機率論、期望值 1654-巴斯卡費馬機率論.md
哥尼斯堡七橋(1736) 圖論、拓撲學 1736-歐拉七橋問題.md
穀神星觀測誤差(1801) 最小平方法、常態分佈 1801-高斯最小平方法.md
黑體輻射數據(1900) 量子統計的數學結構 1900-普朗克量子假說.md

技術 ⇒ 數學(計算技術反哺數學)#

技術 被反哺的數學 Wiki
航海與商業計算需求 阿拉伯數字、對數(斐波那契 1202、納皮爾 1614) 1202-斐波那契算盤書.md、1614-納皮爾對數.md
電腦的出現(1946) 數值分析、蒙特卡羅方法、可計算性理論 1946-ENIAC.md、1936-圖靈機.md
希爾伯特問題推動的公理化浪潮 後續被圖靈以機器定義「計算」反轉 1900-希爾伯特23問題.md
GPU 平行運算 數值線性代數、平行演算法 2012-深度學習革命.md

尾聲:循環結構的哲學#

回顧九幕,可以看到「理論—實驗—技術」迴路演化的幾條規律:

  1. 古代的困境不是沒有知識,而是沒有迴路——中國有火藥與水運儀象台,希臘有阿基米德,但技術與理論互不往來,進步只能線性累積。
  2. 迴路的每次升級都由新工具點火——印刷術、望遠鏡、真空泵、電堆、電晶體、電腦:工具改變了實驗的邊界,實驗改變了理論的邊界。
  3. 促進是任兩環之間的完整通道,同類內部也自我促進——理論⇒理論(黎曼幾何餵養廣義相對論)、實驗⇒實驗(托里拆利真空實驗繼承給一切低壓實驗)、技術⇒技術(車床製造車床):九條通道全部打通之日,就是循環無法停下之時。
  4. 理論可以領先,但不能離線太久——哥白尼等了六十年,麥克斯韋等了二十三年,廣義相對論只等了四年;等待時間的縮短本身就是迴路加速的證據。
  5. 迴路的組織形式不斷升級——個人(伽利略、列文虎克)→ 學會(皇家學會)→ 工業實驗室(愛迪生、拜耳)→ 國家計畫(曼哈頓、阿波羅)→ 全球開源網絡(WWW、深度學習)。
  6. 迴路在擴散中加速——從少數精英到億萬終端使用者,每一次「知識複製成本」的暴跌(印刷術、WWW)都讓循環的參與者數量級躍升。

金觀濤的洞見在此得到歷史驗證:近代科學不是一堆發現的清單,而是一個自我完成的組織結構。理解了這個結構,就理解了為什麼科學革命發生在那裡、那時,以及為什麼它再也停不下來。