Nim 游戏：无限序数下为何必止

The road to epsilon-zero: Nim always ends, even with infinite ordinals

Nim 游戏通常被认为会无限进行，但即使引入无限序数如 omega 和 omega 平方，游戏也必然终止。文章通过数学论证展示了序数的良基性（well-foundedness），即每一步操作都会使序数变小，最终归零。这种特性不仅解释了 Nim 游戏的终结机制，还揭示了递归程序终止的理论基础。作者巧妙地将数学概念与编程任务估算类比，指出即使无法预测具体时长，也能确信任务终有完成之日。