PugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 天前Sounds like a waste of timelemmy.worldimagemessage-square24fedilinkarrow-up1679cross-posted to: nonpolitical_memes@lemmy.ml
arrow-up1679imageSounds like a waste of timelemmy.worldPugJesus@lemmy.world to memes@lemmy.worldEnglish · 1 天前message-square24fedilinkcross-posted to: nonpolitical_memes@lemmy.ml
minus-squareSkyeStarfalllinkfedilinkarrow-up1·2 小时前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”
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”