Posts
Comments
Comment by
Alexandre on
Infinite Certainty ·
2008-01-09T13:13:28.000Z ·
LW ·
GW
Gray Area said: "Amusingly, this is one of the more controversial tautologies to bring up. This is because constructivist mathematicians reject this statement."
Actually constructivist mathematicians reject the law of the excluded middle, (P v ~P), not the law of non-contradiction (they are not equivalent in intuitionistic logic, the law of non-contradiction is actually equivalent to the double negation of the excluded middle).