Date: Feb 8, 2013 6:13 AM
Author: Alan Smaill
Subject: Re: Matheology § 210

WM <mueckenh@rz.fh-augsburg.de> writes:

> On 7 Feb., 20:17, William Hughes <wpihug...@gmail.com> wrote:
...
>> In classical set theory the accessible numbers are listable
>>
>> Note from the Wikipedia quote
>>

>> > Constructively it is consistent to assert the
>> > subcountability of some uncountable collections

>
> Of course, the intuitionists accepted this nonsense, perhaps forced by
> the matheologians.


What a joker!

You tell us that you do not know Brouwer's opinion on this question,
but here you are telling us what intuitionists accept.

WM is inconsistent.

As for intuitionists being "forced" into taking up a
position inconsistent with classical mathematics by classical
mathematicians ...
a classic absurdity.


> Regards, WM

--
Alan Smaill