• saimen@feddit.org
    link
    fedilink
    arrow-up
    2
    ·
    edit-2
    2 hours ago

    What really disappointed me about math is that there is a proof that there must be mathematical theorems which cannot be proven or disproven.

    • petrol_sniff_king@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      1
      ·
      7 minutes ago

      Just adding to aMockTie here: I love math, a math-lover, if you will, and I don’t find the incompleteness theorem disappointing, I find it incredibly interesting and captivating. It’s like learning that black holes are real. It gives me the same feeling that watching superfluids in chemistry flow up their containers do.

      The fact that the universe conspires to keep us ignorant is so goddamn interesting.

    • aMockTie@piefed.world
      link
      fedilink
      English
      arrow-up
      2
      ·
      2 hours ago

      I never made the connection until reading your comment, but I now wonder if they heard about the incompleteness theorems and came to their conclusions about math based on a misunderstanding.

      I’m sorry to hear that concept disappointed you, but I personally don’t think it ultimately matters or effects the usefulness of math. I see it as similar to the difference between science and engineering. An engineer can create something useful by knowing what works, without knowing precisely why it works. A scientist tries to uncover why things work the way they do, regardless of the utility of that understanding. Often the output of those two fields overlap, but they don’t have to.