note
kabel
<p>
i think the proof problem is due to the application of classical logic. in intuitionistic logic, there is no such thing like an pure existence proof. instead, existence is showed by providing a method of computation -- an algorithm -- which constructs the thing whose existence is to be proofed.
</p>
<p>
provided that a) existence proofs <i>are</i> the problem and b) i understood your points.
</p>
379224
379361