PugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agoSounds like a waste of timelemmy.worldimagemessage-square31fedilinkarrow-up1671arrow-down113cross-posted to: [email protected]
arrow-up1658arrow-down1imageSounds like a waste of timelemmy.worldPugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agomessage-square31fedilinkcross-posted to: [email protected]
minus-squareaffiliate@lemmy.worldlinkfedilinkarrow-up2·edit-24 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-squareSkyeStarfall@lemmy.blahaj.zonelinkfedilinkarrow-up1·7 minutes agoGodel’s second theory of incompleteness states that a formal system cannot prove its own consistency I think that’s as close as you can get to “math is not objective”
how does that follow from Gödel’s incompleteness theorems?
Godel’s second theory of incompleteness states that a formal system cannot prove its own consistency
I think that’s as close as you can get to “math is not objective”