1900 年：Hilbert 23 問題 — 公理化一切數學的夢想#

偵探：David Hilbert。案發地：巴黎第二屆國際數學家大會（ICM）。卷宗：23 個問題的演講。

案發現場#

19 世紀末，非歐幾何動搖了「公理自明」信仰，集合悖論陰影漸濃，分析的 \(ε\) - \(δ\) 大廈雖立，卻無人證明地基無裂縫。

1879-Frege概念文字.md 給了語言，1847-Boole布林代數.md 給了計算，但沒人回答：數學整體是否一致、完備、可判定？

Hilbert 在巴黎拋出 23 個問題，像連環案卷宗。其中第二問題直指心臟：證明算術公理的一致性；第十問題則問：丟番圖方程是否有通用判定法？

這是形式主義綱領的開場白：把每門數學寫成形式系統，用有窮方法證明其一致完備，數學將永無危機。

設形式系統 \(PA\) 為皮亞諾算術，Hilbert 要求以「有窮」（finitary）方法證明：

\[ Con(PA) = ¬Prov_{PA}(\lceil ⊥ \rceil) \]

即「 \(PA\) 證不出矛盾」。其中 \(\lceil ⊥ \rceil\) 是矛盾式的配數（此記法後由 Gödel 發揚，見 1931-Godel不完備定理.md）。

Hilbert 的策略是證明論：把證明本身當組合物件，研究其變換與化簡。若一切證明都可化為無「繞路」的正規形，則矛盾（空結論的證明）不可能出現。

問：是否存在演算法，輸入任意丟番圖方程 \(D(x_1, …, x_n) = 0\) ，輸出它是否有整數解？

Hilbert 期待答案為「是」。這背後是更宏大的 Entscheidungsproblem（判定問題）：一階邏輯有效式是否有機械判定法？

\[ ∃算法 A ∀φ (A(φ) = 1 ↔ ⊨ φ) \]

這個夢要等圖靈與 Church 來粉碎，但提問本身催生了可計算性理論。

問題	內容	下場
第一	連續統假設	Gödel＋Cohen 證明獨立
第二	算術一致性	Gödel 第二定理證明有窮證明不可能（見 1931-Godel不完備定理.md）
第八	黎曼猜想	至今未破
第十	丟番圖可判定性	Matiyasevich 1970 年證無解
第十八	密鋪與 Kepler 猜想	Hales 1998/2014 年解決

綱領三支柱：形式化（符號系統寫盡數學）、一致性（有窮證明無矛盾）、完備性（一切真理皆可證）。

1910-PrincipiaMathematica.md 是邏輯主義版的回應，而 Hilbert 要的是更徹底的元數學（metamathematics）。

巴黎演講結案時是「立案」，不是「破案」。Hilbert 留下的是懸賞，不是答案：

直接催生 1910-PrincipiaMathematica.md（Russell 的回應）、1929-Herbrand定理.md（有窮化的勝利）、1931-Godel不完備定理.md（綱領的葬禮）、1934-Gentzen自然演繹.md（部分救贖：用超限歸納證明一致性）。
第十問題的否定答案開創遞迴論與複雜度理論。
「我們必須知道，我們必將知道」（Wir müssen wissen, wir werden wissen）成為數學樂觀主義墓誌銘。

關鍵公式：

\[ Con(T) → ¬Prov_T(\lceil 0 = 1 \rceil) \]

\[ \text{第十問題：} D(x_1, …, x_n) = 0 \text{ 有整數解？} \]

Hilbert 式公理證明骨架示例（由 \(A\) 證 \(A\) ，配合 1879-Frege概念文字.md 的 A1、MP）：

\(A → ((B → A) → A)\) （A1 實例）
\(A → (B → A)\) （A1）
由上兩式經 MP 得 \((B → A) →\) 待續——完整推導留作習題，體會希爾伯特式證明的冗長，也就懂 Gentzen 為何要在 1934-Gentzen自然演繹.md 發明自然演繹。

延伸閱讀：夢想如何碎？1931-Godel不完備定理.md；碎片如何收？1934-Gentzen自然演繹.md；機械化分支？1929-Herbrand定理.md。