I considered deleting the post, but this seems more cowardly than just admitting I was wrong. But TIL something!

  • FishFace@lemmy.world
    link
    fedilink
    arrow-up
    5
    ·
    edit-2
    6 months ago

    There is a function which, for each real number, gives you a unique number between 0 and 1. For example, 1/(1+e^x). This shows that there are no more numbers between 0 and 1 than there are real numbers. The formalisation of this fact is contained in the Cantor-Schröder-Bernstein theorem.