4 ms·
You appear to misunderstand the meaning of the terms "inconsistent" and "incomplete" in the context of Gödel's theorem. "Inconsistent": There is at least one s
by tb 18y ago
You appear to misunderstand the meaning of the terms "inconsistent" and "incomplete" in the context of Gödel's theorem.
"Inconsistent": There is at least one statement within the system that can be proved both true and false.
"Incomplete": There is at least one statement within the system that is true, but cannot be proved to be true within the system.
Since Gödel's theorem applies to formal systems in mathematics, it does not say anything about the possibility or impossibility of constructing a "complete" (whatever that means) mathematical description of our reality.
- DanielBMarkham 18y agoThank you. If I understand your last statement correctly, you are saying that a complete but non-formal mathematical system could exist which models our reality. I'm not sure that's where you wanted to go, but I appreciate the help and clarification.