fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agoTheories on Theoriesmander.xyzimagemessage-square112linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageTheories on Theoriesmander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 2 months agomessage-square112linkfedilink
minus-squarelemonwood@lemmy.mllinkfedilinkEnglisharrow-up0·2 months agoThey all debated the question what being mathematical means there whole lives.
minus-squarepfried@reddthat.comlinkfedilinkEnglisharrow-up0·2 months agoAnd we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1
They all debated the question what being mathematical means there whole lives.
And we determined that the resulting incompleteness proofs are valid mathematical proofs whose logical correctness has been verified by computer. https://formalizedformallogic.github.io/Catalogue/Arithmetic/G___del___s-First-Incompleteness-Theorem/#goedel-1