Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Sometimes, the strategy of proving ~P by showing how P entails absurdity is called "proof by negation". The phrase "proof by contradiction" is then reserved for the strategy of proving P by showing how ~P entails absurdity.

On that usage, constructivists are happy with all proofs by negation, but not generally happy with proofs by contradiction.



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

Search: