Date: Feb 4, 2013 3:28 AM
Subject: Re: Matheology § 203

On 4 Feb., 05:50, Ralf Bader <> wrote:

> By the way, Mückenheim's crap is as idiotic from an intuitionistic point of
> view as it is classically. Intuitionists do not have any problems
> distinguishing the numbers 0,1...1 with finitely many digits and the
> sequence formed by these numbers resp. the infinite decimal fraction
> 0,11....

I am not an intuitionist. And there is no reason why intuitionists
should be in possession of absolute truth. But Brouwer accepts only
infinite sequences that can be defined by a finite word. So do I.
"0.111..." is a finite word. Would he accept all infinite strings that
can be "defined" by an infinite sequence of bits, then he could not
avoid uncountability. But as is well known, he rejects uncountability.

A piece of advice: Lessen your blood pressure.

Regards, WM