• Smokeydope@lemmy.world
    link
    fedilink
    English
    arrow-up
    16
    ·
    edit-2
    8 months ago

    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:

    • WldFyre@lemm.ee
      link
      fedilink
      arrow-up
      4
      ·
      8 months ago

      Is that one as intuitive, though? I haven’t ever heard an intuitive explanation for it.