← Back to context

Comment by strogonoff

3 hours ago

The moment there are no more unconfirmed hypotheses you can assume something is wrong with sciences. All provable models (theories, explanations) that we have, or could have, are by definition wrong or incomplete.

I'm guessing you're alluding to Goedel's incompleteness theorem, but that really doesn't apply to physics. It's a statement about certain properties of formal systems - basically it tells us that for any formal system that's at least as powerful as arithmetic, it's impossible to prove every statement that is true in that system.

This doesn't in any way mean that you can't in principle describe with perfect accuracy with such a system, in a provable way, every aspect of physics. Sure, you might need a theorem that can't be proved and be stuck because of that, but it's not a given. Physics certainly doesn't depend on all possible statements in that formal system to accurately model the real world, and so Goedel's theorem can't prove that the subset that physics needs might not be all probable.