@[email protected] to [email protected]English • 1 day agoSounds like a waste of timelemmy.worldmessage-square31fedilinkarrow-up1667
arrow-up1667imageSounds like a waste of timelemmy.world@[email protected] to [email protected]English • 1 day agomessage-square31fedilink
minus-square@[email protected]linkfedilink1•5 hours agoWe already know that math isn’t objective due to Godel’s incompleteness theorem
minus-square@[email protected]linkfedilink2•edit-24 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-square@[email protected]linkfedilink1•6 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”