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: On the infinite binary Tree
Replies: 64   Last Post: Dec 17, 2012 11:06 AM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: On the infinite binary Tree
Posted: Dec 13, 2012 2:28 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 13 Dez., 11:49, Zuhair <zaljo...@gmail.com> wrote:
> > On Dec 13, 9:56 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> >
> >
> >

> > > It is nonsensical because the same could be assumed for Cantor's
> > > diagonal. It would be undefinable and it would be impossible to prove
> > > that it differs from all lines of the list - in particular if
> > > undefinable reals exist and are members of the list.

> >
> > Of course the diagonal in some cases can be non-definable, that is
> > well known.

>
> Also the elements of the list could be non-definable, if non-definable
> real numbers existed.

Note that no list of defineable binary sequences (or of defineable by
digit sequence real numbers, for that matter) can be complete because
any such list defines at least one more not in that list, so it is d
sets of defineable binaries and and sets of defineable reals whuch
either cannot exist at all or cannot be countable.
>
> > That doesn't mean that we cannot prove it is different from all reals
> > in the list, on the contrary we don't need parameter free definability
> > in order to determine that the diagonal is different from the reals in
> > the original list, we can do that without it, as Cantor did.

>
> Cantor did not accept non-definable reals. If he had, he would have
> seen that his proof fails.

But any set of all defineable-by-digit-sequences-in-base-n reals either
cannot exist at all or turns out to be uncountable.
> >
> > Your error is that you think too much of non definability. It is not
> > so destructive as you think.

>
> No? Nearly every real number is undefinable. The measure of definable
> reals is 0. If most reals are non-definable, why must all reals of
> every Cantor list always be definable? If all reals of the list are
> definable, then they belong to a countable set. Then we cannot prove
> uncounatbility. Or can we prove that the set of definable reals is
> uncountable - because it is countable but there are, somewhere else,
> undefinable "reals"?

But any set of all defineable-by-digit-sequences-in-base-n reals either
cannot exist at all or turns out to be uncountable.
--

Date Subject Author
12/12/12 Zaljohar@gmail.com
12/12/12 mueckenh@rz.fh-augsburg.de
12/12/12 Virgil
12/12/12 mueckenh@rz.fh-augsburg.de
12/12/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 trj
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Virgil
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 Virgil
12/14/12 Zaljohar@gmail.com
12/14/12 Zaljohar@gmail.com
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Tanu R.
12/14/12 Virgil
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/12/12 Virgil
12/13/12 mueckenh@rz.fh-augsburg.de
12/12/12 george
12/13/12 Zaljohar@gmail.com
12/13/12 mueckenh@rz.fh-augsburg.de
12/13/12 george
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Virgil
12/14/12 mueckenh@rz.fh-augsburg.de
12/14/12 Tanu R.
12/14/12 Virgil
12/15/12 mueckenh@rz.fh-augsburg.de
12/15/12 Virgil
12/15/12 Tanu R.
12/14/12 Charlie-Boo
12/14/12 forbisgaryg@gmail.com
12/15/12 ross.finlayson@gmail.com
12/15/12 forbisgaryg@gmail.com
12/15/12 ross.finlayson@gmail.com
12/16/12 forbisgaryg@gmail.com
12/17/12 ross.finlayson@gmail.com
12/16/12 Ciekaw
12/16/12 Virgil