FOM: Intuitionism

[richman@acc.fau.edu]

wiman lucas raymond wrote:

>  would an intuitionist accept the statment
> "either p is provable, not-p is provable, or neither is provable"?

If q is the statement that either p is provable or not-p is provable,
then this question seems to ask whether an intuitionist would accept
the statement "q or not-q". I see no grounds for accepting that
statement other than the law of excluded middle, which intuitionists
reject.

--Fred