• naevaTheRat@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    6
    ·
    edit-2
    23 days ago

    I guess that’s fair, I’m being a bit sloppy. We prove things inside of axioms we accept, and can develop systems consistent with different sets of axioms but there’s not necessarily any reason to choose one set over another. Doesn’t 0^0 come from Euler being like “shut up it works nicer this way” though? or was it Russel?

    We can’t prove our axioms, and the rational number set isn’t more true than anything else, it just tends to be more useful in normal arse problems.

      • naevaTheRat@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        6
        ·
        23 days ago

        And anyone who’s cared for a baby would tell you that lullabies are the most useful sort of music but they’re hardly what I want to talk about when music comes up :P

    • booty [he/him]@hexbear.net
      link
      fedilink
      English
      arrow-up
      5
      ·
      23 days ago

      Does everyone have to provide a disclaimer on every comment they ever make regarding math? (Note: This comment refers only to the system of mathematics every single person reading this comment is familiar with. If you make up different rules then those rules will apply instead of the ones I’m talking about.)

      • naevaTheRat@lemmy.dbzer0.com
        link
        fedilink
        English
        arrow-up
        4
        ·
        23 days ago

        I didn’t intend any hostility, the world is just nuanced and really fun. I often see assertions of rules of thumb presented as factual statements without any hint of further complexity existing and it makes me sad as people read that and think the world is simple and makes sense.

        It’s much more true to say something like “usually we can’t divide by zero” and that leaves room for someone curious to go “huh!” and scurry off on their own and learn something fascinating.

        • Nakoichi [he/him]@hexbear.net
          link
          fedilink
          English
          arrow-up
          6
          ·
          23 days ago

          I love that this somehow spawned a struggle session about math which is oddly enough totally on brand for both of our instances.

          • naevaTheRat@lemmy.dbzer0.com
            link
            fedilink
            English
            arrow-up
            4
            ·
            edit-2
            23 days ago

            What’s a struggle session? Is that like a joking reference to self criticism sessions from early commie days?

            post googling. Ah, that seems mixed. A good enough term for the ridiculousness of internet disagreements. We do lose so much without tone and facial expressions :\

            • Nakoichi [he/him]@hexbear.net
              link
              fedilink
              English
              arrow-up
              4
              ·
              edit-2
              23 days ago

              We do lose so much without tone and facial expressions :\

              Tell me about it. And even then it’s hard (I am currently coming to terms with the fact I am probably autistic)

              Struggle sessions can be good and bad, and we talk a lot about self crit, which is also good. Just try not to go full Red Army Faction with it (both the German and Japanese RAF were uh, problematic to say the least).

              • naevaTheRat@lemmy.dbzer0.com
                link
                fedilink
                English
                arrow-up
                4
                ·
                23 days ago

                Haha yeah… I’ve never been diagnosed but a number of psychs have been like “have you thought about assessment?”. Idk what it would change, people are difficult and something said with a smile and an earnestness becomes cold hostility rendered in graceless machine fonts.

                And yeah I would agree, mobs can do horrific things but public humiliation is a powerful force for social cohesion.

                I often feel (flippantly, this isn’t my ideal) that a day in stocks would probably be better for non violent antisocial behaviour than the fuck up life -> torturous confinement -> perpetually marked pipeline most “enlightened” justice systems do :p

                • Nakoichi [he/him]@hexbear.net
                  link
                  fedilink
                  English
                  arrow-up
                  3
                  ·
                  23 days ago

                  Man I just saw their most recent thread about us and wanted to make a throwaway but it requires a fucking email. Like seriously? You don’t need one for Hex. Why is this authoritarian redfash instance asking for my papers to post.

                  • naevaTheRat@lemmy.dbzer0.com
                    link
                    fedilink
                    English
                    arrow-up
                    3
                    ·
                    23 days ago

                    mr zero is sometimes cool but often a bit of a drama llama. Seems to have difficulty letting go, something I’m so no users of this instance share ;).