Nim endet immer: Wie unendliche Ordinalzahlen das Spiel beenden
The road to epsilon-zero: Nim always ends, even with infinite ordinals
In diesem Artikel zeigt der Autor, dass Nim mit unendlichen Ordinalzahlen wie ω oder ω² immer endet, obwohl die Spieldauer unvorhersehbar ist. Er erklärt die Wohlfundiertheit von Ordinalzahlen und ihre Verbindung zur Terminierung rekursiver Programme. Ein unterhaltsamer Ausflug in die Mengenlehre mit einer Anekdote aus der Softwareentwicklung.
Sie können immer weiter nach oben zu immer verrückteren unendlichen Ordinalzahlen gehen, aber egal wie hoch Sie gehen, Sie können nicht für immer nach unten gehen, Sie müssen nach einer endlichen Zeit bei Null ankommen.