this post was submitted on 23 Oct 2024
131 points (98.5% liked)

Asklemmy

43858 readers
1612 users here now

A loosely moderated place to ask open-ended questions

Search asklemmy ๐Ÿ”

If your post meets the following criteria, it's welcome here!

  1. Open-ended question
  2. Not offensive: at this point, we do not have the bandwidth to moderate overtly political discussions. Assume best intent and be excellent to each other.
  3. Not regarding using or support for Lemmy: context, see the list of support communities and tools for finding communities below
  4. Not ad nauseam inducing: please make sure it is a question that would be new to most members
  5. An actual topic of discussion

Looking for support?

Looking for a community?

~Icon~ ~by~ ~@Double_A@discuss.tchncs.de~

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[โ€“] CanadaPlus@lemmy.sdf.org 2 points 2 weeks ago* (last edited 2 weeks ago) (1 children)

Yeah, OP seems to be assuming a continuous mapping. It still works if you don't, but the standard way to prove it is the more abstract "diagonal argument".

[โ€“] jsomae@lemmy.ml 1 points 20 hours ago* (last edited 20 hours ago)

But then a simple comeback would be, "well perhaps there is a non-continuous mapping." (There isn't one, of course.)

"It still works if you don't" -- how does red's argument work if you don't? Red is not using cantor's diagonal proof.