gjm comments on Innate Mathematical Ability - LessWrong

40 Post author: JonahSinick 18 February 2015 11:11AM

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

Comments (140)

You are viewing a single comment's thread. Show more comments above.

Comment author: gjm 19 February 2015 02:15:12AM 4 points [-]

I think the proof is simplified by the observation that (+ meaning XOR) a+b=c is the same as a+b+c=0. So if all rows have the XOR property, we find that the XOR of all entries is 0. If two columns have the XOR property, the XOR of their entries is 0, leaving 0 for the XOR of the entries in the last column, and we're done.

Comment author: Vaniver 19 February 2015 03:45:40AM 0 points [-]

Agreed; my proof doesn't make use of the fact that C⊕C=0, and if you use that fact you get there quicker.