Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: The Distinguishability argument of the Reals.
Replies: 83   Last Post: Jan 7, 2013 12:58 AM

 Search Thread: Advanced Search

 Messages: [ Previous | Next ]
 Zaljohar@gmail.com Posts: 2,665 Registered: 6/29/07
Re: The Distinguishability argument of the Reals.
Posted: Jan 4, 2013 1:08 AM
 Plain Text Reply

On Jan 4, 5:33 am, Virgil <vir...@ligriv.com> wrote:
> In article
> <6302ee90-f0a2-4be5-9dbb-c1f999c3a...@c16g2000yqi.googlegroups.com>,
>
>  Zuhair <zaljo...@gmail.com> wrote:

> > Since all reals are distinguished by finite initial
> > segments of them,

>
> Some reals are distinguished by finite initial segments of their decimal
> representations, most are not.
>

r is distinguishable on finite basis iff For Every real x. ~x=r ->
Exist n: d_n of r =/= d_n of x.

As far as I know every real is so distinguishable.

In your version you changed the quantifier order, your version is
speaking about the following:

r is distinguishable on finite basis iff Exist n. For Every real x.
~x=r -> d_n of r =/= d_n of x.

Of course all reals are to be represented by *INFINITE* binary decimal
expansions, so 0.12 is represented as 0.120000...

So we are not speaking about the same distinguishability criterion.

Zuhair

Date Subject Author
1/1/13 Zaljohar@gmail.com
1/2/13 mueckenh@rz.fh-augsburg.de
1/2/13 Virgil
1/2/13 Ralf Bader
1/3/13 Virgil
1/3/13 Zaljohar@gmail.com
1/3/13 gus gassmann
1/3/13 Zaljohar@gmail.com
1/3/13 gus gassmann
1/3/13 Zaljohar@gmail.com
1/3/13 mueckenh@rz.fh-augsburg.de
1/3/13 Virgil
1/3/13 fom
1/4/13 Zaljohar@gmail.com
1/4/13 fom
1/3/13 mueckenh@rz.fh-augsburg.de
1/3/13 Virgil
1/3/13 fom
1/3/13 Virgil
1/4/13 gus gassmann
1/4/13 mueckenh@rz.fh-augsburg.de
1/4/13 fom
1/5/13 mueckenh@rz.fh-augsburg.de
1/5/13 Virgil
1/5/13 fom
1/4/13 Virgil
1/5/13 mueckenh@rz.fh-augsburg.de
1/5/13 Virgil
1/4/13 Virgil
1/4/13 gus gassmann
1/4/13 ross.finlayson@gmail.com
1/5/13 Virgil
1/5/13 ross.finlayson@gmail.com
1/5/13 Virgil
1/5/13 fom
1/5/13 ross.finlayson@gmail.com
1/6/13 fom
1/6/13 ross.finlayson@gmail.com
1/6/13 Virgil
1/6/13 ross.finlayson@gmail.com
1/6/13 Virgil
1/6/13 ross.finlayson@gmail.com
1/6/13 Virgil
1/6/13 ross.finlayson@gmail.com
1/6/13 Virgil
1/6/13 ross.finlayson@gmail.com
1/6/13 Virgil
1/7/13 ross.finlayson@gmail.com
1/7/13 Virgil
1/3/13 fom
1/3/13 fom
1/4/13 mueckenh@rz.fh-augsburg.de
1/4/13 fom
1/5/13 mueckenh@rz.fh-augsburg.de
1/5/13 Virgil
1/5/13 fom
1/6/13 Virgil
1/6/13 fom
1/6/13 Virgil
1/6/13 fom
1/6/13 ross.finlayson@gmail.com
1/4/13 Virgil
1/3/13 mueckenh@rz.fh-augsburg.de
1/3/13 Virgil
1/3/13 forbisgaryg@gmail.com
1/3/13 Virgil
1/4/13 Zaljohar@gmail.com
1/4/13 Virgil
1/4/13 Zaljohar@gmail.com
1/4/13 mueckenh@rz.fh-augsburg.de
1/4/13 fom
1/5/13 mueckenh@rz.fh-augsburg.de
1/5/13 fom
1/5/13 mueckenh@rz.fh-augsburg.de
1/5/13 Virgil
1/5/13 fom
1/5/13 Virgil
1/4/13 Virgil
1/3/13 mueckenh@rz.fh-augsburg.de
1/3/13 Virgil
1/4/13 mueckenh@rz.fh-augsburg.de
1/4/13 fom
1/4/13 Virgil
1/2/13 Bill Taylor

© The Math Forum at NCTM 1994-2018. All Rights Reserved.