遞迴：我們活在模擬裡嗎

我們活在模擬裡嗎？博斯特羅姆 2003 年提出的模擬論證，是一個認真的哲學論證；2012 年，有物理學家提出過檢驗宇宙是否在格點上被計算的辦法。但是，我們確實活在模擬裡，沒有任何證據。遊戲裡的結局「遞迴」把這個想法再推進一層：模擬裡的文明也會做模擬。

這一頁先說怎麼解鎖，再講“電子遊戲”和“遞迴”這兩個節點背後的真實科學，然後講計算與資訊的理論基礎，這些是任何“模擬”的前提。

怎麼解鎖

• 提示：模擬裡的文明，也會做遊戲。
• 條件：先見證結局“所有的星球”。之後點亮“電子遊戲”和“遞迴”，見證宇宙終局。
• 獎勵：介面多出一層“套娃”邊框。

結局屬於“資訊”類。

模擬論證的兩個時間點

• 2003 年：博斯特羅姆的模擬論證是認真的哲學論證，不是科幻想像。
• 2012 年：有物理學家提出過檢驗宇宙是否在格點上被計算的辦法，也就是說，這個問題並不只是哲學，也有人提出了檢驗的辦法。

兩個節點的真實背景

• 電子遊戲：1962 年麻省理工學院的學生寫出了《太空大戰！》，兩艘飛船在恆星的引力裡互相射擊。
• 遞迴：模擬裡的文明也能做模擬。博斯特羅姆指出，模擬可以一層套一層，算力每一層都會打折。遊戲裡“遞迴”節點的問題則是：你玩過一個叫“宇宙紀元”的遊戲嗎？

模擬需要什麼：計算與資訊

要談模擬，就繞不開計算和資訊的理論，它們的奠基性研究都在這裡。

• 可計算性：圖靈設想了一種抽象機器，定義了“計算”是什麼，現代計算機的理論基礎由此奠定（Turing，《Proceedings of the London Mathematical Society》1936）。
• 資訊理論：夏農把“資訊”變成可以測量的量，位元從此誕生（Shannon，《Bell System Technical Journal》1948）。
• 電晶體：一塊半導體就能放大訊號，它取代了真空管，讓計算機從房間大小縮小到口袋裡（Bardeen 與 Brattain，《Physical Review》1948）。
• 全球資訊網：一份內部提案，上司批註“模糊，但令人興奮”，它後來變成了全球資訊網（Berners-Lee，CERN，1989）。

這幾項都是相關的真實研究，說明人類怎樣一步步造出了能“模擬”事物的機器；它們並不是宇宙是模擬的證據。

模擬能有多完整

劉慈欣的《鏡子》（2004 年）講一臺超弦計算機把宇宙從大爆炸開始完整地模擬了一遍，於是鏡子裡能看到過去和未來的一切，沒有任何秘密還能藏住。它的科學背景是：完整模擬宇宙需要的資訊量超過宇宙本身能容納的，受貝肯斯坦上限約束。

丹尼爾·加盧耶的《三重模擬》（1964 年）講一位工程師為市場調研造出一座虛擬城市，裡面的居民以為自己是真人，接著，他開始懷疑自己的世界。它的科學背景是：博斯特羅姆 2003 年把這個問題變成了正式的哲學論證。

宇宙的終局

推算了宇宙在萬億年乃至更久之後的命運：恆星熄滅、質子或許衰變、黑洞最終蒸發（Adams 與 Laughlin，《Reviews of Modern Physics》1997）。解鎖結局需要見證宇宙終局，所以它是相關的背景。

遊戲設定，不是真的

我們確實活在模擬裡，沒有任何證據。獎勵是介面多出一層“套娃”邊框，對應的就是“模擬套模擬”的遞迴。

想讀原文，可以搜這些題目

• Turing（1936）：《On computable numbers, with an application to the Entscheidungsproblem》，大意是“論可計算數及其在判定問題上的應用”
• Shannon（1948）：《A mathematical theory of communication》，大意是“通訊的數學理論”
• Bardeen 與 Brattain（1948）：《The transistor, a semi-conductor triode》，大意是“電晶體，一種半導體三極體”
• Berners-Lee（1989）：《Information management: A proposal》，大意是“資訊管理：一份提案”
• Adams 與 Laughlin（1997）：《A dying universe: the long-term fate and evolution of astrophysical objects》，大意是“垂死的宇宙：天體物理物件的長期命運與演化”