Not quite, although I agree the approach I describe also applies to establish that the laws of physics exist.
But I can write an equation for an inverse cube law of gravity, which doesn’t apply to this universe.
Yes, and if you and the alien both write down a cube law and predict what orbits would be like in a universe where it were true, you would reach the same conclusions.
Not quite, although I agree the approach I describe also applies to establish that the laws of physics exist.
Yes, and if you and the alien both write down a cube law and predict what orbits would be like in a universe where it were true, you would reach the same conclusions.
That doesn’t establish that mathematics is true by correspondence,.
So what would you describe as the cause of the correlation in the orbits calculated by myself and the alien?
Running off the same axioms and references rules).
In a sense that means the same laws, but the laws are not independently existing entities that mathematical truths correspond to.
In the Philip K. Dick sense they are.
In the PKD sense, they are not, because finitists and constructivists adopt different axioms able get different results,