My point is that theorems are provable in a logical sense. How will you prove that the mathematical representation of an empirical measurement of nature is true in the same sense?
Arguably this is down to philosophy of science, and I admit to take to the ideas of Karl Popper on falsification as a criterion for sound physical theories.
Arguably this is down to philosophy of science, and I admit to take to the ideas of Karl Popper on falsification as a criterion for sound physical theories.