Date: Nov 12, 2012 3:22 PM
Author: Shmuel (Seymour J.) Metz
Subject: Re: Cantor's first proof in DETAILS

In <k7rehn$rci$1@dont-email.me>, on 11/12/2012
   at 06:18 PM, "LudovicoVan" <julio@diegidio.name> said:

>In Cantor's proof a_{i+1} and b_{i+1} are the two first entries
>encountered  (in any order) in (x_n) *after* the entries
>corresponding to a_i and b_i.  This does not seem to be the case
>with your proof, where it instead seems  that entries are just
>picked every time restarting from the beginning of  (x_n).

Things equal to the same thing are equal to each other.

>Could you clarify?

Yes.

-- 
Shmuel (Seymour J.) Metz, SysProg and JOAT  <http://patriot.net/~shmuel>

Unsolicited bulk E-mail subject to legal action.  I reserve the
right to publicly post or ridicule any abusive E-mail.  Reply to
domain Patriot dot net user shmuel+news to contact me.  Do not
reply to spamtrap@library.lspace.org