I think i've come up with a new (to me) conceptualization of the ordinal ε0. It goes like this:
- Start by imagining 0.
- Then, repeatedly:
- Imagine an indexed family of successor functions Sα, one for each element you've imagined so far, and
- Imagine applying each of those successor functions in every way possible to every element you've imagined so far,
( Read more... )
Comments 3
(The comment has been removed)
Does it help at all if you pretend you're reading it in a Rudy Rucker book? :)
Reply
(The comment has been removed)
Reply
Leave a comment