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