> A "random variable" is actually a measurable deterministic function from the set of possible outcomes of some experiment to the real numbers.

I don't think that this was the formalization that was used when the term was coined, given how late set and measure theory were formalized.