|
要在base-k遗传表示中写入整数n，请在普通base-k表示中写入n，然后对所有大于k的指数递归地执行相同的操作。
例如，以2为基数的132132的遗传表示为：
132132 = 2^17 + 2^10 + 2^5 + 2^2
= 2^(2^4 + 1) + 2^(2^3 + 2) + 2^(2^2 + 1) + 2^2
= 2^(2^(2^2) + 1) + 2^(2^(2+1) + 2) + 2^(2^2 + 1) + 2^2.
将B_k（n）定义为用k+1代替n的基-k遗传表示的所有基的函数。
例如，B_2（101）=B_2（2^（2^2+2）+2^（2%2+1）+2^2+1）=3^（3^3+3）+3^（3+1）+3^3+1=228767924549638。
（有时B_k（n）被称为n从基数k“凸起”）
Goodstein函数定义为：G_k（n）=B_{k+1}（G_{k-1}（n））-1，G_0（n；有关实例，请参阅示例部分。
古德斯坦定理说，对于任何非负n，序列G_k（n）最终稳定，然后每一步减少1，直到它达到0。（G_k（n）<0的后续值不是序列的一部分。）
以英国数学家鲁本·路易斯·古德斯坦（1912-1985）命名-阿米拉姆·埃尔达尔2021年6月19日
| 