On 13 Dez., 21:02, Zuhair <zaljo...@gmail.com> wrote: > 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.
Which one in what line? What is the corresponding digit of the diagonal?
> Actually some diagonals > of Cantor's are non definable.
Lists containing undefinable entries do not supply diagonals at all.
> The bijective function between all > definable reals and the set N of all naturals is NON definable set!
That is completely without interest. > > Note: definable is short for "definable by parameter free finite > formula"
No. Definable means "definable by a finite word". Everything else is "undefinable".