> The basic four methods of proof is quite a low bar +1. Am just a programmer, but have always regretted my falling out with math during my college... Have

> The basic four methods of proof is quite a low bar +1. Am just a programmer, but have always regretted my falling out with math during my college... Have never heard of proof by contrapositive, and looking up, i am still baffled as to significance or point of separating it from proof by contradiction. I look forward to more posts and hope you decide to write about basic methods of proof sometime in the future.