4 ms·
Not even the rationals are needed here. Just the rationals whose denominators are powers of two, for example, will do it (these have binary representations wit
by pfdietz 2y ago
Not even the rationals are needed here. Just the rationals whose denominators are powers of two, for example, will do it (these have binary representations with a finite number of digits).