#welllfoundedness — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #welllfoundedness, aggregated by home.social.
-
New blog post “The road to \( \epsilon_0 \): Nim always ends, even with infinite ordinals
A bit of a sidetrack, but too amusing to skip: even with nim-heaps that correspond to absurdly large infinite ordinals, the game itself is still finite and must end after a finite number of moves.
Also, programmers who can't tell you when they will give you a project estimate, but can tell you when they will be able to tell you.
https://blog.plover.com/math/ordinals/02-wellfoundedness.html