fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agoGravitymander.xyzimagemessage-square36linkfedilinkarrow-up116arrow-down10
arrow-up116arrow-down1imageGravitymander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agomessage-square36linkfedilink
minus-squaresaimen@feddit.orglinkfedilinkEnglisharrow-up1·2 months 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/