無窮並非禁區#

數學家幾世紀前就證明：能與**無窮（infinity）**進行一致且有用的工作。無窮集合、無窮大的量、無窮小的量都言之成理。

• 它們的許多性質違反直覺
• 但有限事物的許多事實也是違反直覺的
• 道金斯（Richard Dawkins）所稱的「個人不可置信論證（argument from personal incredulity）」其實不是論證——它只反映了「偏好地方性的誤解，而非普遍真理」的傾向

物理學中無窮也由來已久：

• 歐幾里得空間（Euclidean space）是無窮的
• 線是由無窮多點構成的連續體
• 任兩時刻之間有無窮多瞬間
• 牛頓（Isaac Newton）與萊布尼茲（Gottfried Wilhelm Leibniz）發明**微積分（calculus）**才把連續變化用「無窮多個無窮小變化」做嚴格分析

「無限之始」與無窮的關係#

戴維·多伊奇（David Deutsch）指出：

「無限之始」——未來知識可無界成長——依賴於若干其他種類的無窮：

• 自然律的普適性使有限的局部符號能適用於全時間、全空間及所有可能現象
• 作為「普遍解釋者」的物理對象（人）存在；他們同時必然是通用建構器並含有通用古典電腦

許多普適性都隱含某種無窮——也可詮釋為「無界（unlimited）」而非「實現的（realized）」無窮。在這個脈絡中，戴維·多伊奇將兩者視為等價。

反無窮的哲學：有限主義#

有限主義（finitism）：只承認有限抽象實體存在的數學哲學立場。

• 自然數有無窮個 → 有限主義者說這只是「說話的方便」
• 真相只是「有一條從每個自然數產生下一個的有限規則」
• 是否有最大的自然數？
  • 若有 → 與「總可產生更大者」矛盾
  • 若無 → 就不是有限多個

有限主義者只好否定排中律（law of the excluded middle）——某種「不有限也不無限」。

戴維·多伊奇指出：有限主義是「數學中的工具主義」——一種對解釋的拒絕。它假設數學家對有限實體有「特權通道」，但其實所有觀察與抽象思考都負載理論。

康托爾與「數學家的解放」#

康托爾原則（Cantor）：抽象實體可以用任何方式由其他實體定義出來，只要該定義無歧義且自洽。

這在二十世紀被約翰·康威（John Conway）戲稱並擴展為「數學家的解放運動」。

康托爾（Georg Cantor）的研究遭受劇烈反對——當時許多數學家、科學家、哲學家、神學家攻擊他「侵犯神的特權」。直到二十世紀中葉，維特根斯坦（Ludwig Wittgenstein）仍貶斥它為「無意義」。

無窮的精確定義#

無窮集合的定義性質：它的某個真子集與整體具有同樣多的元素。

• 自然數 1, 2, 3, … 與 2, 3, 4, … 可一一對應 → 兩者元素一樣多

希爾伯特（David Hilbert）的「無窮旅館（Infinity Hotel）」思想實驗：

• 房間編號為自然數 1, 2, 3, ……
• 沒有「最後一間」，也沒有「無窮號」房間——每間房的號碼都離無窮無限遠
• 每位房客的房號都「異常地接近開頭」

客滿但永不滿#

• 滿房時來一位新客：所有客人移到「現號 + 1」的房，騰出 1 號房
• 來無窮多位新客：所有客人移到「現號 × 2」的房，所有奇數號房空出，足以容納無窮多位

• 來無窮列火車各載無窮多客：用更巧妙的編號分配也能容納
• 在無窮旅館裡永遠不必預訂

為何房租一元卻可奢華服務#

• 1 元房租 × 1 號房 + 2 號 + … 1000 號 = 1000 元 → 全部花在 1 號房
• 1001~2000 號的租金 → 全部花在 2 號房
• 每間房獲得數百元的服務，旅館仍有盈利

無窮的層級：對角論證#

康托爾證明：並非所有無窮都相等。

連續體無窮（一條線上點的數目）比自然數的無窮大得多。

對角論證（diagonal argument）：

• 假設能把 0–1 之間每個實數對應到旅館的一個房間
• 列出該對應表，取對角線上每位數字
• 構造一個新數，其每位都異於對角線對應位
• 此新數不可能在表中——矛盾
• 故實數的無窮大於自然數的無窮

可數無窮與不可數無窮#

