Remix.run Logo
kragen 4 days ago

That "density" is how Euclid defined the irrational real numbers in terms of the rationals; his definition, cast into modern language by Dedekind, is what we normally use today.