[contemplator]

"Incompleteness Theorem, shows (roughly) that any logical system strong enough to contain arithmetic will also contain statements the truth of which can be known, but not proved using only the axioms of the given logical system. "

This theorem shows what has become the primary hindrance to widespread acceptance of String Theory. That is that we currently have no way of proving it.

[snarks_when_bored]

Sorry to have been mostly absent after starting this thread. I don't like to post and run, but I've been occupied with one-half of Wordsworth's "getting and spending" (you'll have to guess which half).

For the record (as if anybody's keeping records!), even if I don't respond to each comment posted to me on a thread I start, you can be sure that I've read them all (and all of the others, too). Often I decide not to respond just in order to keep the noise level down; but I always laugh at the jokes (intentional and otherwise).

And with that last, mildly snarky remark (got to keep up appearances), I'll say,

Merry Christmas and best regards to all...