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.

Either way 2+2=0 can be true.

Only because 4=0. So 2+2=4 is true, and the central claim of your substack post is wrong.

Correct?

No. Some basic mistakes:

  • Isomorphy requires preservation of structure, in our case the structure of respective additions. This is not the case: Addition in {0,1,2,3} works different than in ℤ/4ℤ.

  • We don't say an element in a structure is isomorphic to one in another.

  • (ℤ/4ℤ)*is an entirely different structure. For starters, it contains only 3 elements. (The * signifies we're excluding the 0.)

Only because 4=0.

So 2+2=4=0="not what you think". Therefore the claim of my post is true.

But 0 is what we think, because 0 is 4. You're just changing the representation. It's like saying "You think 2+2 is '4', but it's actually 'four'".

Also, the claim in your post was

So there you have it: 2+2 is not necessarily 4.

which is wrong whether or not 2+2=0 can be true.

But 0 is what we think, because 0 is 4.

Nobody thinks that 0 is 4.

Nevertheless it is the case. We think 4, 4 is 0, therefore "0=not what you think" isn't true.

"You" are less than 0.0001% of the population, so virtually nobody.

Did you just claim less than 0.0001% of people think 2+2=4?

4 is what everyone thinks, 0 is merely a different representation of the same object. So people are giving the correct answer, you're just insisting on a different formulation.

Did you just claim less than 0.0001% of people think 2+2=4?

No. That less than 0.0001% of people think 2+2=0?

Then explain how that's supposed to be a response to my point, please.

My point being that in Z/4Z, 2+2=0 and 2+2=4 are the same statement. Ergo, 2+2=0 is merely another way to write down what we think. We might not literally think it, but we are thinking an equivalent statement.

More comments