The road to epsilon-zero: Nim always ends, even with infinite ordinals
1–5 of 5 posts
Re: The road to epsilon-zero: Nim always ends, even with infinite ordinals
#2First glance I thought someone was referring to https://nim-lang.org/
Re: The road to epsilon-zero: Nim always ends, even with infinite ordinals
#3First glance I thought someone was referring to https://nim-lang.org/
Me too. Why I clicked the link.
Re: The road to epsilon-zero: Nim always ends, even with infinite ordinals
#4Using ordinals to talk about finite numbers gets suprisingly deep real fast.
David Metzler has a series of fun videos called "Ridiculously huge numbers" that goes down the rabbit hole of the fast growing hierarchy.
https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3
BB(n), Rayo's number and friends can get bigger way faster, but they do this uncomputably fast. Launching yourself into arithmetic hyperspace in a controlled way like with the fast growing hierarchy does a much better job of conveying the sheer vastness of finitude.
OP's article got me thinking about Nim with added mechanics that let you get all the way to Feferman–Schütte, hence the above.
Re: The road to epsilon-zero: Nim always ends, even with infinite ordinals
#5Using ordinals to talk about finite numbers gets suprisingly deep real fast. David Metzler has a series of fun videos called "Ridiculously huge numbers" that goes down the rabbit hole of the fast growing hierarchy. https://www.youtube.com/playlist?list=PL3A50BB9C34AB36B3 BB(n), Rayo's number and friends can get bigger way faster, but they do this uncomputably fast. Launching yourself into arithmetic hyperspace in a c…
One of my life goals is to fully understand Jean Gallier's paper about Kruskal's theorem and the Feferman-Schütte ordinal.