Date: Dec 31, 2012 12:48 AM
Subject: Re: Uncountable Diagonal Problem
"Ross A. Finlayson" <email@example.com> wrote:
> Here, I was wondering that for nested intervals in the transfinite,
> that the interval wouldn't be empty for two different endpoints (else
> it could be for a countable ordinal), that there would be a duplicate,
> i.e., that the well-ordering of the reals could be onto yet not 1-1.
That looks a bit like English, but not at all like mathematics.
> Of course I think EF is a function with range [0,1], that well-orders
> the unit interval of reals, with the caveat as above that it follows
> from an expanded definition of real number, while of course that it is
> standardly modeled by real functions.
Ross mentioning his alleged "EF" shows him to be "EF"ing crazy!