Aurelius@lemmy.world to Memes@lemmy.ml · 2 years ago[gasp]kbin.runexternal-linkmessage-square44linkfedilinkarrow-up1994arrow-down129
arrow-up1965arrow-down1external-link[gasp]kbin.runAurelius@lemmy.world to Memes@lemmy.ml · 2 years agomessage-square44linkfedilink
minus-squareSmokeyDope@lemmy.worldlinkfedilinkEnglisharrow-up16·edit-22 years 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-up4·2 years agoIs that one as intuitive, though? I haven’t ever heard an intuitive explanation for it.
![[gasp]](https://kbin.run/media/f2/cf/f2cf8373a182b9040bdabf656cc09ea19b1e0e7695cd0f594ea37c11192eefc2.png){kind=link}
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.