3 ms·
> Either the formal system has nothing to do with the real world, or it is an incomplete approximation of it. Ok, but this is a totally separate meaning of “in
by drdeca 6y ago
> Either the formal system has nothing to do with the real world, or it is an incomplete approximation of it.
Ok, but this is a totally separate meaning of “incomplete” than what the incompleteness theorems are talking about.
So, if that is what you meant by “incomplete” in your original comment, you should know that your comment looked like it was appealing to Gödel’s incompleteness theorems, which do not deal with that sense of “completeness”.
- guscost 6y agoAdded some clarification - Yes, the incompleteness theorems only concern the behavior of mathematical/formal systems themselves. But to me it seems perfectly reasonable that correspondingly, there may be features of the universe ("true statements") that cannot be modeled ("proven") by any given physical theory ("formal system"). I cannot prove this, but nobody can prove the opposite belief, either.