On 04/01/2013 5:31 PM, Virgil wrote: > In article <kc6idc$jc$1@Kil-nws-1.UCIS.Dal.Ca>, > gus gassmann <email@example.com> wrote:
>> Exactly. The only reals that matter to Cantor's argument are the >> *countably* many that are assumed to have been written down. There is no >> need (nor indeed an effective way) to distinguish the constructed >> diagonal from *all* the potential numbers that could have been >> constructed that are not on the list, either. Any *one* number not on >> the list shows that the list is incomplete and thus establishes the >> uncountability of the reals. > > But try getting WM to see it!