• 可數無窮（countable infinity）：能與自然數一一對應
• 不可數無窮（uncountable infinity）：更大
• 自然數所有重排方式的集合也是不可數的
• 旅館管理員只能用有限長度的廣播指令，這些可數的指令只能描述極小部分的所有可能重排

無窮的怪異現象#

垃圾消失：奇異點（Singularity）#

旅館的垃圾處理：每位客人把垃圾袋傳給高一號房，第一分鐘傳一次、後續用半分、四分之一分……兩分鐘後所有垃圾不在任何房間裡——它們不存在了。

物理上把這種「消失到不存在」的狀態稱為奇異點（singularity）。它可能真的存在於黑洞內部等情境中。

無窮回退（Infinite Regress）#

若旅館員工試圖把工作再外包給高號房的員工，將形成永無止境的回推——「無窮回退」。

如同那個老笑話：地球放在大象上，大象站在烏龜上——「之後一路都是烏龜」。

這是壞解釋的典型形式——它未解釋的部分與最初要解釋的相同。

「生物圈的設計者由另一個設計者設計、再由另一個設計、無限後退」便是另一個例子。

小狗失蹤的悖論#

某天有隻小狗誤入垃圾袋，被連續傳走兩分鐘——它不在任何房間裡。試圖反向回傳也無效：每一個個別動作都可逆，但整體不可逆。

• 若小狗能無中生有地「從無窮」回到 1 號房——物理上稱為「裸奇異點（naked singularity）」
• 這類理論在物理學中常因「無法做預測」被批評——霍金（Stephen Hawking）名言：「電視機都可以從裸奇異點裡跑出來」

比例與機率不再有意義#

對無窮集合而言，「典型」、「平均」、「常見」、「罕見」這些直覺概念通常失去意義。

• 自然數中奇數與偶數各佔一半——直覺如此
• 但若改變排列順序，也可使「每三個有一個奇數」、「每一百萬個有一個奇數」看起來成立

• 比例本身不再有客觀意義

對人擇推理的打擊#

「無窮多個有不同物理常數的宇宙」這類人擇論證：

• 即便假設「有天文物理學家的宇宙佔某比例」，重新編號宇宙便可改變這個比例
• 故純人擇推理無法做預測——這是第 4 章結論的物理基礎

多重宇宙與「度量（Measure）」#

戴維·多伊奇用 Lyra 的「跨宇宙裝置」設計一個思想實驗：

• 設備設定為「依固定順序」依次造訪每個宇宙
• 一分鐘訪一個 → 半分鐘 → 四分之一分鐘……兩分鐘內走遍所有宇宙
• 儀器顯示「跑動平均（running average）」

這時，「半數宇宙有天文物理學家」這句話才有客觀物理意義——因為宇宙集不再僅是集合，而是具有內部交互的單一物理實體（「多重宇宙（multiverse）」），由物理律給予一個唯一的「度量（measure）」。

既有的人擇論證提案都沒有提供這種度量。物理學中唯一已經因獨立理由描述多重宇宙的理論是量子論（第 11 章）。

數學的「無窮」要靠物理律決定#

什麼是「有限」的，什麼是「無窮」的，最終取決於物理律。

芝諾（Zeno of Elea）的混淆#

阿基里斯追龜悖論：每追到上一刻烏龜所在處，烏龜又往前走一點——「永遠追不上」。

芝諾的錯誤是：把「有那個名稱的數學概念」誤當成相關物理情境下的真正有限/無窮判準。

• 阿基里斯能否追上完全取決於物理律
• 物理律允許「無窮多步」的事件在有限時間內發生 → 阿基里斯就追得上
• 這在物理上其實並未發生真正的無窮

康德的失誤#

康德（Immanuel Kant）認為歐幾里得幾何是「先驗必然」適用於現實——這後來被高斯（Carl Friedrich Gauss）的測量、特別是愛因斯坦的廣義相對論推翻：地球附近大三角的內角和可達 180.0000002°，黑洞附近差異更巨。

證明、計算、可決定性的物理性#

希爾伯特 1900 年要求對「證明」給出嚴格定義（有限規則、有限公理、有限步驟）。圖靈（Alan Turing）把這轉化為**計算（computation）**理論：

• 函數的集合是不可數無窮
• 程式的集合是可數無窮
• 因此「幾乎所有函數都是不可計算的」
• 哥德爾（Kurt Gödel）以不同方法證明：幾乎所有數學真理都沒有證明——它們是「不可決定的（undecidable）」

