A continuation of a math blog series exploring transfinite ordinals via a reinterpretation of infinite Nim as sequences of numbers ordered by shortlex order. The post explains how shortlex order (comparing sequence length first, then lexicographic comparison from the most significant, rightmost component) naturally captures the structure of ordinals up to omega^omega, and previews that epsilon-zero will appear in the next installment.
415 Impressions