#recursion

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

Bài viết khám phá biến thể Nim vô hạn (transfinite Nim) sử dụng các quân cờ là số thứ tự vô hạn (ω, ω·2, ω²) và chứng minh rằng ngay cả những trò chơi này cũng phải kết thúc nhờ tính "well-founded" của các số thứ tự. Tác giả so sánh cơ chế này với sự kết thúc của chương trình đệ quy, đồng thời đưa ra ví dụ thực tế về ước tính khối lượng công việc lập trình để minh họa tư duy đa tầng kiểu ω·2.

Lập trình viên nên đọc bài này để hiểu cách áp dụng logic về well-foundedness trong thiết kế thuật toán, từ đó giảm thiểu rủi ro vướng vào vòng lặp vô hạn hoặc tính toán không kết thúc trong các giải pháp phức tạp.