lol, thanks!
I think I have found a way to generate and order a Rotnac list. It will be undecidable whether or not the diagonal is in the list. That's if my crack pot is not telling lies.
In terms of trying to use density I think I see why it fails. If you try and 'transfer' the link from a rational to an 'irrational neighbour', you end just isolating that irrational because rationals don't have least upper bound.
I read through the informal proof and I think it's finally...
Rotnac is Cantor backwards, I was just thinking of a name for the guy flipping the coin. I will try to figure out why using denseness to find a injection fails.
My last paragraph is an attempt at arguing against cranks that say a number cannot differ at nth position with itself.
I'm not sure any of you have met Cantor-Agnostics yet but, to add to your frustrations, hi.
Suppose there are a countable amount of Rotnac parallel universes, each containing a countable amount of food, money, boredom and time. In one of these universes Rotnac is flipping a countably balanced...