Math Memes

3786 readers

2 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 3 years ago

MODERATORS

NotAUser@lemmy.blahaj.zone

Cantor's Dilemma (programming.dev)

submitted 4 months ago by eah@programming.dev to c/mathmemes@lemmy.blahaj.zone

13 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] FishFace@piefed.social 0 points 4 months ago (1 children)

Ackshually the text says that A is at least ℵ_2 so it could be way more

[–] ns1@feddit.uk 0 points 4 months ago (2 children)

I thought that as well for a while so I was waiting for someone to say that! My claim that A is exactly ℵ~2~ is based on it saying "unique", meaning there's only 1 cardinality with the property described, between ℵ~0~ and A (which must be ℵ~1~). But I agree the wording is not very clear. The version without uniqueness is still a dilemma, it just means that it's also possible for A to be larger than B even if CH is false.

[–] FishFace@piefed.social 0 points 4 months ago

Yeah I noticed that and thought I had deleted my comment! Oh well!

[–] eah@programming.dev 0 points 4 months ago (1 children)

How would you write it? My goal was to write it in a way that would be most understandable to the most people (so, avoid using symbols like ℵ) while still being concise.

[–] ns1@feddit.uk 0 points 4 months ago

Not sure honestly, I can think of alternatives but I don't know if they're better. "Isomorphism of sets" is a fancy way of saying "bijection", and "unique set up to isomorphism" is the same as "unique cardinal" but as you say it's better to use terms that everyone knows. It might just be that "unique" being right at the beginning makes it easy to forget. Decoding the description is a fun part of the problem!