http://www.perlmonks.org?node_id=379442


in reply to Re^3: What do you know, and how do you know that you know it?
in thread What do you know, and how do you know that you know it?

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.

provided that a) existence proofs are the problem and b) i understood your points.