An Elegant Pairing Function [pdf](szudzik.com) |
An Elegant Pairing Function [pdf](szudzik.com) |
For R x R, I would mix the bits of the two numbers
[a0 a1 a2 a3...]
[b0 b1 b2 b3...]
to [a0 b0 a1 b1 a2 b2 a3 b3...]
I am not sure that is a computable function for infinite-length bit sequences, though. Maybe none of those mapping functions are?