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: Finitely definable reals.
Replies: 52   Last Post: Jan 18, 2013 2:37 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Finitely definable reals.
Posted: Jan 16, 2013 1:39 AM

On 15 Jan., 20:13, Virgil <vir...@ligriv.com> wrote:
> In article
>
>  WM <mueck...@rz.fh-augsburg.de> wrote:

> > > For most human purposes sufficiently close
> > > approximations
> > > are good enough
> > > and other decimal approximations do not exist.

>
> So that in WMytheology only very special rationals can have decimal
> representations at all and no irrationals have any.
>
>

I think mytheology is rather an appropriate expression for the belief
in digits after all digits at finite places.
>
> > But we can state: If parallels cross each other and irrationals have
> > complete decimal expansions then Cantor is right.

>
> Note that, as stated, WM's claim allows Cantor to be right regardless.

Cantor is right in all instances where lines that always have the same
distance d > 0 from each other have the distance 0.

Regards, WM