Aurelius@lemmy.world to Memes@lemmy.ml · 10 months ago[gasp]i.imgur.comexternal-linkmessage-square53fedilinkarrow-up1994arrow-down129
arrow-up1965arrow-down1external-link[gasp]i.imgur.comAurelius@lemmy.world to Memes@lemmy.ml · 10 months agomessage-square53fedilink
minus-squareSmokeydope@lemmy.worldlinkfedilinkEnglisharrow-up16·edit-210 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-up4·10 months agoIs that one as intuitive, though? I haven’t ever heard an intuitive explanation for it.
![[gasp]](https://i.imgur.com/GyNGamC.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.