[FOM] Queries for a constructivist

[Bill Taylor]

2 queries:    Would an intuitionist assent to either of these...


A: It is meaningful to say of a mathematical proposition:

   "There is a (constructive) proof of this statement but no-one has
    yet found one."


B: Every mathematical statement is in exactly one of these 3 states:

   (c) It has been (constructively) proved;
   (d) It has been (constructively) refuted;
   (e) It is in neither of states (c) or (d).


Would the answers to either be different, if we had specified
a non-intuitionist constructivist?