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.
|Replies are listed 'Best First'.|
Re^5: What do you know, and how do you know that you know it?
by tilly (Archbishop) on Aug 02, 2004 at 22:56 UTC
by kabel (Chaplain) on Aug 03, 2004 at 07:27 UTC