Alexandre comments on Infinite Certainty - Less Wrong

32 Post author: Eliezer_Yudkowsky 09 January 2008 06:49AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (114)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Alexandre 09 January 2008 01:13:28PM 7 points [-]

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).