site banner

2+2 = not what you think

felipec.substack.com

Changing someone's mind is very difficult, that's why I like puzzles most people get wrong: to try to open their mind. Challenging the claim that 2+2 is unequivocally 4 is one of my favorites to get people to reconsider what they think is true with 100% certainty.

-34
Jump in the discussion.

No email address required.

Yes. It is true that 2 + 2 = 0 in Z4; I've not disputed that. It's just also true that 2 + 2 = 4.

Yes. But the whole point of my post is to get people to reconsider what basic notions like 2+2 are.

And if I understand correctly in ℤ/4ℤ there is no 2 in the main set, it's {..,-6,-2,2,6,...}, so it's actually {...,-6,-2,2,6,...}+{...,-6,-2,2,6,...}={...,-8,-4,0,4,8,...}, or something like that. 2 is just a simplification of the coset.

Second part is right, yes.

OK. But then I do get it: 2+2 = 0 (mod 4).

Yes, without any other context 2+2 is assumed to be 4, but 2+2 (mod 4) is a different thing, because 2 and 2 (mod 4) are different (the latter is actually {..,-6,-2,2,6,...}). Correct?

I have updated the article to be more correct.