|
|
Re: The computable reals are uncountable (?)
Posted:
Jun 5, 2012 2:26 PM
|
|
On Jun 6, 3:01 am, William Hughes <wpihug...@gmail.com> wrote:
> > the list of all computable reals is closed under anti-diagonalisation.
>
> Your error is in assuming that given a list you can get
> *any* diagonal by permuting the list. This is false
> (you can get most diagonals, but not any diagonal)
> and you have acknowledged that it is false.
The diagonals are the class that DON'T FORM ANY PATTERN.
HYPERIRRATIONALS
i.e. they are all INFINITE ENTROPY
So they do not interfere the the completeness of the computable model.
They never generate any unique digit sequence
as any diagonal can be dynamically mapped to an existing UTM#
Herc
|
|
