Aurelius to Memes@lemmy.ml • 7 months ago[gasp]kbin.runimagemessage-square44fedilinkarrow-up1995arrow-down129
arrow-up1966arrow-down1image[gasp]kbin.runAurelius to Memes@lemmy.ml • 7 months agomessage-square44fedilink
minus-square@Smokeydope@lemmy.worldlinkfedilinkEnglish16•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-square@WldFyre@lemm.eelinkfedilink4•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.