@[email protected] to [email protected]English • 1 day agoSounds like a waste of timelemmy.worldmessage-square35fedilinkarrow-up1696
arrow-up1696imageSounds like a waste of timelemmy.world@[email protected] to [email protected]English • 1 day agomessage-square35fedilink
minus-square@[email protected]linkfedilink3•edit-26 hours agohow does that follow from Gödel’s incompleteness theorems?
minus-square@[email protected]linkfedilink1•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”