• polonius-rex@kbin.run
    link
    fedilink
    arrow-up
    63
    ·
    4 months ago

    the point isn’t to prove that the triangle is a triangle it’s to prove that the system of mathematics you made up actually works

    • weker01@feddit.de
      link
      fedilink
      English
      arrow-up
      12
      ·
      4 months ago

      Until you prove that you can’t prove that the system you made up works.

        • weker01@feddit.de
          link
          fedilink
          English
          arrow-up
          1
          ·
          4 months ago

          It’s very counter intuitive. As the other commenter suggested I was referring to Gödel and his incompleteness theorem.

          Actually if the system you made up doesn’t work it would be possible to prove that it does inside that system as you can prove anything inside a system that doesn’t work.

          That is why my comment is not entirely accurate it should actually be: Until you prove that if the system works you can’t prove that the system works.

          Can you spot the difference in the logic here?

    • Fushuan [he/him]@lemm.ee
      link
      fedilink
      English
      arrow-up
      1
      ·
      4 months ago

      You just reminded me of having to prove that math signs work and do what they do from basic axioms to integers and rational numbers using logical proofs… Damn that was interesting but SO tedious…