Aurelius@lemmy.world to Memes@lemmy.ml · 7 months ago[gasp]kbin.runimagemessage-square42fedilinkarrow-up11
arrow-up11image[gasp]kbin.runAurelius@lemmy.world to Memes@lemmy.ml · 7 months agomessage-square42fedilink
minus-squareSmokeydope@lemmy.worldlinkfedilinkEnglisharrow-up0·edit-27 months agoGödel: “Using logic ive shown that there will always be true statements can not be proven/falsifiable within any formal system of logic” Mathematicians:
minus-squareWldFyre@lemm.eelinkfedilinkarrow-up0·7 months agoIs that one as intuitive, though? I haven’t ever heard an intuitive explanation for it.
Gödel: “Using logic ive shown that there will always be true statements can not be proven/falsifiable within any formal system of logic”
Mathematicians:
Is that one as intuitive, though? I haven’t ever heard an intuitive explanation for it.