• hihi24522@lemm.ee
    link
    fedilink
    English
    arrow-up
    15
    arrow-down
    1
    ·
    11 days ago

    This is false. Godels incompleteness theorems only prove that there will be things that are unprovable in that body of models.

    Good news, Newtons flaming laser sword says that if something can’t be proven, it isn’t worth thinking about.

    Imagine I said, “we live in a simulation but it is so perfect that we’ll never be able to find evidence of it”

    Can you prove my statement? No.

    In fact no matter what proof you try to use I can just claim it is part of the simulation. All models will be incomplete because I can always say you can’t prove me wrong. But, because there is never any evidence, the fact we live in a simulation must never be relevant/required for the explanation of things going on inside our models.

    Are models are “incomplete” already, but it doesn’t matter and it won’t because anything that has an effect can be measured/catalogued and addded to a model, and anything that doesn’t have an effect doesn’t matter.

    TL;DR: Science as a body of models will never be able to prove/disprove every possible statement/hypothesis, but that does not mean it can’t prove/disprove every hypothesis/statement that actually matters.

    • lectricleopard@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      11 days ago

      Having things be unprovable in a body of models would make it not a 100% correct body of models. You know it’d be… incomplete. That’s what it means, we’ve mathematically proven you cannot prove everything that is true.

      NFLS is about whether a particular claim is testable, and can therefore productively be debated (as in I’m not debating whether there is a teapot orbiting earth). The way you’ve attempted to combine these two ideas is odd.

      • hihi24522@lemm.ee
        link
        fedilink
        English
        arrow-up
        1
        ·
        11 days ago

        Sorry, the point I was trying to make is that we will be able to know if any statement that is testable is correct.

        I just wanted to clarify that your initial comment is only true when you are counting things that don’t actually matter in science. Anything that actually matters can be tested/proven which means that science can be 100% correct for anything that’s actually relevant.

    • Semjaza@lemmynsfw.com
      link
      fedilink
      English
      arrow-up
      1
      ·
      11 days ago

      We haven’t yet been able to ressurect anything by recreating vital signs in a corpse so there’s something we can’t measure or detect of life so far.

      • Tlaloc_Temporal@lemmy.ca
        link
        fedilink
        English
        arrow-up
        8
        ·
        11 days ago

        I’d argue that we can’t do a resurrection because that’s really complex, not because we don’t know how.

        I’ll also point out that there are people alive today who were declared medically dead that live normal lives because we made their heart beat again.

        • Semjaza@lemmynsfw.com
          link
          fedilink
          English
          arrow-up
          1
          ·
          11 days ago

          Yes, and those are rare cases and so far apart from “corrolates with time” it is hard to impossible to know for sure when someone is outside that window.

          I was also under the illusion that we’d done a lot of experiments trying to reelecrifiy frogs’ brains we have failed to get anywhere beyond muscle spasms off of the data and measurements we’ve been able to make.