科技發展的歷史年表(科學史)#
思想家金觀濤在剖析近代科學起源時提出一個核心論斷:科學革命的本質,是「理論—實驗—技術」三者形成一個相互促進、自我完成的循環結構。
- 理論提出有待驗證的假設(為什麼會這樣?);
- 實驗以受控手段檢驗假設(到底是不是這樣?);
- 技術把得到驗證的知識物化為工具(能拿來做什麼?),而新工具又反過來造出更精的儀器、開出新的實驗、逼出新的理論。
更進一步,這個結構的精髓是:三者之中,任兩者之間都存在相互促進的通道——甚至同一類內部也會自我促進。以 \(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 |
尾聲:循環結構的哲學#
回顧九幕,可以看到「理論—實驗—技術」迴路演化的幾條規律:
- 古代的困境不是沒有知識,而是沒有迴路——中國有火藥與水運儀象台,希臘有阿基米德,但技術與理論互不往來,進步只能線性累積。
- 迴路的每次升級都由新工具點火——印刷術、望遠鏡、真空泵、電堆、電晶體、電腦:工具改變了實驗的邊界,實驗改變了理論的邊界。
- 促進是任兩環之間的完整通道,同類內部也自我促進——理論⇒理論(黎曼幾何餵養廣義相對論)、實驗⇒實驗(托里拆利真空實驗繼承給一切低壓實驗)、技術⇒技術(車床製造車床):九條通道全部打通之日,就是循環無法停下之時。
- 理論可以領先,但不能離線太久——哥白尼等了六十年,麥克斯韋等了二十三年,廣義相對論只等了四年;等待時間的縮短本身就是迴路加速的證據。
- 迴路的組織形式不斷升級——個人(伽利略、列文虎克)→ 學會(皇家學會)→ 工業實驗室(愛迪生、拜耳)→ 國家計畫(曼哈頓、阿波羅)→ 全球開源網絡(WWW、深度學習)。
- 迴路在擴散中加速——從少數精英到億萬終端使用者,每一次「知識複製成本」的暴跌(印刷術、WWW)都讓循環的參與者數量級躍升。
金觀濤的洞見在此得到歷史驗證:近代科學不是一堆發現的清單,而是一個自我完成的組織結構。理解了這個結構,就理解了為什麼科學革命發生在那裡、那時,以及為什麼它再也停不下來。