Skip to main content
Change of style of the first sentence.
Source Link

OneI have the distinct memory of having often hears or readsheard and read that intuitionism was inter alia geared to avoid Cantor's uncountable sets, and it may be that this was Brouwer's plan. But are there accounts which demonstrate that early intuitionism (i.e. before the advent of modern intuitionistic set theories, which either do not have the power set or do accept Cantor's conclusion) had some intuitionistically reasonable way of evading Cantor's uncountable sets?

One often hears or reads that intuitionism was inter alia geared to avoid Cantor's uncountable sets, and it may be that this was Brouwer's plan. But are there accounts which demonstrate that early intuitionism (i.e. before the advent of modern intuitionistic set theories, which either do not have the power set or do accept Cantor's conclusion) had some intuitionistically reasonable way of evading Cantor's uncountable sets?

I have the distinct memory of having often heard and read that intuitionism was inter alia geared to avoid Cantor's uncountable sets, and it may be that this was Brouwer's plan. But are there accounts which demonstrate that early intuitionism (i.e. before the advent of modern intuitionistic set theories, which either do not have the power set or do accept Cantor's conclusion) had some intuitionistically reasonable way of evading Cantor's uncountable sets?

Source Link

Did Brouwer evade uncountability?

One often hears or reads that intuitionism was inter alia geared to avoid Cantor's uncountable sets, and it may be that this was Brouwer's plan. But are there accounts which demonstrate that early intuitionism (i.e. before the advent of modern intuitionistic set theories, which either do not have the power set or do accept Cantor's conclusion) had some intuitionistically reasonable way of evading Cantor's uncountable sets?