Gödel’s incompleteness theorem is one of the main things that I like pointing to when talking about stuff like this, thanks for bringing it up. Its a good supporting piece that helps show there are limits to logic and knowability. I think physics models will eventually have their own version that puts theories of everything in jepoardy.
I know that this isn’t what you mean, but paradoxically mathematics has been used to prove that it can’t prove everything: https://en.m.wikipedia.org/wiki/Gödel’s_incompleteness_theorems
Gödel’s incompleteness theorem is one of the main things that I like pointing to when talking about stuff like this, thanks for bringing it up. Its a good supporting piece that helps show there are limits to logic and knowability. I think physics models will eventually have their own version that puts theories of everything in jepoardy.