2 ms·
The set of real numbers is as big as the set of functions from the naturals to themselves. In fact, that's a pretty convenient way of modeling the real numbers
by Retra 10y ago
The set of real numbers is as big as the set of functions from the naturals to themselves. In fact, that's a pretty convenient way of modeling the real numbers sometimes: as systematic names for functions on natural numbers.