Perl: the Markov chain saw  
PerlMonks 
Re^4: What do you know, and how do you know that you know it?by kabel (Chaplain) 
on Aug 02, 2004 at 21:53 UTC ( #379442=note: print w/replies, xml )  Need Help?? 
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.
In Section
Meditations

