1900 希爾伯特 23 問題#

環節標註：數學⇒數學⇒理論⇒技術——數學為自己立法，卻意外發現了數學的極限，並孕育了電腦。

案發現場#

1900 年 8 月 8 日，巴黎，第二屆國際數學家大會。38 歲的德國數學家大衛·希爾伯特（David Hilbert, 1862–1943）站上講台，做了一場日後被稱為「數學史上最重要演講」的報告。

他提出的不是一個定理，而是一份立法草案：23 個未解決的數學問題，為新世紀的數學規劃議程。從 continuum 假設、算術公理的相容性，到物理學的公理化——希爾伯特的野心不只是解題，而是宣示一種信念：

Wir müssen wissen. Wir werden wissen.（我們必須知道，我們必將知道。）

這句話後來刻在他的墓碑上。它背後是一整套綱領：數學的一切真理都應該建立在有限條公理之上，而這套公理體系應該是完備的（每個命題都能被證明或否證）、相容的（不會自相矛盾）、並且是可判定的（存在一套機械程序，能對任何命題判定真偽）。數學要成為一座封閉自洽、且一切問題都有答案的宮殿。

23 個問題確實奏效：它們成為二十世紀數學的藏寶圖，催生了測度論、拓撲學、代數幾何的爆發。但其中兩個問題——第二問題與第十問題——最終的答案，卻與希爾伯特的期望完全相反。

偵查過程#

第一線：第二問題——算術公理的相容性。 希爾伯特要求證明「算術公理不會推出矛盾」。1931 年，25 歲的哥德爾（Kurt Gödel）交出的答案震驚世界：不完備定理。任何足夠強（能包含算術）且相容的公理體系，必然存在既不能被證明、也不能被否證的命題——完備性是不可能的。更狠的第二定理：這樣的體系甚至無法證明自身的相容性。希爾伯特要求數學證明自己不會矛盾，哥德爾證明了：數學做不到替自己背書。宮殿封不上了。

第二線：第十問題——丟番圖方程的可解性。 希爾伯特要求找到一套「可以經過有限次運算決定」任意整係數多項式方程是否有整數解的通用程序——注意，這正是「可判定性」的機械版本。要回答這個問題，必須先說清楚：什麼是「機械程序」？

這個看似技術性的問題，逼出了二十世紀最深刻的數學發明。1936 年，圖靈（Alan Turing）用一台想像中的紙帶機器把「機械計算」變成了嚴格的數學對象（見 1936-圖靈機.md），並證明：不存在這樣的通用判定程序——可判定性是不可能的。第十問題最終在 1970 年被馬蒂雅謝維奇（Matiyasevich）藉此徹底解決：答案是「不存在」。

第三線：意外的收穫。 為了證明「有些問題機器算不出來」，圖靈先證明了「通用機器存在」——一台圖靈機可以模擬任何其他圖靈機。這個為否定性證明服務的引理，正是電腦的理論藍圖：一套固定的硬體，載入不同程式就能做任何計算。希爾伯特為數學立法的努力，反而替電腦接了生。

結案報告#

這樁案件的判決書寫著一個悖論式的結局：

數學的極限被發現——哥德爾不完備定理（1931）證明完備性不可能，圖靈證明可判定性不可能。希爾伯特綱領的原始目標失敗了，但失敗的方式極有生產力：極限本身成為深刻的真理。
「機械程序」被數學化——為回答第十問題而生的可計算性理論，讓「演算法」成為嚴格的數學對象，這是整個電腦科學的奠基。
電腦的誕生——通用圖靈機的理論（1936）直接孵化了 ENIAC（1946，見 1946-ENIAC.md）、馮紐曼架構、乃至一切軟體：程式即資料，機器即模擬器。
方法論的教訓——數學⇒數學的自我促進（公理化浪潮催生證明論、遞迴論）也能跨界：純數學的極限定理，成為最強技術的藍圖。立法者的失敗，成全了工程師的勝利。

促進鏈分析#

數學⇒數學：希爾伯特 23 問題為數學立法，催生證明論、遞迴論與公理化浪潮；哥德爾不完備定理（1931）正是對第二問題的回答——一個數學問題成為另一套數學理論的起點。
數學⇒理論：第十問題逼出「可計算性」這個理論對象，圖靈機成為「什麼是計算」的嚴格理論，為電腦科學立法（理論⇒理論：可計算性理論→計算複雜性理論）。
理論⇒技術：通用圖靈機證明「通用計算」存在，直接成為電腦的理論藍圖——馮紐曼架構、1946-ENIAC.md、1947-電晶體.md 的硬體、1971-微處理器.md 的晶片，都是這份藍圖的物化。
技術⇒數學：電腦的出現反哺數學——數值分析、蒙特卡羅方法、以及用機器輔助的證明（如四色定理的電腦證明，1976），計算技術成為數學的新工具（見 1946-ENIAC.md）。

證據與工具#

# 呼應第十問題：丟番圖方程的搜尋——「機械程序」在電腦上的具體模樣

# --- 第一部分：簡單丟番圖方程 x^2 + y^2 = n（有整數解嗎？）---
def search_pythagorean_pairs(n, limit=1000):
    # 這就是希爾伯特說的「經過有限次運算的程序」：
    # 窮舉搜尋，找到就停機回報，找不到就確認無解
    for x in range(limit):
        for y in range(x, limit):
            if x * x + y * y == n:
                return (x, y)
    return None

print("--- x^2 + y^2 = n 的整數解搜尋 ---")
for n in [25, 26, 65, 50, 1945, 2026]:
    result = search_pythagorean_pairs(n)
    if result:
        x, y = result
        print(f"n = {n}: 有解  {x}^2 + {y}^2 = {n}")
    else:
        print(f"n = {n}: 無解（搜尋確認）")

# --- 第二部分：佩爾方程 x^2 - D*y^2 = 1（無界的解，搜尋會停機嗎？）---
# 這類方程的解可以非常大——搜尋程序的「停機時間」沒有簡單的上界
def search_pell(D, limit=1_000_000):
    y = 1
    while y <= limit:
        x2 = D * y * y + 1
        x = math.isqrt(x2)
        if x * x == x2:
            return (x, y)
        y += 1
    return None

import math
print("\n--- 佩爾方程 x^2 - D*y^2 = 1 ---")
for D in [2, 3, 5]:
    x, y = search_pell(D)
    print(f"D = {D}: 最小解 x = {x}, y = {y}")
# D=61 的最小解超出窮舉上界——數學史上著名的巨數（歐拉曾誤以為是無解規模的陷阱）
print("D = 61: 最小解 x = 1766319049, y = 27609（窮舉一百萬也找不到——")
print("        但連分數演算法能直接算出：停機時間沒有簡單上界的實例）")

# --- 第三部分：第十問題的深意 ---
print("\n--- 第十問題的深意 ---")
print("希爾伯特問：存在一套程序，判定『任意』丟番圖方程是否有解嗎？")
print("佩爾方程的解可以大得驚人（D=61 的 x 已是 9 位數），")
print("而更複雜的多項式方程，其解的行為可以任意狡猾——")
print("1970 年 Matiyasevich 證明：這樣的通用判定程序不存在。")
print("=> 每台電腦都能搜尋個別方程，但沒有機器能窮盡所有方程。")
print("   這個『不可能』，正是可計算性理論的第一課（見 1936-圖靈機）。")