Monthly Archives: July 2013

How To Succeed In Proof Business Without Really Trying

Re: R.J. Lipton • 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 … Continue reading

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