Iterate all possible Turing machines. Some of these will be simulations of the universe you observe. Wolfram thinks our universe is described by a few lines of code.
We don't know what the code is. In general searching for programs with specific properties or finding a proof is not computable by Rice's theorem. Testing a simulated universe requires more computation than is available in the universe. A theory of everything that includes both quantum mechanics and general relativity will probably be bizarre and not resemble either of them. What these theories have in common is that they compute what observers will observe, which is completely different than what the theory describes. Quantum mechanics is a deterministic second order differential equation whose solution is observers seeing random particles. General relativity's solutions have observers seeing space and time. On Thu, Feb 6, 2020, 3:27 PM John Rose <[email protected]> wrote: > On Thursday, February 06, 2020, at 10:51 AM, Matt Mahoney wrote: > > Occam's Razor suggests that the origin of the laws of physics is that all > possible universes exist and we necessarily observe one where intelligent > life is possible > > > All possible universes... makes you wonder which ones are impossible and > are there variable initial conditions such that the big bang is chaotic. > And does it mean that some universe-length strings have zero probability of > occurring. Could a possible universe be just one bit = 0. A dud, the naught > universe instance... zed dead. > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + delivery > options <https://agi.topicbox.com/groups/agi/subscription> Permalink > <https://agi.topicbox.com/groups/agi/T353f2000d499d93b-Mc224d0480e72c9aef14bb42f> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T353f2000d499d93b-M2718ffd5d68066973686c861 Delivery options: https://agi.topicbox.com/groups/agi/subscription
