4 ms·

In defence of the idea, if all physics is found to have a logical and mathematical basis, then doesn't all physical expression and interaction become computatio

In defence of the idea, if all physics is found to have a logical and mathematical basis, then doesn't all physical expression and interaction become computation?

sudosysgen 6y ago
Couldn't it be the reverse? Couldn't computation be the closest approximation to pure expression and interaction? Seems to me that this is more natural. Also, I will bet 500$ that no one will be able to prove that all physics has a logical and mathematical basis within my lifetime :)
- h0l0cube 6y ago
  I bet the same. I'm not sure that hard determinism could ever be proven, even if it were the case.
krastanov 6y ago
"Computable" is a bit more strict than "logical and mathematical". We can define many perfectly consistent processes with perfectly consistent "observable values", which are inherently uncomputable (as in, there is no algorithm, even an inefficient one, that runs on Turing machines, capable of calculating the observable). Here is my favorite example: https://en.wikipedia.org/wiki/Chaitin%27s_constant https://en.wikipedia.org/wiki/Chaitin%27s_constant
- h0l0cube 6y ago
  I guess much of what I'm saying counts on hard determinism, and computation that isn't limited to what can be achieved with boolean logic. I'm talking out my ass here a little, but I picture quantum annealing as a form of computation where quantum physics effects are the actual execution engine.
  - krastanov 6y ago
    Quantum effects are still things we can simulate on a Turing machine with a program that halts (just inefficiently slow given our current knowledge of complexity theory). Bringing in quantum effects does not make things uncomputable.
    - h0l0cube 6y ago
      I now see the distinction you're trying to make about computability, so does this revised claim satisfy you? > if all calculation of physical effects are found to be reducible to mathematical procedure with definite outcomes, then aren't real-world physical effects execution of computation? There's probably room for semantic disagreements here. It does seem that the definition is somewhat tautological, but I'd claim that that's because the two are equal.
      - krastanov 6y ago
        To an extent, but I think there is still a counter example that gets to why this is such a subtle distinction (computable vs "reducible to a mathematical procedure"). Consider an "analog" computer that is in principle noise-free (i.e. elementary operations like addition on this hardware are performed by adding up two analog quantities, e.g. voltages or currents, and these quantities are infinitely smooth, not discreticized/digital, and not disturbed by hardware imperfections and noise). I can create a model of such a device in theory and if I use only the axioms of classical physics (which we now know are wrong), then such a device will be capable of computing and representing numbers that can not be expressed by a Turing machine (i.e. it would be not just faster than a Turing machine or a quantum computer, it will be capable of things that a Turing machine can not ever do). This is a device that one can imagine existing, and to quote you it is "reducible to mathematical procedure with definite outcomes". It just happens to be a mathematical procedure we find to be rather unreasonable for our universe (because of unavoidable classical thermal noise and non-classical quantum effects that cause discretization). Some physicists and computer scientists (me included) like to take this as a starting point, as a reason for why certain theories of physics are probably wrong. I personally find this to be a very elegant, powerful, and subtle approach, up there with Noether's theorem or the second law of thermodynamics. "A theory of physics can not be true if it permits the construction of a computing device that can solve the halting problem" seems pretty much on par with "A theory of physics can not be true if it disobeys conservation laws / causality / locality / entropy considerations". All of this with the caveat that one should not be dogmatic about these vague statements, rather just take them as a general guideline.

In defence of the idea, if all physics is found to have a logical and mathematical basis, then doesn't all physical expression and interaction become computation?

sudosysgen 6y ago

Couldn't it be the reverse? Couldn't computation be the closest approximation to pure expression and interaction? Seems to me that this is more natural. Also, I will bet 500$ that no one will be able to prove that all physics has a logical and mathematical basis within my lifetime :)

h0l0cube 6y ago
I bet the same. I'm not sure that hard determinism could ever be proven, even if it were the case.

krastanov 6y ago

"Computable" is a bit more strict than "logical and mathematical". We can define many perfectly consistent processes with perfectly consistent "observable values", which are inherently uncomputable (as in, there is no algorithm, even an inefficient one, that runs on Turing machines, capable of calculating the observable). Here is my favorite example: https://en.wikipedia.org/wiki/Chaitin%27s_constant https://en.wikipedia.org/wiki/Chaitin%27s_constant

h0l0cube 6y ago
I guess much of what I'm saying counts on hard determinism, and computation that isn't limited to what can be achieved with boolean logic. I'm talking out my ass here a little, but I picture quantum annealing as a form of computation where quantum physics effects are the actual execution engine.
- krastanov 6y ago
  Quantum effects are still things we can simulate on a Turing machine with a program that halts (just inefficiently slow given our current knowledge of complexity theory). Bringing in quantum effects does not make things uncomputable.
  - h0l0cube 6y ago
    I now see the distinction you're trying to make about computability, so does this revised claim satisfy you? > if all calculation of physical effects are found to be reducible to mathematical procedure with definite outcomes, then aren't real-world physical effects execution of computation? There's probably room for semantic disagreements here. It does seem that the definition is somewhat tautological, but I'd claim that that's because the two are equal.
    - krastanov 6y ago
      To an extent, but I think there is still a counter example that gets to why this is such a subtle distinction (computable vs "reducible to a mathematical procedure"). Consider an "analog" computer that is in principle noise-free (i.e. elementary operations like addition on this hardware are performed by adding up two analog quantities, e.g. voltages or currents, and these quantities are infinitely smooth, not discreticized/digital, and not disturbed by hardware imperfections and noise). I can create a model of such a device in theory and if I use only the axioms of classical physics (which we now know are wrong), then such a device will be capable of computing and representing numbers that can not be expressed by a Turing machine (i.e. it would be not just faster than a Turing machine or a quantum computer, it will be capable of things that a Turing machine can not ever do). This is a device that one can imagine existing, and to quote you it is "reducible to mathematical procedure with definite outcomes". It just happens to be a mathematical procedure we find to be rather unreasonable for our universe (because of unavoidable classical thermal noise and non-classical quantum effects that cause discretization). Some physicists and computer scientists (me included) like to take this as a starting point, as a reason for why certain theories of physics are probably wrong. I personally find this to be a very elegant, powerful, and subtle approach, up there with Noether's theorem or the second law of thermodynamics. "A theory of physics can not be true if it permits the construction of a computing device that can solve the halting problem" seems pretty much on par with "A theory of physics can not be true if it disobeys conservation laws / causality / locality / entropy considerations". All of this with the caveat that one should not be dogmatic about these vague statements, rather just take them as a general guideline.