• jsomae@lemmy.ml
    link
    fedilink
    arrow-up
    1
    arrow-down
    3
    ·
    edit-2
    22 hours ago

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

    Edit: for instance, it could map to 29, or -7.

    • CileTheSane@lemmy.ca
      link
      fedilink
      arrow-up
      2
      ·
      21 days 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.

    • CanadaPlus@lemmy.sdf.org
      link
      fedilink
      arrow-up
      2
      ·
      edit-2
      21 days 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
        1
        ·
        edit-2
        22 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.

    • red@lemmy.zip
      link
      fedilink
      English
      arrow-up
      1
      ·
      20 days 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

      • jsomae@lemmy.ml
        link
        fedilink
        arrow-up
        1
        ·
        edit-2
        22 hours ago

        Then you did not prove that there is no discontiguous mapping which maps [1, 2] to the natural numbers. You must show that no mapping exists, continugous or otherwise.