News for hackers. Stuff that matters.
Re:“Computer science is not about computers” by momentoftop on Sunday May 30, 2021 @10:21AM (#27333428)
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.

There are no comments on this comment yet.