Date: Nov 12, 2012 5:09 PM
Author: Uirgil
Subject: Re: Cantor's first proof in DETAILS

In article <k7reln$sas$1@dont-email.me>,
"LudovicoVan" <julio@diegidio.name> wrote:

> "LudovicoVan" <julio@diegidio.name> wrote in message
> news:k7rehn$rci$1@dont-email.me...

> > "Zuhair" <zaljohar@gmail.com> wrote in message
> > news:86a85cce-2a84-4c9f-b860-527958274b50@o8g2000yqh.googlegroups.com...
> >

> >> Let a_0 = x_0
> >> Let b_0 be the first entry in (x_n) such that b_0 > a_0.
> >> Let a_i+1 be the first entry in (x_n) such that a_i < a_i+1 < b_i.
> >> Let b_i+1 be the first entry in (x_n) such that a_i+1 < b_i+1 < b_i.

> >
> > In Cantor's proof a_{i+1} and b_{i+1} are the two first entries
> > encountered

>
> That should read: a_{i+1} and b_{i+1} are the first two entries...
>
> -LV


Zuhair's method works quite as well as Cantor's.

At least for those who can understand them.