• jsomae@lemmy.ml
    link
    fedilink
    arrow-up
    0
    ·
    2 months ago

    Your explanation is wrong. There is no reason to believe that “c” has no mapping.

    • CanadaPlus@lemmy.sdf.org
      link
      fedilink
      arrow-up
      0
      ·
      edit-2
      2 months ago

      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
        link
        fedilink
        arrow-up
        0
        ·
        edit-2
        1 month 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.

    • CileTheSane@lemmy.ca
      link
      fedilink
      arrow-up
      0
      ·
      2 months ago

      Give me an example of a mapping system for the numbers between 1 and 2 where if you take the average of any 2 sequentially mapped numbers, the number in-between is also mapped.

    • red@lemmy.zip
      link
      fedilink
      English
      arrow-up
      0
      ·
      2 months ago

      because I assumed continuous mapping the number c is between a and b it means if it has to be mapped to a natural number the natural number has to be between 22 and 23 but there is no natural number between 22 and 23 , it means c is not mapped to anything