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