In the real world we have atoms, but atoms are disturbances in the wave function of the universe, which may not be discrete.
We know atoms pop in and out of existence in matter anti-matter pairs. Maybe the universe is performing Banach Tarski under the hood, to make something from nothing?
> we use floating-point numbers, not reals, when doing actual calculations
I don't believe only calculations made by computers to be "actual calculations". Humans were calculating thousands of years before computers were invented, using integer or real numbers (e.g pi).
We know atoms pop in and out of existence in matter anti-matter pairs. Maybe the universe is performing Banach Tarski under the hood, to make something from nothing?
> we use floating-point numbers, not reals, when doing actual calculations
I don't believe only calculations made by computers to be "actual calculations". Humans were calculating thousands of years before computers were invented, using integer or real numbers (e.g pi).