• carmo55@lemmy.zip
    link
    fedilink
    English
    arrow-up
    4
    ·
    12 小时前

    There are infinitely many rational numbers between any two integers (or any two rationals), yet the rationals are still countable, so this reasoning doesn’t hold.

    The only simple intuition for the uncountability of the reals I know of is Cantor’s diagonal argument.

    • mrmacduggan@lemmy.ml
      link
      fedilink
      English
      arrow-up
      1
      ·
      10 小时前

      You can assign each rational number a single unique integer though if you use a simple algorithm. So the 1:1 correspondence holds up (though both are still infinite)