戴維·多伊奇指出：這些限制是物理的，不是數學的。

在不同的物理律下（例如無窮旅館式的物理律）：

• 不同函數會是可計算的
• 不同真理會是可決定的
• 不同操作會被視為「基本/初等」

「證明論不可能是數學的一支；它是科學的一支——具體說，是計算機科學的一支。」

質數對猜想（prime-pairs conjecture，是否有無窮多對相差 2 的質數）若在我們的物理下不可決定，在無窮旅館的物理律下卻可在五分鐘內被解決。

簡單與複雜也由物理律決定#

• 「蘇格拉底是人 ∧ 柏拉圖是人 → 兩人都是人」——簡單，因為 and 在我們的物理下是初等操作
• **量子計算（quantum computation）**把古典直覺的「簡單/複雜」徹底打亂：「位元」對量子物理而言頗複雜，「量子位元（qubit）」則對古典直覺難以陳述

「大模擬器」與其他壞解釋#

有人提議：實在其實只是某台「大模擬器（Great Simulator）」上跑的程式。戴維·多伊奇反駁：

• 這是無窮回退——必須假設一個外在世界讓那台模擬器跑
• 計算普適性本是「我們物理世界內」的事，把它倒過來說「物理是由計算所生成」就放棄了科學解釋

同樣的問題出現在「所有可能程式都在執行，實在只是其中一段虛擬」這類提案中。

為何「問題是可解的」與「可決定性極少」不矛盾？#

問題是「觀念之間的衝突」。多數抽象上存在的問題從未引起任何人的好奇——它們其實不有趣。

而且：

• 數學不是為了找證明，而是為了理解抽象實體
• 證明只是排除錯誤解釋的方法之一
• 即使是「未證明甚至不可證明」的猜想，也可有效推動知識成長（如 P ≠ NP）

戴維·多伊奇的猜想：

在數學、科學、哲學中，若問題有趣，便可解。

三個推論：

• 本質上不可解的問題本質上是無趣的
• 「有趣 vs 無趣」最終是客觀事實，不只是主觀品味
• 「為何每個有趣的問題都是可解的」這個有趣問題本身也是可解的

我們不能「預言」#

知識創造最重要的限制是：我們無法預言未來知識的內容或其效應。

這不僅與知識無界成長相容，更是其必要條件。下一章將解釋。

名詞與要點#

本章核心詞彙

• 一一對應（One-to-one correspondence）：把一個集合的每一元素與另一集合的每一元素配對
• 無窮（數學上）：能與其某個真子集建立一一對應的集合
• 無窮（物理上）：「超出原則上能被任何經驗所包含」的概念（較含糊）
• 可數無窮（Countably infinite）：能與自然數建立一一對應的無窮
• 度量（Measure）：理論賦予「無窮集合的比例與平均」具體意義的方法
• 奇異點（Singularity）：物理上某量變得無界，但處處有限的情境
• 多重宇宙（Multiverse）：含有多個宇宙的單一物理實體
• 無窮回退（Infinite regress）：論證所依賴的子論證與原論證形式相同、卻號稱要處理相同問題的謬誤
• 計算（Computation）：實例化某抽象實體屬性的物理過程
• 證明（Proof）：在已知電腦運作理論下，建立某抽象命題真假的計算

本章中「無限之始」的意義#

• 古代對無窮（及普適）之厭惡的終結
• 微積分、康托爾理論與其他無窮與無窮小的數學理論
• 無窮旅館走廊的景象
• 無窮序列中每個元素都異常接近開頭
• 理性的普適性
• 某些觀念的無限延伸力
• 多重宇宙的內部結構賦予「無窮多宇宙」意義
• 未來知識內容的不可預測性是其無界成長的必要條件

小結#

• 透過某些解釋的無限延伸力，我們能理解無窮
• 它在數學與物理中都言之成理，但有違反直覺的性質
• 若進步真的會無界發生，我們現在恰好處於它的開頭，並且永遠都是
• 對角論證證明有無窮多層次的無窮
• 多重宇宙必須有結構（度量）才能讓「比例、典型、罕見」具有意義；純人擇推理本身不足以解釋物理常數的微調
• 證明是物理過程——可證、不可決定、簡單、複雜，都取決於物理律