3 ms·

this argument is very slightly wrong, because I could pick 1.0000... for all of my numbers, and then choose the diagonal .99999...

• kgwgk 4y ago
  If the “map” goes to 1.0 only you don’t need the argument to deduce that not every real is represented.