The road to epsilon-zero: Nim always ends, even with infinite ordinals
13 hours ago
- 带有 ω 令牌的尼姆游戏总会结束，因为序数是良基的，确保了移动序列的有限性。
- 即使使用像 ω·2 这样的无限序数，游戏也最终必须结束，尽管我们无法精确预测结束的时间。
- 良基性意味着每个递减的序数列都在有限步内达到零。
- 这一性质类似于编程中的递归终止，其中参数必须不断减小。
- 一个关于程序员估算的故事说明了 ω·2+1：无法估算完成时间，但确信最终会完成。