Date: Dec 13, 2012 3:02 PM
Author: Zaljohar@gmail.com
Subject: Re: On the infinite binary Tree

On Dec 13, 3:56 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> 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"?
>
> Regards, WM


Cantor's list do contain non definable reals. Actually some diagonals
of Cantor's are non definable. The bijective function between all
definable reals and the set N of all naturals is NON definable set!

Note: definable is short for "definable by parameter free finite
formula"