3 ms·
This reminds me of GEB where Hofstadter covers Godel's theory of incompleteness. My personal understanding was that there can be no definite theories that are t
by capkutay 12y ago
This reminds me of GEB where Hofstadter covers Godel's theory of incompleteness. My personal understanding was that there can be no definite theories that are true of everything in the universe...but that theory is a paradox in itself because it is attempting to make a definite rule that is true of everything in the universe
- wyager 12y agoNot quite. There is a lot of mysticism around the incompleteness theorems. The Incompleteness theorems say that you cannot construct a single higher-order logic capable of proving all true higher-order statements. This does not limit our ability to discover truths about the universe. The incompleteness theorem has little bearing on the discovery of universal physical laws.
- psychometry 12y agoWittgenstein turns over in his grave every time someone makes that comment. It's not correct. Unless the system you're talking about is an axiomatically consistent superset of Robinson Arithmetic, GFIT doesn't apply.