Hacker News new | past | comments | ask | show | jobs | submit login

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.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact