4 ms·
> Surely you would not call a differential equation with a given initial condition describing a simple harmonic oscillator along with an initial condition “inco
by guscost 6y ago
> Surely you would not call a differential equation with a given initial condition describing a simple harmonic oscillator along with an initial condition “inconsistent”.
No, certainly not.
> Would you call it incomplete?
Yes, absolutely. There is no such thing as a harmonic oscillator that exactly follows an equation like that. Show me one. Either the formal system has nothing to do with the real world, or it is an incomplete approximation of it. All other known physical theories are the same way.
Can even a part of the universe be described completely by any (incomplete) formal system? Is it even meaningful to talk about a “part” of the universe in this sense? Well, there’s exactly zero evidence either way. That’s what I’m implying when I say “the universe may not be incomplete.”
- 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.