Re: Well Ordering the Reals
In article <MPG.1df66ba7fafd50d298a793@xxxxxxxxxxxxxxxxxxxxxxxxx>,
Tony Orlow <aeo6@xxxxxxxxxxx> wrote:
> Daryl McCullough said:
> > You can prove that f(s) is well-defined for every infinite bitstring
> > except for the bitstring with all 1s, and the bitstring with all 0s.
> > You can also prove that every real r is equal to f(s) for some (finite
> > or infinite) bitstring s.
>
> Can you? I am not sure how this is done, but I can see intuitively that this
> set covers the reals, at least given infinite bit strings. Thanks. Now all
> one
> needs to do beyond that is partition it into countably infinite subsets, and
> establish a well ordering. Gee, that should be easy! ;)
We will not bate our breaths while we wait.
.
Relevant Pages
- Re: Calculus XOR Probability
... If a quantitative set is mapped in ascending order from the naturals, ... number of reals on the line. ... to the subsequent logic that claims such a set cannot have infinite values. ... standard orderings, since sets in general don't come with little tags ...
(sci.math) - Re: Calculus XOR Probability
... If a quantitative set is mapped in ascending order from the naturals, with each increment in the domain, the range increases by some amount. ... Like it's the number of unit intervals, and the number of reals in the unit interval. ... You are using a form of infinite induction, making a claim for an infinite set based on all finite initial segments of it. ... don't have a definition for an arbitrary set of its "standard ordering" ...
(sci.math) - Re: Calculus XOR Probability
... If a quantitative set is mapped in ascending order from the naturals, with each increment in the domain, the range increases by some amount. ... you had said that the existence ... Like it's the number of unit intervals, and the number of reals in the unit interval. ... You are using a form of infinite induction, making a claim for an infinite set based on all finite initial segments of it. ...
(sci.math) - Re: Dial 999 for the real number line
... length n as initial strings followed by the expansion of pi after the nth ... long decimal expansion followed by an infinite expansion. ... part can be as long as we like, we have an infinite sequence of initial ... dense in the reals. ...
(sci.math) - Re: Dial 999 for the real number line
... Keep in mind that whatever system of axioms you come up with will ... proofs of uncountablility of the reals, but that is not going to happen. ... I have a hang-up, it's about infinite sequences. ... My point is that mathematical existence has nothing to do with physical ...
(sci.math) |
|
