[dahart]

Pairing functions only work on countable sets. This is funny because Cantor is the same person who proved real numbers are uncountable, and that there is no pairing function between 1 real number and naturals, let alone 2.

https://en.m.wikipedia.org/wiki/Countable_set

[Y_Y]

I'm claiming a "pairing function" between single reals and pairs of reals. They have respective cardinalities 2^N0 and 2*2^N0=2^N0 where N0<2^N0 is the cardinality of the naturals.

[dahart]

You're right. I was wrong. I found an explanation of how to make interleaving method work. https://math.stackexchange.com/a/183383