古德斯坦定理究竟說了什麼？

它說每一個古德斯坦數列，不論中途的數字長到多大，最後都會到達零。成長的幅度可以大得驚人，持續的步數也可以多到難以想像，但對每一個起始值，終止都是有保證的。

如果數列不斷成長，為什麼它還會回頭下降？

每一項都有一個隱藏的序數夥伴，它在每一步都嚴格遞減。看得見的整數可以暴增，但它背後的序數只會往下走，而序數的遞減數列不可能永遠下降，所以這個過程必定在零處結束。

什麼是遺傳 n 進位記法？

它的意思是先把一個數寫成 n 進位，再把它所有的指數也寫成 n 進位，一路往下做到底。例如，4 的遺傳 2 進位寫法是 2 的 2 次方，其中的指數也用 2 進位來表達。

為什麼古德斯坦定理在邏輯學中這麼有名？

因為它是真的，卻無法只用皮亞諾算術證明。它是最早被證明在該系統中不可證的、關於普通數的自然陳述（而不是刻意構造出來的）之一，這就是它位於數學與邏輯交界處的原因。

九頭蛇遊戲是同一個概念嗎？

是的，柯比與帕里斯（Kirby and Paris）的九頭蛇，是同一套數學的重新講述。砍掉一個頭可能會長出更多個頭，但九頭蛇最後總是會被擊敗，原因和古德斯坦數列總是到達零完全相同。

古德斯坦定理：先爆炸、最後必定回到零的數列

選一個整數。任何整數都行。現在一遍又一遍地套用一條兩步驟的規則，看看結果。對於你選的幾乎每一個起始值，這個數列都會轟然向上衝，越過古戈爾（googol），越過那些讓可觀測宇宙的原子數目相形見絀的數，越過你一輩子都寫不完的任何數字。然而，可以證明，它最後一定會回到零。

這就是古德斯坦定理，第一次聽到時，它聽起來像是一個把戲。規則並不複雜，數字是普通的數，敘述也很乾淨。然而幾十年來，它為什麼成立的理由，在普通算術之內找不到容身之處。本文不要求你跟著讀一份邏輯證明。相反地，它會讓你看見底下的那幅圖像，一旦你看見了，這個定理就不再神祕。

規則簡單得近乎幼稚

你從一個整數和一個進位基底開始，基底從 2 開始。每一步你做兩件事：第一，把當前的數改寫成所謂的遺傳 n 進位記法；第二，把每一個出現的基底 n 都換成 n+1，然後減 1。接著換到下一個基底，重複這個過程。

「換底再減一」聽起來很溫和。把基底從 2 換成 3，感覺只是個小改變。減 1 感覺應該能把這個數壓住。你很快就會看到，這兩種直覺為什麼都經不起遺傳記法的考驗。

看它爆炸

從 4 開始。在遺傳 2 進位中，它是 $2^{2}$ 。把每一個 2 換成 3 再減 1：你得到 $3^{3}$ 減 1，也就是 26。現在把 26 寫成遺傳 3 進位，換成 4 進位，減 1，你得到 41。繼續下去。

The Goodstein sequence starting at 4: each step bumps the base then subtracts one.
Step	Base	Written in that base	Value
1	2	2²	4
2	3	2·3² + 2·3 + 2	26
3	4	2·4² + 2·4 + 1	41
4	5	2·5² + 2·5	60
5	6	2·6² + 6 + 5	83
6	7	2·7² + 7 + 4	109

從 4 開始的數列依序是：4、26、41、60、83、109，並從這裡繼續攀升。即使是這樣一個不起眼的開頭，也會持續成長非常長的一段時間，才終於開始下降。改從 19 開始，數字會達到實際上無法寫出的高度。數列開始轉向之前所需的步數，比可觀測宇宙中的原子數目還要多。如果你在大霹靂時，就在想像得到最快的電腦上開始這項計算，今天你也看不到它的高峰。

每一種直覺都在說：這是發散的。那麼大的數，不可能再回頭。這裡的直覺就是單純地錯了，而這正是重點。有某種看不見的事情正在發生，原始的數字並沒有把它顯示出來。

那個只會往下走的隱藏數字

把每一項換成它的序數影子

這是關鍵的一步。取古德斯坦數列中的任何一項，讀出它的遺傳 n 進位表達式。現在，凡是看到基底 n 的地方，都改寫成符號 ω（omega，第一個無窮序數）。你完全沒有改變表達式的結構，只是換了一個標籤。得到的結果是一個序數，是一種超越整數、延伸到無窮的計數。

例如，4 的遺傳 2 進位是 $2^{2}$ 。把 2 換成 ω，你得到 $\omega^\omega$ 。26 在遺傳 3 進位中的序數影子，是 2 倍 ω 的平方，加上 2 倍 ω，再加上 2：一個高度有限的 ω 的多項式，遠比 ω 的 ω 次方小。遺傳 3 進位表達式中的指數 2、1 與 0 本來就小於 3，所以不會再有進一步的堆疊。這些序數都是定義完好的數學物件。

