Monthly Archives: July 2013

How To Succeed In Proof Business Without Really Trying

Re: Surely You Are Joking? Comment 1 Even at the mailroom entry point of propositional calculus, there is a qualitative difference between insight proofs and routine proofs. Human beings can do either sort, as a rule, but routinizing insight is … Continue reading

Posted in Algorithms, Artificial Intelligence, Boolean Functions, Cactus Graphs, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Peirce, Propositional Calculus, Theorem Proving | Tagged , , , , , , , , , , | 2 Comments