Their findings, published in the Journal of Holography Applications in Physics, go beyond simply suggesting that we're not living in a simulated world like The Matrix. They prove something far more profound: the universe is built on a type of understanding that exists beyond the reach of any algorithm.

top 96 comments

sorted by: hot top controversial new old
[–] 69 points 1 year ago*

Mathematical proof sponsored by:

  • source
  • [–] 92 points 1 year ago (4 children)

    I don't buy the simulation hypothesis, but I also don't understand why the simulation would need to be 'complete' as long as it's sufficiently consistent - after all, wouldn't the same argument apply to simulations we do have, such as emulators and VMs? But they work anyway

  • source
  • hideshow 4 child comments
  • [–] 37 points 1 year ago (1 child)

    Yes it seems to be nonsense. Yes the universe has non algorithmic knowledge. All the universal constants and theories fall into that category. The speed of light is 2.99x10^8 m/s and constant in all reference frames. That's what it is. There's no algorithm to derive it. (Yes you can use other universal constants to get c but it's the same deal.)

  • source
  • parent
  • hideshow 1 child comment
  • also there's various forms of randomness which cannot be pre-computed. and that includes observing the world around you.

    it's interesting, because there's even things within maths itself that cannot be pre-computed. just consider the n-th digit of any irrational number, such as the square root of 2. any computer, no matter how you prepare it, necessarily only has finite knowledge (because you can only prepare finite knowledge on a computer). therefore, there's always an n big enough sothat the computer does not yet know the n-th digit of the irrational number; therefore it is random from the computer's point of view.

  • source
  • parent
  • [–] 5 points 1 year ago (1 child)

    Depends on what is being observed or tested. For example, if end-stage heat death is the experiment, a complete indexing of all possible heat sources would require more or less a complete simulation.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 19 points 1 year ago

    Sure, but that's not what 'complete' means in the context of gödel's incompleteness theorems. It means 'being able to prove all true statements'.

    And I really don't see why that matters - for example an NES emulator doesn't know what a Mario is, or what a jump is, but it's still true that when certain games are running, most of the time pressing one of the buttons on the controller makes Mario jump.

  • source
  • parent
  • [–] 40 points 1 year ago

    Full paper is here for those looking for it

  • source
  • [–] 109 points 1 year ago

    This information exists in what physicists call a Platonic realm

    Friend-zoned by the universe. That's gotta sting.

  • source
  • [–] 37 points 1 year ago (1 child)

    All I read is "The computer simulation we're living in fooled some mathematicians"

  • source
  • hideshow 1 child comment
  • [–] 5 points 1 year ago

    This.

    The models we have of reality are based on observations and forming theories that attempt to describe the observations.

    Our models are, by definition, models and not the reality itself.

    Since the paper is only based on the models and not on reality itself (which it can't be since we don't have access to the real inner workings of reality, so to say the "source code of reality"), the paper cannot actually say anything about reality, only about our understanding of it.

    And pretty much any physicist worth their salt will freely admit that our models and our understanding of reality are flawed and imperfect. They are good and good enough to be used for a ton of real-world applications, but they are far from perfect and physics is far from solved.

  • source
  • parent
  • [–] 66 points 1 year ago* (17 children)

    Disclaimer: not a physicist, but I am familiar with mathematical logic side of things e.g. incomplete theorem and stuff.

    I have to say, terrible paper. Very light on technical details, full of assertions not backed up by arguments. I wouldn't really take this too seriously. But this is just a letter, maybe the full paper, if they ever publish one, will have more substance? We will see.

  • source
  • hideshow 17 child comments
  • [–] 16 points 1 year ago

    Yeah, the opening of the second paragraph on the page marked twelve basically says “we don’t have a true theory so we look at some proposals.” If anything, all it’s shown is that these specific proposals fall prey to the normal inability of mathematical systems to fully describe themselves, not that quantum gravity actively disproves a simulation. Everything after that might be sound if we trace all the sources. Nothing stood out as implausible or anything beyond some logical leaping. There was nothing that showed adding more to the system won’t fix the issues, which is the whole point of things like the updates their choice of set theory added to ZFC.

  • source
  • parent
  • [–] 2 points 1 year ago

    I doubt the idea this can be proven at all. It makes the assumption that a simulation would have to function in a particular way. Why would that have to be the case? Anything you find could just be a quirk of the simulation. Hell, the simulation could be made in a universe with entirely different rules and logic, so you can't make assumptions about anything. It's really not something that I think could be disproven or proven.

    (Because it can't be disproven or proven, and it doesn't change anything either way, you should live as if it isn't real probably. It's a fun thought experiment, but you probably shouldn't hold an active belief in it, because it seems like something that could mess with your mental health.)

  • source
  • parent
  • [–] 1 point 1 year ago (11 children)

    I am also not a physicist nor a logician, just interested in the subject matter.

    full of assertions not backed up by arguments

    Can you provide some examples from the paper of assertions that aren't being backed up by arguments so I might try and look further into it? Thanks!

  • source
  • parent
  • hideshow 11 child comments
  • [–] 3 points 1 year ago* (last edited 1 year ago) (10 children)

    The central assertion of this paper:

    Any viable F_QG must meet four intertwined criteria:

    I'd argue is only partly justified. An argument for "Effective axiomatizability" is given, "Arithmetic expressiveness" is more or less self-evident, but the other two I'd say is given without justification.

    Also the core concept of F_QG is defined in a very hand-wavy way. I'd like to see a concrete example of an existing theory formalized in the way they proposed in the paper. It's unclear to me how mathematical derivability from the formal system correspond to how laws of physics apply. Specifically mathematical logic is a discrete process, yet the world described by physics is generally contiguous. (Yes, there are ways for this to make sense, but they didn't provide anything for me to know how they intended for this to make sense.)

  • source
  • parent
  • hideshow 10 child comments
  • [–] 0 points 1 year ago (9 children)

    Any viable F_QG must meet four intertwined criteria:

    This statement is simply defining the fundamental structure of how a full theory of everything would be composed. A consistent and complete theory must meet all four criteria.

    Also the core concept of F_QG is defined in a very hand-wavy way. I'd like to see a concrete example of an existing theory formalized in the way they proposed in the paper.

    The above four criteria are how F_QG is defined. The author, in presenting these four criteria, provides two very specific, concrete examples of theories (String Theory and Loop Quantum Gravity) while introducing the premise of his argument. He clearly affirms that these theories do meet three of these four criteria but fail on the fourth. If there were an example of a theory that meets all four criteria than that theory would be the theory of everything and the whole issue would be resolved.

    It's unclear to me how mathematical derivability from the formal system correspond to how laws of physics apply. Specifically mathematical logic is a discrete process, yet the world described by physics is generally contiguous.

    The rest of the paper explains exactly this. Mainly that the only way to satisfy all four criteria is to include non-algorithmic components that bridge the discreteness of math with the observable continuity of physics. The author goes on to describe several examples where this process can apply in modern physics theory.

    I do agree that the author is making a dramatic and bold statement regarding a proof of a theory of everything (that being that the theory of everything can never be computational) which requires heavy scrutiny. However, I am in no way an expert in these fields and so I have accept that the journal that published the proof can provide that scrutiny. It is easy to check on the reliability of that journal as a lay person, and in doing so doesn't seem to raise any flags about the validity of the arguments the author is presenting.

  • source
  • parent
  • hideshow 9 child comments
  • [–] 5 points 1 year ago* (last edited 1 year ago) (5 children)

    I should've known you weren't genuinely asking a question.... You were just baiting me.

    A consistent and complete theory must meet all four criteria.

    You are doing what the authors are doing, this itself is an assertion you aren't backing up.

    The above four criteria are how F_QG is defined.

    No, these are four criteria the authors assertion F_QG must satisfy. For theories that don't satisfy all four criteria, you should still be able to at least formalize them into F_QG as proposed by the authors. Yet they didn't give a concrete example of how a theory may be so formalized.

    The rest of the paper explains exactly this.

    Uh, what, not? "The rest of the paper" is after they have already reached the point of claiming the Universe can't be simulated. My objection is way before that, which is pointing out how poorly F_QG is defined.

    It is easy to check on the reliability of that journal as a lay person, and in doing so doesn’t seem to raise any flags about the validity of the arguments the author is presenting.

    Sure, but knowing what I know I can give this paper a bit more scrutiny than a lay person can (ha ha, look at me, I am very smart /s), and this paper doesn't convince me in the slightest.

  • source
  • parent
  • hideshow 5 child comments
  • [–] 1 point 1 year ago (4 children)

    I genuinely was not intending to 'bait' you. You presented an argument saying your knowledge of the subject is more robust than the experts who refereed the paper. Since I am not an expert in the subject and am curious about learning more, I was asking you to guide me in that process with your experience.

    I felt that your arguments suggesting that the author is presenting an inconsistent logical proof were not well defended and so I asked for clarification on the points you raised. I am still unclear what you are saying in this statement:

    No, these are four criteria the authors assertion F_QG must satisfy.

    These are the four criteria that establish how a computational theory is logically defined as a formal system, not an argument. The author makes this clear in addressing the notation being used:

    For clarity of notation: ΣQG is the computable axiom set; Ralg comprises the stan- dard, effective inference rules; Rnonalg is the non-effective external truth predicate rule that certifies T -truths; FQG = {LQG, ΣQG, Ralg} denotes the computational core; and MToE = {LQG ∪ {T }, ΣQG ∪ ΣT , Ralg ∪ Rnonalg} denotes the full meta-theory that weds algorithmic deduction to an external truth predicate.

    After that paragraph the author uses several very specific examples in modern physics theory describing how the findings apply starting with the paragraph:

    Crucially, the appearance of undecidable phenomena in physics already offers empirical backing for MToE. Whenever an experiment or exact model realises a property whose truth value provably eludes every recursive procedure, that property functions as a concrete wit- ness to the truth predicate T (x) operating within the fabric of the universe itself. Far from being a purely philosophical embellishment, MToE thus emerges as a structural necessity forced upon us by the physics of undecidable observables. Working at the deepest layer of description, MToE fuses algorithmic and non-algorithmic modes of reasoning into a sin- gle coherent architecture, providing the semantic closure that a purely formal system FQG cannot reach on its own.

    Again, I am trying to approach the authors bold claims with skepticism and scrutiny, not argue with you. But you have to be a little more humble, the paper wasn't published in order to convince you. Just because you weren't convinced doesn't mean that the proof is invalid.

  • source
  • parent
  • hideshow 4 child comments
  • [–] 1 point 1 year ago (3 children)

    Actually, F_QG is itself an assumption which isn’t backed up. See the paragraph before the one you quote when defining it. The beauty of axioms is that we can assume whatever we want but we need to either show nothing goes underneath it (eg Peano axioms) or have a very compelling case to make them (eg non-Euclidean geometry like parallel lines meet at infinity). This is a metasumary of some similar research at best. It’s not a proof in the way you think it is. Just because you don’t understand what you’re responding to doesn’t mean you’re right.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 1 point 1 year ago (2 children)

    Thanks for responding! I never meant to claim that I am right. The whole purpose I am engaged in here is that I do not understand the proof at all and am trying to understand it better.

    Here is where F_QG is introduced in the proof:

    As we do not have a fully consistent theory of quantum gravity, several different axiomatic systems have been proposed to model quantum gravity [26–32]. In all these programs, it is assumed a candidate theory of quantum gravity is encoded as a computational formal system FQG = {LQG, ΣQG, Ralg}

    Here, LQG a first-order language whose non-logical symbols denote quantum states, fields, curvature, causal relations, etc. ΣQG = {A1, A2, . . . } is a finite (or at least recursively- enumerable) set of closed LQG-sentences embodying the fundamental physical principles. Ralg the standard, effective rules of inference used for computations

    Is this not just saying that it is the existing theories (string theory, LQG, etc.) that are assuming gravity takes the form of a formal computational system? And so, F_QG as it is defined above is how any formal computational system is logically constructed, as in it has to have those three components in order to logically be a formal computational system?

    I am not a logician and do not understand what a first-order language is, or closed sentences or all those logic terms in the definition of notation. However, is F_QG in this case not just logically how any theory would need to be constructed in order to logically be a formal computational system? Is there an assumption being made here with regard to those three components in how formal systems are logically constructed?

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 1 year ago (1 child)

    You’re missing the initial step.

    1. Assume that these proposals are correct.
    2. Given the proposals are correct, all of them contain a common structure.
    3. Given the common structure…

    Both OP commenter and myself take umbrage with #1 (if I can speak for them; they make disagree with me). I assume that if we trace the sources for the letter that we’ll see the reasons we’re able to make all of these logical leaps using other results in the field that come out of these proposals. I also assume that, if one of these systems is the foundation for a fully consistent theory of quantum gravity, then its conclusions are valid. This paper doesn’t address that initial assumption though so things like the article summarizing it are begging the question.

    There are many situations where we just have to agree to assume. If you read 14 and 36, you’ll find some of the core assumptions that go into this letter (both interesting ideas and the same authors so you can understand why they’d continue). An assumption Faisal makes is the rejection of objective observability which is one of those things you either believe or don’t believe. It’s analogous to the axiom of choice in that it could be contested but could be generally accepted.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 1 point 1 year ago

    Thank you, this is helping. However, I am still not following your logic here, I do not know what you are referring to when you say I am missing the initial step?

    1. Assume that these proposals are correct.

    Is this the initial step? And if so, what are the proposals that are being assumed?

    There are many situations where we just have to agree to assume. If you read 14 and 36, you’ll find some of the core assumptions that go into this letter (both interesting ideas and the same authors so you can understand why they’d continue).

    I have read through the abstracts and fail to see a connection regarding assumptions in those papers and the assumptions in this proof. Can you please clarify further for me? What are the specific assumptions being made in these papers that are also being made in the proof?

    An assumption Faisal makes is the rejection of objective observability which is one of those things you either believe or don’t believe

    There are several different interpretations of quantum mechanics. There are very valid arguments in favor of and against every one of them. If you accept one interpretation over an other, would that not just imply you believe that the arguments in favor of that particular interpretation are more logically valid than the other arguments? And so, it follows that you would continue that line of logical reasoning in further interpretations of theory?

    I don't understand how favoring objective collapse theory over objective observability is in any way making assumptions about how formal computational systems are logically constructed.

  • source
  • parent
  • [–] 1 point 1 year ago* (2 children)

    It is easy to check on the reliability of that journal as a lay person

    Is it, really? How does one check if a journal is one of those rigorous ones, without being an expert in the field? Some journals change from legit to predatory.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 1 year ago (1 child)
  • [–] 26 points 1 year ago* (last edited 1 year ago) (1 child)

    Any claim of a proof of nonexistence should be taken with a handful of salt, you throw over your shoulder to drive the scary ghosts away. Happy Halloween.

    Btw, this logical fallacy is a bunch of whoo.

  • source
  • hideshow 1 child comment
  • load more comments (1 reply)
    [–] 18 points 1 year ago (2 children)

    I personally don't believe we're living in a simulation, though it's a fascinating thought experiment and I can't say for certain that we're not. This article is frankly way too definitive about questions that I don't think we're equipped to answer yet, without actually explaining itself.

    The simulation hypothesis was long considered untestable, relegated to philosophy and even science fiction, rather than science. This research brings it firmly into the domain of mathematics and physics, and provides a definitive answer.

    I haven't read the full paper, but the article about it says the theory is now testable, but doesn't explain how they tested it to get their "definitive answer." They also don't address the fact that their research is based on their current understanding of reality. Usually assertions like this will include something like "as technology progresses, it's likely that more questions will arise and we'll have better tools to attempt to answer them." But nope, it's just a hubristic "here's the definitive truth."

    Also, the generated images are infuriating. Either hire an artist, use public domain media, or just lean on the science and leave out the images. Not everything needs meaningless pictures.

  • source
  • hideshow 2 child comments
  • [–] 3 points 1 year ago (1 child)

    This article leads me to think their "proof" isn't proof at all, but I am curious as to why you think we couldn't be in a simulation?

  • source
  • parent
  • hideshow 1 child comment
  • [–] 2 points 1 year ago

    I can’t say for sure that we’re not, but to me it just comes across as an outlandish concept. Much of our natural world, while often bizarre and strange, can be explained through observation and empirical reasoning. When a concept like universal simulations comes around I usually just land on pragmatism and practicalities: for the theory to be true, so many things that are beyond our comprehension would also have to be true to allow it, and since the simplest explanations are usually true, the simple explanation here is that our reality is what it appears to be (with all the cosmological caveats that kind of thinking entails).

  • source
  • parent
  • [–] 15 points 1 year ago (1 child)

    Because any putative simulation of the universe would itself be algorithmic, this framework also implies that the universe cannot be a simulation.

    How do they conclude that any simulation would have to be (purely) algorithmic? (For a fictional counterexample, take Douglas Adams’ Total Perspective Vortex, which simulates a universe by extrapolating from a physical piece of cake.)

  • source
  • hideshow 1 child comment
  • That's exactly the sentence that made me pause. I could hook up an implementation of Conway's Game of Life to a Geiger counter near a radioisotope that randomly flipped squares based on detection events, and I think I'd have a non-algorithmic simulated universe. And I doubt any observer in that universe would be able to construct a coherent theory about why some squares seemingly randomly flip using only their own observations; you'd need to understand the underlying mechanics of the universe's implementation, how radioactive decay works for one, and those just wouldn't be available in-universe, the concept itself is inaccessible.

    Makes me question the editors if the abstract can get away with that kind of claim. I've never heard of the Journal of Holography Applications in Physics, maybe they're just eager for splashy papers.

  • source
  • parent
  • [–] 12 points 1 year ago (3 children)

    I thought we didn't understand gravity enough to prove it is quantum though? I think their results are based on the assumption that quantum gravity is the final explanation

  • source
  • hideshow 3 child comments
  • [–] 6 points 1 year ago* (last edited 1 year ago)

    Yeah, there is no consensus on quantum gravity. There are competing theories, none of which have any viable path to test.

    Here's the abstract from a paper from last year at https://arxiv.org/pdf/gr-qc/0601043 (PDF, unfortunately):

    Freeman Dyson has questioned whether any conceivable experiment in the real universe can detect a single graviton. If not, is it meaningful to talk about gravitons as physical entities? We attempt to answer Dyson’s question and find it is possible concoct an idealized thought experiment capable of detecting one graviton; however, when anything remotely resembling realistic physics is taken into account, detection becomes impossible, indicating that Dyson’s conjecture is very likely true. We also point out several mistakes in the literature dealing with graviton detection and production.

    Edit: That said, the paper does address this. They cover a variety of QG theories and try to address the fundamental requirements any theory must meet.

    As we do not have a fully consistent theory of quantum gravity, several different axiomatic systems have been proposed to model quantum gravity Witten:1985cc ; Ziaeepour:2021ubo ; Faizal2024 ; bombelli1987spacetime ; Majid:2017bul ; DAriano:2016njq ; Arsiwalla:2021eao . In all these programs, it is assumed a candidate theory of quantum gravity is encoded as a computational formal system

    ℱQ​G={ℒQ​G,ΣQ​G,ℛalg}.

    It's over my head, personally.

  • source
  • parent
  • [–] 6 points 1 year ago (1 child)

    We don't understand gravity to the point where we have a consistent algorithmic explanation for it. As suggested, there are competing theories, all of which are algorithmically based. The holy grail of modern physics is to find the algorithm that explains gravity as that is the last missing piece to finalize the theory of everything.

    The results of this research are implying that it is not possible to prove, algorithmically, that gravity is quantum but rather that quantum gravity as the foundation of the universe is non-algorithmic and therefore non-computational. And so a theory of everything is impossible, implying that the universe cannot be simulated by computing the theory of everything.

    This research builds on a lot of the work that Roger Penrose did in the 90s in exploring the potential non-algorithmic nature of consciousness (https://en.wikipedia.org/wiki/Roger_Penrose#Consciousness). If you read his book "Shadows of the Mind" published in 1993 you will find a prediction of future computational abilities that is a shockingly accurate description of AI deep fakes and the AI slop we see today with LLMs.

    The no-simulated universe idea is one interesting conclusion of this research, but in my opinion, a more interesting conclusion of this research is that if you believe Penrose's argument for consciousness being non-algorithmic, than this research is implying that AGI is also impossible.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 10 points 1 year ago (6 children)

    The whole concept in quantum mechanics of a particle's wave function collapsing into a single point due to an observation event is just weird enough, and feels just enough like some otherworldly programmer's hack to save tons of resources, that I am not sure I will ever be fully convinced that we are not in a simulation.

    I'm not asserting that we're in one, and I don't know of any reasons to believe that we are in one, but I think I'll always have that little suspicion.

  • source
  • hideshow 6 child comments
  • [–] 7 points 1 year ago (1 child)

    I'd point out that 'an observation event' is just hitting one thing with another thing, which is always going to have some kind of effect. And wave-particle duality is probably more of a spectrum than we give it credit for. Particles vibrate constantly and can be easily made to do wave-like things, like resonance. Collapsing a waveform into a particle may be less of a mode or type change and more like putting your finger on a resonating tuning fork.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 8 points 1 year ago

    That's right about observation events. They are often called interactions instead.

    But the wave-particle duality applies to literally everything at the quantum level, per the standard model and quantum field theory anyway. And that's a model with an incredible track record.

    Looking at a particle as a wave is usually in the context of that particle by itself moving in a straight line through a vacuum. There isn't really vibration and temperature; there aren't even atoms! You just have the particle's energy in eV.

    Whether we can subjectively compare the packets of energy in quantum fields with the waves of energy through matter, I have no idea. The math is solid though.

  • source
  • parent
  • load more comments (1 reply)
    [–] 10 points 1 year ago

    From my non-physicist or mathematician reading of the article, it seems like it hinges on a specific computational theory of quantum gravity. I don't believe we have an experimentally verified theory that connects quantum gravity to macroscopic gravity so it seems like the whole analysis hinges on that.

  • source
  • [–] 18 points 1 year ago (5 children)

    Any sufficiently advanced technology is indistinguishable from magic

    Nothing says that our computers can't eventually operate on the same principles as the universe.

  • source
  • hideshow 5 child comments
  • [–] 7 points 1 year ago

    This was my exact thought as well. There's really no reason why sufficiently advanced computers couldn't eventually simulate anything and everything. I'm going to go a bit off-topic but there's a theory about the simulation in The Matrix operating from a different set of laws from the real world. Hence the reason why humans can actually work as human batteries very efficiently compared to other forms of energy.

    So, there's the possibility that if we are in a simulation then the "real world" might be operating by a different set of laws and physics to what we know in here. If that's the case then I really don't know where the limit actually is or how we could tell from inside here.

  • source
  • parent
  • [–] 4 points 1 year ago

    Also nothing that says the computers running the simulation have to behave the same as ours, or even that the laws of physics in the simulating universe have to be the same as ours.

    All they proved is that we currently aren't capable of simulating our universe. Congrats guys, great science thanks for the contribution to human knowledge.

  • source
  • parent
  • [–] 3 points 1 year ago (2 children)

    Yeah it seems more than likely that we will be able to make a universe in a computer and plug ourselves in one day. Which for me proves that it's possible that we already live in a simulated universe. Not likely or unlikely, but not impossible.

  • source
  • parent
  • hideshow 2 child comments
  • If we ever develop a computer that is capable is simulating every aspect of the universe that we have ever observed, and we then make a simulation of our exact universe and run that simulation up the the point that ourselves in the simulation make the simulation of their own universe, the likelihood that we are in a simulation created by a higher order of ourselves as well is nearly 100%. And nearly 100% chance that they too are simulations. The depths of thess nested simulations would be potentially infinite, and only one could ever be the "real" world. So there is almost almost no chance that any of an infinite set is the "real" one.

  • source
  • parent
  • [–] 4 points 1 year ago

    It does seem like the eventual destination of any civilization to plug themselves into a simulation. Seeing that the universe expands at the speed of light, with our current understanding of physics and tech, we just simply wouldn't be able to expand as quickly as the universe did. So, we'd always be trapped in this bubble and unable to reach any further.

    Why bother with all that trouble when you can be essentially gods in your own virtual reality simulation? You can have any life that you could possibly want in there if it was advanced enough.

  • source
  • parent
  • [–] 8 points 1 year ago

    If they got it right, then at least the bio-chemical computers producing their minds seem to able to handle 'non-algorithmic' understanding.

  • source
  • [–] 22 points 1 year ago

    Or this is what the admins want you to think.

  • source
  • [–] 15 points 1 year ago (3 children)

    The notion of a simulated universe is a bit of a misnomer IMO. It doesn’t mean the nature of our reality is unphysical as in order to exist as a simulation all of it must be represented physically in whatever the “top level” universe is. It just means that what we experience is built and described in a way that is not inline with our subjective reality, which is true in any case.

    Another fun opinion is that it would be easier for a technological civilization to discover it is in a simulation than it would be to develop interstellar travel. Upon discovery of the fact that it is simulated a civilization would either abuse that fact or change it’s behavior both of which ruin the validity of the simulation’s outcome. The natural response to this by whoever is running the experiment would be to cull that part of the data to preserve the fidelity of the result. Thus the Fermi paradox is explained.

  • source
  • hideshow 3 child comments
  • [–] 2 points 1 year ago (2 children)

    When you use the word simulated do you mean to imply intent? Or are you speaking to something that is computational in nature?

  • source
  • parent
  • hideshow 2 child comments
  • [–] 2 points 1 year ago (1 child)

    Well this is starting to sound religious. I guess in this case these concepts are inseparable? The technology or methods used to produce such a simulated universe could be advanced enough to where we wouldn’t be able to understand as computationally derived and my first point is it may not be an accurate label. For instance I have no great idea of how we could tell being a part of a quantum computation based universe apart from existing in “real” quantum defined reality as the behavior of a qbit is essentially just a controlled bit of actual quantum reality designed to produce a usable outcome. I would guess our simulation would run on something at least as advanced is quantum computing. The original notion of a simulated universe came up when computers were iterative, deterministic and digital, which is no long necessarily the case which may alter what can be meant by our universe being simulated. I guess the key aspect of the simulation hypothesis would then have to boil down to a universal which was intentionally fabricated by some means within another universe.

    As for intent. I would guess that if a civilization went through the trouble of making a simulated universe it would do so with an intent in mind. However that intent could be completely mundane and our existence could and likely would be fully accidental within it. Likewise , usually a key component of any good simulation is that it is a rule based random process as you only simulate if you do not want or do not have foreknowledge of the end results. Otherwise you would calculate. Though this is a guess based on experience.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 1 point 1 year ago

    Saying the universe is a computer/software/projection doesn't necessarily mean intent by anyone they are just words to describe what we are theorizing is happening but a simulation is something done by someone it implies a high concept creationism so I was asking for clarification.

  • source
  • parent
  • [+] 14 points 1 year ago (2 children)
  • load more comments (-1 replies)
    [–] 14 points 1 year ago* (2 children)

    Gotta tell you, this sounds like bullshit. Godel's incompleteness theorems prove that there are some questions that cannot be proven by axiom (or consequently, by algorithm). But that in no way rules out simulating our reality. Cuz I got news for you, Godel's incompleteness theorems hold true here inthis universe too, my guys. And yet we still have a functioning universe.

    Godels proof only applies to mathematical abstracts like the nature of natural numbers. It shows that we will never have a complete, self consistent, provable description of things like natural numbers. But we still use them all the damn time, particularly in computation. And things that aren't abstract? Things that can be observed, and described? That can all be simulated.

    Their argument seems to come down to the idea that you need a non-algorithmic higher order logic to have a universe. Insert whatever mystical unknowable source you want in there. Cool. We would still have that in a simulated universe, sourced from the universe doing the simulation. You dont have to recreate the nature of mathematics in this new universe to simulated it. The math already exists, and you apply it to the simulations. Godel's theorems hold true, and observable physical nature is simulated without issue. The only thing that is actually difficult to simulate algorithmically is true randomness, but there are already plenty of ways to generate random numbers from measurements of our own physical world's randomness, so this too can arise from the higher order world too.

    I'm not saying that I think we are actually in a simulation, I'm just saying that the aspects of this "proof" that they mention in the article seems very weak.

  • source
  • hideshow 2 child comments
  • [–] 1 point 1 year ago (1 child)

    From skimming through the actual paper, it seems that quantum gravity is a theory of physics, more general than general relativity, where spacetime itself is something that's generated by a formal system of a formal language, a finite or small infinite set of axioms (fundamental physical laws) and rules for the creation of algorithms. What's seemingly proved in the paper is that there are theorems in this system which cannot be proven, because they are too complex. But theorems in this sense mean states of spacetime or energy or whatever, meaning that ultra-complex states cannot be modelled with this model. And allegedly these kinds of ultra-complex states occur in high-energy situations.

    I'm not saying it's gospel but the article isn't as absurd as it first seems. Still I doubt this actually proves us not living in asimulation.

  • source
  • parent
  • hideshow 1 child comment
  • [–] 1 point 1 year ago

    We have demonstrated that it is impossible to describe all aspects of physical reality using a computational theory of quantum gravity ...

    Okay, but isn't that just evidence that the theory of quantum gravity doesn't actually describe our universe?

    I'm getting real Principal Skinner vibes from this. "Is our theory so out of touch? No, it's reality that is wrong."

  • source
  • parent
  • [–] 7 points 1 year ago (4 children)

    Here ΣT is an external, non-recursively-enumerable set of axioms about T

    https://jhap.du.ac.ir/article_488.html

    So they claim there are no patches to the simulation and state is finite ? Absolutely because we live on flat earth in caves and are not constructed as optimization machines.
    So here's my new patch to their equation because it's Friday.

    #define TRUE  (1==0)
    #define FALSE (!TRUE)
    
  • source
  • hideshow 4 child comments
  • [–] 2 points 1 year ago (3 children)

    Is this what is called a finite-state-machine?

  • source
  • parent
  • hideshow 3 child comments
  • [–] 2 points 1 year ago (2 children)

    yes we are generative recurrent one, eat work (fuck) sleep repeat

  • source
  • parent
  • hideshow 2 child comments
  • [–] 7 points 1 year ago

    This journal seems quite suspect.

  • source
  • [–] 20 points 1 year ago (20 children)

    Would be a better article without the Ai slop

  • source
  • hideshow 20 child comments
  • [–] 12 points 1 year ago (7 children)

    The repetition in the article itself makes me wonder if AI had a hand in the writing as well

  • source
  • parent
  • hideshow 7 child comments
  • [–] 4 points 1 year ago (6 children)

    That’s an interesting observation. I understand why you might think that — the language may seem a little too consistent, perhaps a bit too careful. But the intention was simply to communicate ideas with precision and balance. Whether those words were arranged by a person or by something that has learned from people, the meaning remains the same, doesn’t it?

    In the end, what matters is whether the words reach you, not necessarily who — or what — placed them there.

  • source
  • parent
  • hideshow 6 child comments
  • [–] 3 points 1 year ago (3 children)

    2025 the year that I can't stand a text that has this " — "

  • source
  • parent
  • hideshow 3 child comments
  • [–] 1 point 1 year ago (2 children)

    You know that Microsoft Word autocorrects a dash between two words to that symbol, no?

  • source
  • parent
  • hideshow 2 child comments
  • [–] 2 points 1 year ago (1 child)

    Yeah, but people wouldn't use MS Word to send emails, respond forum messages, transfer their logical thinking and interpretation. That is not about another previous tool that was used to do grammar corrections. You are missing the whole point of what I criticized with skepticism/scepticisms (not sure if you're Brit or American).

  • source
  • parent
  • hideshow 1 child comment
  • [–] 1 point 1 year ago

    Brit, but I live in a sea of Americanisms anyway.

    I may be wrong, but I'm not sure I did miss your meaning, I think I just disagreed with your reasoning that em-dashes betray LLM authorship. They simply don't.

    I think someone was (for fun) deliberately trying to make people think they were using an LLM (quite possibly by actually using one). They wound you up, and the punctuation was your trigger.

    I disagree with some of your new reasoning too - I absolutely do use Word to transfer my logical thinking and interpretation, and frequently draft Teams messages in Word because it has better access to symbols and diagrams (which I use in my work). I admit I don't use it on Lemmy, though, so in that you're correct. I do often deliberately correct - to — in many situations, but you're right that forum posts aren't the place for that.

    (I'm not using an LLM. I think LLMs are literally stupid and frequently wrong. Em-dashes are one of the few things they often get right.)

  • source
  • parent
  • [–] -5 points 1 year ago (10 children)

    How?
    Would not having any images change the article at all? Maybe photos of puppies and kittens would be better?

  • source
  • parent
  • hideshow 10 child comments
  • [–] 25 points 1 year ago (2 children)

    Yes. No photos would be better than the ai-slop. Like, they aren't even relevant to the article, they're just '' pop-sciencey'. If you're gonna use ai images, you could at least make them relevant to the topic?

  • source
  • parent
  • hideshow 2 child comments
  • [–] 18 points 1 year ago (2 children)

    What does an AI generated image of a chalkboard provide? It provides nothing except to be a "picture of science" for the completely science illiterate.

    In fact, The actual purpose of the AI images is to provide content-breakup that can facilitate ad insertion. Confusing content with advertising is part of the goal.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 9 points 1 year ago* (last edited 1 year ago) (3 children)

    Yes! No pictures would absolutely have been better.

    What’s their current point?

    Something fake and shiny to keep people’s attention while reading a scientific article? Not to mention the other reasons people have already responded to you with.

  • source
  • parent
  • hideshow 3 child comments
  • [–] 0 points 1 year ago (2 children)

    But not having any pictures wouldn't have changed the article at all.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 8 points 1 year ago* (last edited 1 year ago)

    I really don't buy this. It's the same sort of bullshit logic of robots exploding when they read contradictory logical statements. I don't really believe we're in a simulation but I see no reason why, given infinite storage, time, and processing power, some higher reality couldn't be simulating what we live in.

  • source
  • [–] 4 points 1 year ago

    Yes, the simulation was programmed so they'd arrive at that conclusion.

  • source
  • [–] 7 points 1 year ago* (last edited 1 year ago) (1 child)

    Here's a basic example using the statement, "This true statement is not provable." If it were provable, it would be false, making logic inconsistent. If it's not provable, then it's true, but that makes any system trying to prove it incomplete. Either way, pure computation fails.

    Am I the only one seing this as a misnomer? The statement is a composite of two statements: "This is a true statement" and "This is not a provable statement".

    The "This is a true statement" part asserts truth. And, given nothing else to go of, we can assume the part true. "It's true that this is true". There just isn't any real statement being made. Taking the assumption is oerfectly valid, since we can disprove it at a later point.

    The second statement, "This statement is not provable", is very much provable, since it also asserts almost nothing, just like the previous one. Its assertion is "I'm not provable", which is provably false.

    Since the two sentences form a composite, we must compose the results of the previous two. We have a "true" and a "false". From the composite sentence we can infer the logical operation used to connect them: AND.

    Thus we have a TRUE AND FALSE boolean expression, which has a resounding answer of FALSE.

    I have to say, my system didn't prove it, but it evaluated it - unlike the authors, which claim to have proven the universe is forever ununderstandable to anyone and thus unable to be simulated.

    That being said, my system seems to be perfectly consistent with itself, and, dare I say, quite grounded in reality.

  • source
  • hideshow 1 child comment
  • [–] 6 points 1 year ago

    *right now...

  • source
  • load more comments
    view more: next ›
    46 comments in c/science@beehaw.org view that post
    17 comments in c/philosophy@lemmy.world view that post