14 comments

  • A_D_E_P_T 1 hour ago
    Oh man, Stephen Wolfram and Jürgen Schmidthuber are probably fuming at the fact that this is called a "new" mathematical framework. It's all very old, and quite conventional, even popular -- not exactly the road not taken.

    What the author did was use the Physical Church-Turing thesis, and Kleene's second recursion theorem, to show that: (1) If a universe’s dynamics are computable (PCT), and (2) the universe can implement universal computation (RPCT), then (3) the universe can simulate itself, including the computer doing the simulating.

    That's basically all. And thus "there would be two identical instances of us, both equally 'real'." (Two numerically distinct processes are empirically identical if they are indistinguishable. You might remember this sort of thing from late 20th c. philosophy coursework.)

    He also uses Rice’s theorem (old) to show that there is no uniform measure over the set of "possible universes."

    It's all very interesting, but it's more a review article than a "new mathematical framework." The notion of a mathematical/simulated universe is as old as Pythagoras (~550 BC), and Rice, Church-Turing, and Kleene are all approaching the 100-year mark.

    • HPsquared 1 hour ago
      I'm no mathematician, but doesn't this come up against Gödel's incompleteness theorem? My brain has that roughly as "If you have a system and a model of that system, but the model is also part of the same system, something something, impossible"
      • bananaflag 45 minutes ago
        No, this sort of self-reflection is exactly what makes Gödel/Turing/etc impossibility results work ("strange loops" and all that).
      • keepamovin 1 hour ago
        Isn't GIT you can have a statement that is valid in a system, but can't be proven this way or that given the systems' axioms? And this is true for all such axiom systems? In other words the axioms are an incomplete description of the system.

        Maybe the problem is axiomative deduction, we need a new inference-ology?

      • anthk 54 minutes ago
        Any decent Lisp can reimplement eval, apply and the rest of functions/atom within itself.
    • ericpauley 1 hour ago
      It’s also a little silly for the same reasons discussions of theoretical compatibility often are: time and space requirements. In practice the Universe, even if computable, is so complex that simulating it would require far more compute than physical particles and far more time than remaining until heat death.
      • Borg3 46 minutes ago
        Hehe yeah.. For me, its just inverted search for the God. There must be somethink behind it, if its not God, then it must be simulation! Kinda sad, I would expect more from scientist.

        The big riddle of Universe is, how all that matter loves to organize itself, from basic particles to Atoms, basic molecues, structured molecues, things and finally live.. Probably unsolvable, but that doesnt mean we shouldnt research and ask questions...

        • Aerroon 17 minutes ago
          >The big riddle of Universe is, how all that matter loves to organize itself, from basic particles to Atoms, basic molecues, structured molecues, things and finally live.. Probably unsolvable, but that doesnt mean we shouldnt research and ask questions...

          Isn't that 'just' the laws of nature + the 2nd law of thermodynamics? Life is the ultimate increaser of entropy, because for all the order we create we just create more disorder.

          Conway's game of life has very simple rules (laws of nature) and it ends up very complex. The universe doing the same thing with much more complicated rules seems pretty natural.

          • estearum 11 minutes ago
            Yeah, agreed. The actual real riddle is consciousness. Why does it seems some configurations of this matter and energy zap into existence something that actually (allegedly) did not exist in its prior configuration.
            • A_D_E_P_T 1 minute ago
              I'd argue that it's not that complicated. That if something meets the below five criteria, we must accept that it is conscious:

              (1) It maintains a persisting internal model of an environment, updated from ongoing input.

              (2) It maintains a persisting internal model of its own body or vehicle as bounded and situated in that environment.

              (3) It possesses a memory that binds past and present into a single temporally extended self-model.

              (4) It uses these models with self-derived agency to generate and evaluate counterfactuals: Predictions of alternative futures under alternative actions. (i.e. a general predictive function.)

              (5) It has control channels through which those evaluations shape its future trajectories in ways that are not trivially reducible to a fixed reflex table.

              This would also indicate that Boltzmann Brains are not conscious -- so it's no surprise that we're not Boltzmann Brains, which would otherwise be very surprising -- and that P-Zombies are impossible by definition. I've been working on a book about this for the past three years...

        • mensetmanusman 4 minutes ago
          You expect scientists to not ask :‘what is behind all this?’

          Ha

      • FabHK 1 hour ago
        Yes, is that (obvious) point being addressed in the paper? At first skimming, it just says that a "sufficiently souped up laptop" could, in principle, compute the future of the universe (i.e. Laplace's daemon), but I haven't seen anything about the subsequent questions of time scales.
      • Traubenfuchs 35 minutes ago
        The real universe might be different and far more complex than our simulated reality. Maybe a species that can freely move within 4 or 5 dimensions is simulating our 3D + uni directional time reality just like we „simulate“ reality with Sim City and Sims.
    • bsenftner 26 minutes ago
      Okay, here's the thing: this is creating revenue, this is fascinating literature for a huge class of armchair scientists that want to believe, want to play with these mental toys, and are willing to pay for the ability to fantasize with ideas they are incapable of developing on their own. This is ordinary capitalism, spinning revenues out of sellable stories.
    • NoahZuniga 1 hour ago
      Thanks for this great comment!

      > He also uses Rice’s theorem (old) to show that there is no uniform measure over the set of "possible universes."

      I assume a finite uniform measure? Presumably |set| is a uniform measure over the set of "possible universes".

      Anyway if I understood that correctly, than this is not that surprising? There isn't a finite uniform measure over the real line. If you only consider the possible universes of two particles at any distance from eachother, this models the real line and therefore has no finite uniform measure.

  • CuriouslyC 1 hour ago
    The simulation hypothesis takes something reasonable, that reality is "virtual," and runs it into absurdity.

    If the universe isn't "real" in the materialist sense, that does not imply that there's a "real" universe outside of the one we perceive, nor does it imply that we're being "simulated" by other intelligences.

    The path of minimal assumptions from reality not being "real" is idealism. We're not simulated, we're manifesting.

    • empiricus 6 minutes ago
      Sorry, I don't understand what you are saying. What do you mean by "something reasonable, that reality is virtual"? In many ways, by definition, reality is what is real not virtual. I have other questions, but this is a good start :)
    • brap 16 minutes ago
      I think the underlying assumption is that we are “real”, meaning our existence is grounded in some undisputed “reality”. So if what we perceive as the universe isn’t real, then there has to be some other real universe that is simulating it in some way.
    • EdgeCaseExist 1 hour ago
      Exactly, it's paradoxical; how would you define the universe as a simulation, without being on the same substrate! The title should have focused more on the computability of the universe, as we know it.
  • EdgeCaseExist 1 hour ago
    The author of the article on the site, is the author of the paper!
    • mg74 1 hour ago
      Which of him is simulating which?
  • quantum_state 1 hour ago
    Hope folks involved in this type of exploration have it clear in mind that what they are reasoning about it’s strictly the model of the real world only. It’s far from obvious that nature follows anything remotely computational.
  • daoboy 51 minutes ago
    I always feel like these frameworks rely on a semantic sleight of hand that sounds plausible on the surface, but when you drill down a bit they render words like 'simulation' 'reality' or 'truth' as either unintelligible or trite, depending on how you define them.
  • mgaunard 1 hour ago
    It's starting with the assumption that the simulation would reproduce the universe perfectly; this eliminates a lot of possibilities.

    Many would expect that the parent universe would be more sophisticated, potentially with more dimensions, that we can only glimpse through artifacts of the simulation.

    • te7447 49 minutes ago
      I've always wondered how you'd be able to rigorously distinguish breaking out of the simulation from just discovering novel things about your current universe.

      Is a black hole a bug or a feature? If you find a way to instantly observe or manipulate things at Alpha Centauri by patterning memory in a computer on Earth a special way, is that an exploit or is it just a new law of nature?

      Science is a descriptive endeavor.

      I guess that some extreme cases would be obvious - if a god-admin shows up and says "cut that out or we'll shut your universe down", that's a better indication of simulation than the examples I gave. But even so, it could be a power bluff, someone pretending to be a god. Or it could be comparable to aliens visiting Earth rather than gods revealing themselves - i.e. some entity of a larger system visiting another entity of the same system, not someone outside it poking inside.

    • anthk 45 minutes ago
      Also that Universe could use entities similar to hard and soft links (quantum entanglement), memory deduplication and so on.

      How many people did we met in the world with similar face appearances and even personalities, almost like you are finding copycats everywhere? Also, it happens as if some kind of face/shape would just have a single personality with minimal differences spread over thousands of lookalikes...

  • croes 21 minutes ago
    Related?

    > Consequences of Undecidability in Physics on the Theory of Everything

    https://news.ycombinator.com/item?id=45770754

  • morpheos137 29 minutes ago
    These models get things backwards. The universe is a wave function in logic space. It appears discrete and quantized because integers composed of primes are logically stable information entropy minimal nodes. In other words the universe is the way it is because it depends on math. Math does not depend on the universe. Logic is its own "simulation." Math does not illuminate physics, rather physics illuminates math. This can be shown by the construction of a filter that cleanly sorts prime numbers from composites without trial division but by analysis of the entropic harmonics of integers. In other words what we consider integers are not fundamental but rather emergent properties of the minimal subjunctive of superposition of zero (non existence) and infinity (anything that is possible). By ringing an integer like a bell according to the template provided by the zeta function we can find primes and factor from spectral analysis without division. Just as integers emerge from the wave as stable nodes so do quanta in the physical isomorphism. In other words both integers and quanta are emergent from the underlying wave that is information in tension between the polarity of nonexistence and existence. So what appears discrete or simulated is actually an emergent phenomenon of the subjunctive potential of information constrained by the two poles of possibility.
  • boomskats 1 hour ago
    Zero cost abstractions! I'd almost be interested in Bostrom's inevitable physics-based counter (if he wasn't such a racist bellend).
  • anthk 37 minutes ago
  • nrhrjrjrjtntbt 1 hour ago
    Like running Kubernetes in a Docker container.
  • jonathanstrange 36 minutes ago
    Here is one thing I don't understand about these kind of approaches. Doesn't a computational simulation imply that time is discrete? If so, doesn't this have consequences for our currently best physical theories? I understand that the discreteness of time would be far below what can be measured right now but AFAIK it would still makes a difference for physical theories whether time is discrete or not. Or am I mistaken about that? There are similar concerns about space.

    By the way, on a related note, I once stumbled across a paper that argued that if real numbers where physically realizable in some finite space, then that would violate the laws of thermodynamics. It sounded convincing but I also lacked the physical knowledge to evaluate that thesis.

  • raverbashing 57 minutes ago
    We can't even run docker inside docker without making things slower, the simulator hypotheses is frankly ridiculous
    • lioeters 45 minutes ago
      That's what a simulated universe running inside Docker would say.
      • raverbashing 38 minutes ago
        Nobody is going to pay all those docker licenses /s
    • croes 24 minutes ago
      You would be living inside docker and wouldn’t know how fast the outside is. Maybe lightspeed is a limit inflicted by the simulation.
  • mw67 1 hour ago
    Funny people still call that "simulation hypothesis". At some point they should try to do some Past lives regressions or Out of body experience (astral projection). Then they'll know for sure what this reality is about.