These are the answers by owner Freek Wiedijk to the ten questions about intuitionism:
No.
The function f defined by f(x) = if(x ≥ 0, 1, 0) is total and not continuous. The fact that you cannot effectively compute it has nothing to do with that.
No.
The non-computational version of the intermediate value theorem, which is what people mean with the term "intermediate value theorem", holds.
No.
If you do not allow reasoning about the power set, you lose the whole mathematical universe.
Mu.
It is a meaningful statement, but it depends on which kind of sets you talk about whether it is true or not.
Mu.
It is a meaningful statement, but it depends on which kind of sets you talk about whether it is true or not.
Yes.
I buy the argument with the two machines.
Yes.
For the "mathematical" meaning of implication this holds.
No.
It might have more computational content, but it does not necessarily give more insight. On the contrary, I would guess.
No.
Reasoning is reasoning. If you work in a different logic, you give the logical terms different meanings, but the reasoning process stays the same.
No.
True is true. If someone does not recognise the truth or mistakenly believes falsehoods to be true, that's a property of that someone, not of those truths.