21
Geek Speak / Re: What is 'maths'?
« on: 02/12/2024 00:41:38 »So what you probably mean by "mathematical truth" is that the statement is true under the systems of mathematics that we do commonly use. We hope that our preferred systems of Mathematics have intrinsic validity and integrity such as "consistency" - but we will never know.Except that certain mathematical truths do appear to be entirely consistent with modern physics. So it's always been true that, say, in any given quantum state time is always linear. This is something that is part of proving that a given sequence of quantum "gating operations" on pairs of or on single states will halt properly, with an output.
So quantum logic gives us a kind of backwards narrative: to prove that a theory is mathematically true means proving it can be an algorithm with no errors. No logical errors. If a program works correctly it will have always worked correctly even before anyone builds a computer.
But yes, Godels theorem and Turing aside; we can still prove things except we need axioms and we can't do more than assume they are true. Then we use the logic based on that assumption to show there are no contradictions (or errors in the algorithm).
But, yeah, time is linear. Who knows why that's true?
I'll try to expound a little: if the only way to "prove" that time is linear in quantum experiments, up to measurement, then what is measurement? How do you prove you measured the output of some internal state? It seems you can't do this algorithmically without assuming that measurement is possible even if the mathematical formulation (in the theory) doesn't predict any such thing.
Moreover, Godel's and Turing's theorems have the same problems with axioms. Time is axiomatic, since, we can't keep any around to prove it exists.