My understanding of Seth Lloyd’s thesis [1][2][3] is that information is fundamental and any interaction (change, dynamics) involves computation. This is in line with John A. Wheeler’s “it from bit” program. You can reach Wheeler’s classic essay from the link below.
“INFORMATION, PHYSICS, QUANTUM: THE SEARCH FOR LINKS” by John A. Wheeler
There is an implication of this claim for theory construction. See below.
Computability
“A mathematical problem is computable if it can be solved in principle by a computing device. Some common synonyms for “computable” are “solvable”, “decidable”, and “recursive”. Hilbert believed that all mathematical problems were solvable, but in the 1930’s Gödel, Turing, and Church showed that this is not the case. There is an extensive study and classification of which mathematical problems are computable and which are not.” – [4]
Implication for theory construction
Most real numbers are not computable. If someone insists on “interaction” being a computation then they have to construct the dynamical theory using integer numbers. In such a theory space and time have to be discrete.
Even when the theory is based on complex, quaternion, or octonion numbers the basis elements of these have to be discrete variables. In my opinion this is too limiting. Maybe “interaction” is not a computation. Edward Witten expressed a similar thought.
“On the real numbers, I’ve got to plead ignorance or agnosticism. It is something I wonder about, but I’ve tried to imagine what it could mean to not use the continuum of real numbers, and the one logician I tried discussing it with didn’t help me.” – Edward Witten [5]
References
[1] https://web.mit.edu/2.111/www/notes09/spring.pdf
[2] https://www.edge.org/conversation/seth_lloyd-seth-lloyd%E2%80%94life-what-a-concept
[3] https://www.edge.org/conversation/seth_lloyd-the-computational-universe
[4] https://plato.stanford.edu/entries/computability/
[5] https://www.quantamagazine.org/edward-witten-ponders-the-nature-of-reality-20171128/
Suresh Emre
Renaissance Universal 