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.

  • Capricorn_Geriatric@lemmy.world
    link
    fedilink
    English
    arrow-up
    8
    arrow-down
    1
    ·
    edit-2
    1 day ago

    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.

    • faint_marble_noise@programming.dev
      link
      fedilink
      English
      arrow-up
      5
      ·
      1 day ago

      You did not evaluate it. Composition of your statements does not equate to original one. “It is true” and “it is unprovable” correspond to the whole sentence, you cannot just divide it in two parts.