this post was submitted on 10 Dec 2024
129 points (99.2% liked)

Math Memes

1773 readers
132 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 2 years ago
MODERATORS
 
top 7 comments
sorted by: hot top controversial new old
[–] Draghetta@lemmy.world 52 points 2 months ago (2 children)

Jesus says that for every number in an empty set it is true that 1=2?

That’s formally correct, any property can be attributed to elements of an empty set - for example, every unicorn currently living in my house is afraid of tea.

This is counterintuitive because for this to be true you’d expect me to have to prove the existence of my unicorns and then their phobias, but formally speaking I just need for counter-examples to be impossible.

Logically speaking the negation of “all my unicorns are afraid of tea” is “at least one unicorn is not afraid of tea”, which is not possible since I have no unicorns, therefore my sentence is formally correct. Even though people wouldn’t accept this because it is counterintuitive.

Did I get the joke?

[–] walter_wiggles@lemmy.nz 32 points 2 months ago (2 children)

You got it bro. Should do something about those unicorns though, a civilized unicorn would drink tea.

[–] threelonmusketeers@sh.itjust.works 9 points 2 months ago (1 children)

By that logic, wouldn't "every unicorn is my house enjoys tea" also be *true*, because the negated "at least one unicorn in my house dislikes tea" can't be proven?

[–] yetAnotherUser@discuss.tchncs.de 7 points 2 months ago* (last edited 2 months ago)

Yes, that's also true. The empty set is the only set for which every element has property A and doesn't have property A simultaneously.

For example:

If the Eiffel Tower is on the Moon, then 1=2 and 1≠2.

[–] Ediacarium@feddit.org 3 points 2 months ago

Agreed, that's why it's also true that every unicorn currently living in his house enjoys tea.

[–] lennivelkant@discuss.tchncs.de 1 points 1 month ago

any property can be attributed to elements of an empty set

That's the vacuous truth of the joke. It's irrefutable, but because it literally applies to nothing by definition, it's as worthless as anything can possibly get.

Did I get the joke?

Yes.

(I love your analysis and example, by the way. If you're gonna dissect jokes, this is the way to do it.)

[–] sexy_peach@feddit.org 5 points 2 months ago* (last edited 2 months ago)

There's nothing wrong here, usually there is a rule after the colon. So 1=2 is the rule here