@[email protected]M to Science [email protected]English • 2 months agoGeometrymander.xyzimagemessage-square53fedilinkarrow-up1569arrow-down113
arrow-up1556arrow-down1imageGeometrymander.xyz@[email protected]M to Science [email protected]English • 2 months agomessage-square53fedilink
minus-square@[email protected]linkfedilinkEnglish2•2 months agoI think the statement “this system is consistent” is a practical statement that is unprovable in a sufficiently powerful consistent system. Can you help me understand the tone of your text? To me it sounds kinda hostile as if what you said is some kind of gotcha.
minus-squareKogasalinkfedilinkEnglish1•2 months agoJust explaining that the limitations of Gödel’s theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.
I think the statement “this system is consistent” is a practical statement that is unprovable in a sufficiently powerful consistent system.
Can you help me understand the tone of your text? To me it sounds kinda hostile as if what you said is some kind of gotcha.
Just explaining that the limitations of Gödel’s theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.