On 19 Jun., 08:37, "Peter Webb" > In Cantor's diagonal proof, the list of Reals is provided in advance, such > that the nth digit of the nth item is known.
Where can I see such a list? Is it available for cheap money in the net?
There has never been an infinite Cantor-list other than definied by a finite definition. And that means there are at most counatble many lists and countably many diagonals (which are necessarily also defined by finite definitions).
