PugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agoSounds like a waste of timelemmy.worldimagemessage-square21fedilinkarrow-up1652cross-posted to: nonpolitical_memes@lemmy.ml
arrow-up1652imageSounds like a waste of timelemmy.worldPugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 day agomessage-square21fedilinkcross-posted to: nonpolitical_memes@lemmy.ml
minus-squareSkyeStarfalllinkfedilinkarrow-up1·5 hours agoWe already know that math isn’t objective due to Godel’s incompleteness theorem
minus-squareaffiliate@lemmy.worldlinkfedilinkarrow-up1·edit-24 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-squareSkyeStarfalllinkfedilinkarrow-up1·13 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”
We already know that math isn’t objective due to Godel’s incompleteness theorem
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”