>>11188834He should have said superseded.
We casually say a hypothesis is "disproven" to mean it's not worth adopting. "Disproven" is wrong in the sense that we never prove something right beyond the practical value of it for modeling (predicting and consistently describing)
A good example of a superceided theory is
https://en.wikipedia.org/wiki/Phlogiston_theoryand Kuhn gives a lot of examples for all the electricity theories in history.
Some concepts (temperature, force) are superseded but the old theory are still more practical not to be replaced in all applications.
Indeed, there's no reason to believe any of the word we use (time, frequency, points in space and density) will stand the test of time and not end up becoming coarse vocabulary like temperature, force or the heat-material (phlogiston) became. E.g. points in space (like R^3 or R^4 or some pseudo-Riemannian manifold) don't exist in physics theories of non-commutative geometry
https://en.wikipedia.org/wiki/Noncommutative_standard_modelI suppose time has a good chance of not being better understood soon. We won't if we keep using sets with rich classes of uncomputable predicates, I think.
