Skip to main content
MANIFOLD
Do Manifolders think 2+2 is equal to four?
27
Ṁ490Ṁ3.6k
resolved Nov 13
Resolved
YES

Resolves YES iff the majority of votes in this poll are for 4:

Market context
Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ40
2Ṁ23
3Ṁ21
4Ṁ19
5Ṁ14
Sort by:

The expression "2+2" reduces to 4 but it is not equal to "4": One has 3 characters and the other has 1.

predictedYES

@Mira That's just splitting hairs. Even type theorists, who care a lot about different definitions of equality, consider them equal.

predictedYES

@Mira Of course the string "2+2" is not equal to the string "4", but obviously that's not what the question is asking.

i regret my trade already