Reverse an infinite stream/lazy list

[pumpkinhead]

@bh

So, I claim this fraction we just constructed isn't in the list. Because if it is in the list, it has to be paired with some positive integer n. But the fraction that's paired with n isn't this fraction, because they differ in the nth digit. (Maybe other digits too, but for sure in that digit.)

How does that mean it can't be paired with an integer? Can't you just get a new integer? If the set of integers is infinite, then you should always be able to get a new integer, right? I remember I watched a video that explained this long ago, it was on YouTube made by a guy named Vsauce. Somehow those videos are entertaining. except i forgot most of what the video said

@bh

Note: Don't be misled by the even integers example into thinking that the correspondence between two sets of numbers has to follow the size ordering of the numbers. For example, here's how to put the positive integers in one-to-one correspondence with the set of all the integers: You rearrange the integers this way:

0, 1, -1, 2, -2, 3, -3, 4, -4, ...

and then you can line them up with the positive integers.

I don't know what size ordering means