Re: Well Ordering the Reals

Daryl McCullough said:
> Virgil says...
>
> >Since TO's alleged "apparent bijection" is merely an artifact of TO's
> >delusions, and has no existence in real mathematics, it is certainly no
> >big thing in mathematics.
>
> Actually, I think Tony is thinking (in his web page) of an enumeration
> of a dense subset of the reals. That is, for any two distinct reals r_1
> and r_2 there is a real r in his set such that r is between r_1 and r_2.
> He seems to think that this well-orders the reals, when it actually just
> well-orders a countable subset.
Well, that is what I am asking. How does one prove that such an ordered subset
actually includes ALL the reals, rather than just the rationals or some other
type of real? I don't think this enumeration misses one point on the line, but
how do I prove this?
>
> --
> Daryl McCullough
> Ithaca, NY
>
>

--
Smiles,

Tony
http://www.people.cornell.edu/pages/aeo6/WellOrder/
.

Relevant Pages

  • Re: Well Ordering the Reals
    ... Tony Orlow wrote: ... >>>delusions, and has no existence in real mathematics, it is certainly no ... for any two distinct reals r_1 ... no problem accepting such things. ...
    (sci.math)
  • Re: Well Ordering the Reals
    ... >>>TO's delusions, and has no existence in real mathematics, it is ... >> reals, when it actually just well-orders a countable subset. ... Show that for every non-empty set of your numbers which is bounded above ... there is a least upper bound in your set ...
    (sci.math)
  • Re: The Absurd Claim of the Metric as a Tensor
    ... Daryl McCullough wrote: ... a quadratic function from vectors to reals. ... When people talk about the metric, they mean the mapping ... The matrix is useless without knowing what coordinate system one ...
    (sci.physics.relativity)
  • Re: Cantor Confusion
    ... Virgil schrieb: ... > reals cannot be well-ordered. ... so either that postulate or its negation can be taken as an axiom, ...
    (sci.math)
  • Re: ZFC means?
    ... >>Daryl McCullough wrote: ... >>> is another wff. ... You can only substitute ... > you are talking about values (such as reals, or sets, ...
    (sci.logic)