Date: Dec 31, 2012 12:48 AM
Author: Virgil
Subject: Re: Uncountable Diagonal Problem
In article

<379c8a07-1e79-42ca-93e0-494f6444ab6a@pp8g2000pbb.googlegroups.com>,

"Ross A. Finlayson" <ross.finlayson@gmail.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!

--