PugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agoSounds like a waste of timelemmy.worldimagemessage-square31fedilinkarrow-up1674arrow-down114cross-posted to: nonpolitical_memes@lemmy.ml
arrow-up1660arrow-down1imageSounds like a waste of timelemmy.worldPugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agomessage-square31fedilinkcross-posted to: nonpolitical_memes@lemmy.ml
minus-squareaffiliate@lemmy.worldlinkfedilinkarrow-up2·edit-24 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-squareSkyeStarfall@lemmy.blahaj.zonelinkfedilinkarrow-up1·4 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”