Hacker News new | ask | show | jobs
by has2k1 2395 days ago
To me it does not seem like it is proof by contradiction, or maybe not in the straight forward way that contradictions are used in proofs. It just happens to think about the problem in a complementary (of complement sets ...) way.