Full Idea
The intuitionist rejection of double negation elimination undermines the important reductio ad absurdum proof in classical mathematics.
Gist of Idea
Rejecting double negation elimination undermines reductio proofs
Source
Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 1.1.3)
Book Reference
Colyvan,Mark: 'An Introduction to the Philosophy of Mathematics' [CUP 2012], p.8
Related Idea
Idea 17925 Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan]