跳轉到

1936 圖靈機科技樹:計算之樹#

前因:根之前的世界#

計算自古就是人的手藝:算盤、對數表、手搖計算器——每一步都要人來撥。希爾伯特 1930 年問「數學能否機械化判定」(../1900-希爾伯特23問題.md),卻沒有機器也沒有「機器」的定義。同一時期,布爾代數、繼電器電路各自待用,理論與技術各不相識,迴路未閉。

案發現場:根的閉合#

1936 年,圖靈為回答希爾伯特問題,定義了圖靈機(../1936-圖靈機.md):一條紙帶、一個讀寫頭、一組規則——並證明存在「通用圖靈機」,能模擬任何其他機器。計算第一次成為數學對象,這是純理論的閉合。此後三線合流:1946 年 ENIAC 造出電子計算的實驗樣機(../1946-ENIAC.md);1948 年夏農資訊論給出資訊的度量(../1948-夏農資訊論.md);1947 電晶體、1958 積體電路、1971 微處理器把硬體做小做便宜(../1947-電晶體.md、../1971-微處理器.md)。理論、實驗、技術三環同時扣緊,計算之樹種下。

理論核心#

  • 通用圖靈機:萬能模擬器——機器可以用「紙帶上的規則」(程式)來定義,硬體只需造一次。今日所有電腦都是它的物化。
  • 夏農熵: \(H=-\sum_i p_i\log_2 p_i\) ——資訊量的度量,位元成為世界的通用單位(../1948-夏農資訊論.md)。
  • 摩爾定律: \(N(t)=N_0\,2^{t/2\,\text{yr}}\) ——電晶體數每約兩年翻倍(../1965-摩爾定律.md)。計算樹的每一代枝條,都是這條指數曲線的一次採收。

科技樹總覽#

代 枝條 事件與年份 Wiki 連結
根 圖靈機+ENIAC/夏農/電晶體三線合流 1936/1946/1948/1947 ../1936-圖靈機.md、../1946-ENIAC.md
G1 電腦硬體世代:真空管→電晶體→IC→微處理器 1946→1971 ../1947-電晶體.md、../1958-積體電路.md
G2 軟體層:程式語言、作業系統、編譯器——圖靈機的物化 1950s 起 —
G3 個人電腦——計算力民主化 1981 IBM PC ../1981-IBM PC.md
G4 網際網路——電腦互聯 1969 ARPANET→1989 WWW ../1969-ARPANET.md、../1989-全球資訊網.md
G5 資料庫與搜尋引擎——資訊檢索的工業化 1970s–1990s —
G6 智慧型手機——計算力進口袋 2007 ../2007-智慧型手機.md
G7 人工智慧:算力+大數據+演算法匯流 2012 AlexNet→2020s LLM ../2012-深度學習革命.md
G8 量子計算——量子圖靈機 1985 Deutsch→2020s 1900-量子假說科技樹.md

這根枝條用了哪條通道:

  • G1|技術⇒技術:硬體四代接力,每一代都拿上一代的成果當基座。
  • G2|理論⇒技術:圖靈機的「紙帶程式」物化為軟體——程式語言是寫給通用機器的紙帶。
  • G3|技術⇒社會:微處理器把計算力從機構送到個人,迴路第一次繞過了官僚。
  • G4|技術⇒技術:ARPANET 把電腦接成網,WWW 把網接成人人可用的頁面。
  • G5|理論⇒技術:資訊檢索理論與索引演算法,把 \(H\) 的度量物化為搜尋引擎的生意。
  • G6|技術⇒技術:IC 縮小、電池、觸控三項成熟匯合,計算力裝進口袋。
  • G7|技術⇒實驗⇒理論:算力造出大規模實驗(網路資料),實驗反哺演算法與理論——枝條第一次回頭餵根部。
  • G8|理論⇒技術:量子圖靈機把計算之樹嫁接回量子之樹,兩棵根系接通。

尾聲:樹的哲學#

計算之樹是三棵樹中最「自指」的一棵:它長出的每一代,都更擅長設計下一代——軟體造晶片,晶片跑軟體,電腦設計電腦,迴路在樹冠上自我加速。用迴路論(../README.md)的語言說,這棵樹演示了通道的匯流:1936 年只有理論一環,1946 年補上實驗,1947–1971 年補上技術,三環扣緊後,摩爾定律讓枝條以指數速度分叉。圖靈證明通用機器存在的那天,世界上還沒有一台真正的通用機器;九十年後,口袋裡已有數十億台——先有樹的數學證明,後有整座森林。