Nim con ordinales infinitos: por qué el juego siempre termina
The road to epsilon-zero: Nim always ends, even with infinite ordinals
En este artículo, Mark Dominus explora cómo la teoría de ordinales garantiza que ciertos juegos de Nim con tokens infinitos (representados por ordinales como omega y omega^2) siempre terminan, aunque no se pueda predecir cuándo. A través de ejemplos y una anécdota sobre estimación de tareas de programación, ilustra el concepto de buena fundamentación (well-foundedness) y su conexión con la terminación de funciones recursivas.
Puedes subir y subir para siempre hacia ordinales infinitos cada vez más locos, pero no importa cuán alto subas, no puedes bajar y bajar para siempre; debes llegar a cero en un tiempo finito.