Computation as a universal and fundamental concept

I think it’s easier to conceive of it like this: Each point in spacetime IS storage. Storage can be queried by interacting with it (in a variety of ways), though the process of querying affects the value not only of the querier, but also the queried, which may have side-effects as well. The interaction itself is the computation.

A simple example for the computation: It’s like placing boxes next to each other. Yes I could say 1 box + 3 boxes = 4 boxes, via explicit calculation. I could also simply place 1 box next to three boxes, and without having to explicitly calculate, by nature of the interaction, the result (4 boxes) has been produced

There is no background computation or storage. The universe IS computation and storage. Each spacetime quanta IS storage, and each interaction IS computation.

Thanks for the link, great read. I think I get you here; in the context of a DSL where it's impossible to travel more instructions than X, suddenly you don't have a halting problem anymore as you've artificially limited that language's ability to travel beyond a known/fixed set of states.

The second you wield a language which has constructs like Haskell, where in theory you can iterate over an infinite list of items (thinking about it even any language where for i in input_var is possible); the halting problem hits you in the face like a brick.

Its almost a chicken and the egg problem, where you can't know how long it will run for/whether it will halt without already knowing the answer, but if you knew the answer, you wouldn't need the program to find it.

My head is spinning.

I'd have to look deeper into his views, but I've already come across what seem like similar claims that try to attribute computation to the laws of physics or to matter in general or whatever.

However, these rest on category errors. Consider two characterizations of computation:

1. A mental process constituted by logical and intentional acts.

2. A mathematical model or formalism (or a set of formally equivalent formalisms).

In the case of (1), intentionality rules out computation as an extra-mental phenomenon. Things in the world aren't about something else; they just are what they are. But computation as a mental act is about something else. To claim otherwise would be like claiming deduction is a broad feature of reality, which is effectively some kind of panpsychism.

In the case of (2), if it's a mathematical model, then either by definition it doesn't exist outside the mind as such, or it must be instantiated in some objective manner. The trouble with finding instantiations is that it's not clear what constitutes an instantiation. Can you find correspondences? Sure. In fact, our physical computing machines correspond to these models in some way. But instantiation is more than mere correspondence, and this becomes even more the case when you consider that the lambda calculus corresponds to the Turing machine.

Another problem is that even mathematical models of computation cannot be said to encode mathematical operations as such. Is a Turing machine moving symbols around on an abstract tape actually adding two numbers? I would say that it is merely simulating the addition by producing results that afford that kind of interpretation.

I like how every time a new technology is invented and becomes big, people start to think it explains everything. Like how in the 16th/17th centuries some people thought the universe was a big clock. Or how in the 19th centuries people thought the universe was like a big steam engine. Or now we think the universe is a big computer.

Not saying this is wrong or that I've watched all of the lectures above or anything, but it's just funny to imagine that aliens might look at us the same way we could look at a monkey society saying that the universe is like a big one of those rocks they use to smash nuts open.

Computation and information really does seem universal though, so this is just a funny thought and not serious commentary.

It's a gap between physics and mathematics. Undecidable statements exist mathematically, but don't exist physically: mathematics and physics have different concepts of existence. Ironically, even mathematical universe hypothesis deliberately limits mathematics-as-physics to specifically resemble physics of a spontaneous material world, and this limitation is just an axiom.