換底對影子毫無影響

當你把基底從 n 換成 n+1，遺傳表達式的標籤從 n 變成了 n+1，但表達式的形狀完全相同。所以序數影子在換底時並不改變。換底前那一項的影子，與換底後那一項的影子，是同一個序數。

但接著你要把整個整數減 1。在遺傳記法中，減 1 需要你剝掉表達式中最低的那一項。這會改變遺傳表達式的形狀，而當你把基底換成 ω 之後，得到的是一個嚴格較小的序數。這不是小小的差距，也不是巧合：整數數列中每一次減 1，都會迫使序數影子嚴格地向下。

所以規律是：換底（影子不動），減 1（影子下降）。每一步的淨效果是：序數影子至少往下一步，每一次都是如此。

序數不可能永遠遞減下去

序數的嚴格遞減數列不可能永遠持續下去。這是關於序數最基本的事實之一：和整數不同，你無法無止境地往下走。有一個底部。序數影子的數列最終必定到達零，而當序數影子為零時，唯一其遺傳表達式對應到零序數的整數就是零本身。所以古德斯坦數列也必定到達零。

整數可以暴增到難以想像的大小。但它們背後的序數，卻在每一步悄悄而必然地向下倒數。雜訊在看得見的數字裡，真相在影子裡。

九頭蛇說的是同一件事

你可以把同一個故事當成遊戲來講。想像一隻樹狀的怪物，一條九頭蛇，頭長在樹枝的末端。你砍掉一個頭。依你砍哪一個頭、在什麼時候砍而定，樹樁上可能會長出好幾個新的頭，有時候是多得多的頭。你繼續砍。九頭蛇看起來快贏了。

砍下一個頭，會長回更多個頭，但每一條九頭蛇最終都會被殺死：蛇身就像古德斯坦數列一樣縮小。

由數學家傑夫・帕里斯（Jeff Paris）與勞莉・柯比（Laurie Kirby）在 1982 年提出的柯比－帕里斯九頭蛇遊戲，正是這種情形，它編碼了與古德斯坦數列相同的數學。長出頭的規則，對應於換底造成的爆炸。樹狀結構，對應於遺傳記法。而樹背後隱藏的序數，與古德斯坦的論證一樣，在每一次砍頭時嚴格遞減。

不論你用什麼策略，不論你多麼隨意地選擇要砍哪個頭，你都會贏。九頭蛇一定會死。新頭的爆炸是真實的，而且可以非常壯觀，但在煙火底下，有一個倒數正在進行。九頭蛇遊戲就是穿上戲服的古德斯坦定理。

數學家為什麼在意

故事在這裡有了轉折。古德斯坦定理是真的。如同上面的序數論證所示，它是可以證明為真的。但在 1982 年，柯比與帕里斯證明了另一件事：這個定理無法在皮亞諾算術之內被證明。

皮亞諾算術是推理整數的標準形式系統。它涵蓋了幾乎所有你會稱為普通算術的東西：加法、乘法、對自然數的歸納法。它是大部分數學課上的結果所在的舞台。而它就是不夠強大，無法證明古德斯坦數列會終止。

這並不表示這個定理在任何意義下都是不可證的。序數論證是有效的，而且完全嚴謹。但序數論證需要以一種皮亞諾算術無法進入的方式來推理無窮。這個系統可以精確地描述古德斯坦數列。它可以一項一項地把它們算出來。它甚至可以認出每一項都是一個特定的整數。它做不到的，是看見那個影子，也就是保證數列下降的序數結構。

古德斯坦定理是最早的例子之一：一個看起來自然、關於普通數的普通陳述，結果卻剛好落在標準算術的能力範圍之外。它不是為了讓它不可證而刻意構造的人工邏輯謎題。它是一個你可以向高中生解釋的陳述，講的是一個你可以寫在餐巾紙上的數列，而標準算術卻無法為它結案。

它的禪意

這裡有些值得靜下心來體會的東西。那個看似無止境爆炸的數列，在每一步都參與了一場下降，而原始的數字把這場下降對你隱藏了起來。兩件事同時發生：巨大的成長，與安靜而必然的回歸。

這並不矛盾。這提醒了我們，一個數的大小並不等於它的命運。重要的是底下的結構，而這裡的結構總是指向零。

數學中充滿這樣的時刻：一個看起來應該發散卻沒有的量，一個看起來應該失敗卻成立的證明，一個看起來無窮卻會終止的數列。這項技能不在於用蠻力計算各項，而在於找到該追蹤的那個正確的影子，那個告訴你究竟發生了什麼事的影子。一旦你看見序數在這場煙火表演背後一格一格地倒數，這個定理就不只是真的，它讓人覺得是必然的。

大小是雜訊，結構才是訊號。這個數列始終都在回家的路上。