more on this theme | more from this thinker | more from this text
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 Ref
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]