4 ms·
Proof by contradiction is not constructive, since it uses the Law of the Excluded Middle.
by jonsterling 13y ago
Proof by contradiction is not constructive, since it uses the Law of the Excluded Middle.
- prutschman 13y agoThere are some subtleties there. Andrej Bauer covers them well: http://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ http://math.andrej.com/2010/03/29/proof-of-negation-and-proo...