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.
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.
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.
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.