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-squareaffiliate@lemmy.worldlinkfedilinkarrow-up1·edit-24 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-squareSkyeStarfalllinkfedilinkarrow-up1·14 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”