fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agoGravitymander.xyzexternal-linkmessage-square92fedilinkarrow-up1722arrow-down126
arrow-up1696arrow-down1external-linkGravitymander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 month agomessage-square92fedilink
minus-squaresaimen@feddit.orglinkfedilinkEnglisharrow-up5·1 month agoThere is an actual logical proof that there are propositions in mathematics that are neither provable nor refutable. https://plato.stanford.edu/entries/goedel-incompleteness/
There is an actual logical proof that there are propositions in mathematics that are neither provable nor refutable.
https://plato.stanford.edu/entries/goedel-incompleteness/