Hacker News Reader

peter_m1on Computation as a universal and fundamental concept

We can still test the theory that computation describes physical reality with experiment (presumably it makes predictions). The scientific method still holds.

peter_m1on Computation as a universal and fundamental concept

Here is a brief history of computability I wrote as a blog a few months ago, https://deeplp.com/blogs/f/the-birth-of-computability-theory. Hope it's helpful to the conversation.

peter_m1on Computation as a universal and fundamental concept

Your intuition could also be dead wrong.

peter_m1on Computation as a universal and fundamental concept

The computational view of the universe and the nature of reality has provided us with some new insights.

peter_m1on Computation as a universal and fundamental concept

Theoretical computer science is where it's at.

peter_m1on Computation as a universal and fundamental concept

Attention is all we need.

peter_m1on Computation as a universal and fundamental concept

The theory of general relativity answers this exact question. It has been tested experimentally and has been found to be correct in the classical regime. By correct I mean that the experimental data agrees with theoretical prediction.

peter_m1on Computation as a universal and fundamental concept

Yes, these are all our attempts at explaining the nature of reality. A kind of reaching into the unknown. A desire to understand the universe and our place in it.

peter_m1on Computation as a universal and fundamental concept

The universe as a computer/computation has been explored by many (e.g., see John Wheeler and Seth Lloyd). However, the laws of physics give us a lot more predictions, so their explanatory power tend to be greater. For example, the nature of space and time.

peter_m1on Computation as a universal and fundamental concept

In this case quantum thermo.

peter_m1on Computation as a universal and fundamental concept

No, you can prove things hold in the abstract mathematically, don't need to resort to physical systems.

peter_m1on Computation as a universal and fundamental concept

A related question might be, what's the difference between mathematical (Godel), computational (Turing,) and physical (Yang-Mills) undecideabilty/computability?

peter_m1on Computation as a universal and fundamental concept

Quantum mechanics is intrinsically probabilistic.

peter_m1on Computation as a universal and fundamental concept

In physics we don't talk about decidability, but solvability.

peter_m1on Computation as a universal and fundamental concept

There is such thing as a quantum Turing machine you know (Deutsch 1985).

peter_m1on Computation as a universal and fundamental concept

Also, correct me if I'm wrong, the mass gap problem involves quantum physics, not classical, so the underlying math/logic is different.

peter_m1on Computation as a universal and fundamental concept

A quantum Turing machine would be needed to simulate a truly quantum process. Stochasticity exists in classical systems, but that's an entirely different type of randomness.

peter_m1on Computation as a universal and fundamental concept

That would be a quantum Turing Machine as radioactivity is a quantum process.