Hacker News Reader

Both representations have the feature that it's impossible to check whether two real numbers are equal.

Actually with the physical objects you could use one to occlude the other and test for light passage

Not with infinite precision.

Importantly, this is actually true of the real numbers.

I don't think I believe in "actual" real numbers.