古德斯坦序列计算器

什么是古德斯坦序列计算器？

古德斯坦序列的规则：把当前数写成「遗传底 b 表示」（底 b 的展开式，其中指数本身也递归地用底 b 表示），然后把所有 b 替换成 b+1，最后减 1；底数从 2 开始每步加一。

G(3) = 3, 3, 3, 2, 1, 0：3 = 2¹+1 → 3¹+1 = 4 → 减 1 = 3 → 3¹ → 4 → 3 →（常数）3 → 2 → 1 → 0，六步归零。

G(4) = 4, 26, 41, 60, 83, 109, 139, 173, 211, 253, 299, …：注意第 2 项 26 来自严格遗传换底——4 = 2^(2¹)，指数里的 2 也要换：3^(3¹) = 27，减 1 = 26。

爆炸有多快：G(16) 第 2 项 = 3²⁷ − 1 = 7625597484986（13 位）；G(19) 第 3 项已是 155 位；G(19) 归零需要约 3×2^402652109 步。但 Goodstein 定理（1944）：每个序列最终到达 0。

如何使用古德斯坦序列计算器

1. 1

   输入起始值 m（1 到 19）与显示步数 K（1 到 12）。

2. 2

   工具严格实现遗传换底（指数递归替换），逐项输出序列。

3. 3

   中间幂位数超过 100000 时自动暂停——定理保证序列仍会归零，只是数字太大无法展示。

4. 4

   对照锚点：G(3) 全序列、G(4) 前 6 项、G(16) 第 2 项 = 3²⁷ − 1。

计算示例

注意事项

• 「严格遗传」是核心：指数、指数的指数……中的底都要替换。数值实现用递归 heredSub(V, b, b+1)，指数值本身可能被换底放大（如指数 2 → 3）。

• 序列先升后降的本质：换底让「底」增值，减 1 让「系数」损耗——系数结构（有限序数）的损耗终将压倒底数增长，这就是序数归纳的直观。

• G(m) 的峰值与长度增长速度超过一切原始递归函数的模拟能力——G(19) 的步数 3×2^402652109 无法用任何可写下的循环精确枚举。

• Goodstein 定理在皮亚诺算术（PA）中不可证（Kirby–Paris 1982）：证明需要的序数 ε₀ 恰好超出 PA 的归纳强度——与哥德尔不完备定理互为构造性注脚。

常见问题

参考资料

1. [1]NIST DLMF：数学函数与公式权威参考
2. [2]Wolfram MathWorld：数学条目百科