I agree! "Resource" instead of "value" and "reference" instead of "variable" would bring this in line with the program logic community, from which many of these ideas spring or draw inspiration from.
Reference can't be used for this article since it has a specific meaning in Rust, i.e the most basic safe pointers, those with the & syntax, are references.
I believe you are confusing rational for real numbers. Rational numbers really do map to the integers, but I believe I can "break" any purported isomorphism from reals to ints, by taking two adjacent ints and asking what number the midpoint between the corresponding reals map to.
Please be specific. I never said the mapping has nice properties regarding the ordering.
BTW I know rational numbers map to integers, and hence any length tuple can be mapped to integers by pairwise combining them in similar ways. But if any length tuple of integers can map to a single integer, why can't an infinitely long set of integers map to an integer? Like the string of digits in an irrational number represented as a decimal?
The problem with mapping the reals to the integers is that a list of real numbers is infinite in "two directions". Each real can be potentially described with an infinite number of digits, and you can have an infinite list of real numbers (i.e. infinite sequences of digits). This is, I believe, the basis for Cantor's diagonal argument, which is a quite beautiful proof of there being more reals than integers.
Giants can afford to skimp on any single customer relationship. Go read Amazon reviews, etc...
The one-person show with only continental shipping taking PayPal payments for their hobby business absolutely cannot afford to screw over 10% of their customer base. PayPal (or any other provider) has no patience, and anecdotally will always side with the customer.