What will make you a pessimist?I am somewhat more optimistic. Godel was dealing in mathematics. I doubt if you can "prove" incompleteness for physical theories.
This seems like a total non sequitur to me. How do you get from true but not provable propositions in an axiomatic system to propositions that “won’t make sense”?Well a physical theory is constructed with maths, so the mathematics will be incomplete, and the physics won't make sense anyway, it's either inconsistent or incomplete.
Well "making sense" is with regards to classical logic.This seems like a total non sequitur to me. How do you get from true but not provable propositions in an axiomatic system to propositions that “won’t make sense”?
Godel does not have "true but not provable" propositions. It has unprovable propositions that become axioms as you extend the maths. The axioms are neither true not false. You can accept them as true, or you can accept various negations of them as true. E.g. the unprovable generalized continuum hypothesis may be accepted or rejected according to taste.This seems like a total non sequitur to me. How do you get from true but not provable propositions in an axiomatic system to propositions that “won’t make sense”?
It could be something like the Bell theorem for local hidden variables in quantum mechanics. The theorem might state that no theory can simultaneously have properties of being (i) quantum, (ii) general covariant and (iii) obeying some additional property that currently everybody takes for granted.I am somewhat more optimistic. Godel was dealing in mathematics. I doubt if you can "prove" incompleteness for physical theories.