|
|
Re: Matheology § 210
Posted:
Feb 8, 2013 3:41 AM
|
|
On 7 Feb., 20:45, William Hughes <wpihug...@gmail.com> wrote:
> On Feb 7, 8:42 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 7 Feb., 20:35, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Feb 7, 8:27 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> > > > The list if defined, would have a defined anti-diagonal.
>
> > Anyhow, there are countably many.
WH:
Yes, and there is a list of them
Standard terminology is that X is countable iff X is listable.
X can be unlistable and sub-countable, so X can be uncountable
and sub-countable.
There is nothing contradictory about saying the accessible numbers
are uncountable and sub-countable.
(end of quote)
The latter say the constructivists, the former say the matheologians.
And there is a unsurmountabe abyss between matheology and
intuitionism.
Regards, WM
|
|
