For example: I don’t believe in the axiom of choice nor in the continuum hypothesis.

Not stuff like “math is useless” or “people hate math because it’s not well taught”, those are opinions about math.

I’ll start: exponentiation should be left-associative, which means a^b should mean b×b×…×b } a times.

  • Heyting@lemmy.ml
    link
    fedilink
    arrow-up
    5
    ·
    2 days ago

    We make mathematical definitions to do math. We can define 0! any way we want but we defined it to be equal to 1 because it fits in nicely with the way the factorial function works on other numbers.

    Literally the only reason why mathematicians define stuff is because it’s easier to work with definitions than to do everything from elementary tools. What the elementary tools are is also subjective. Mathematics isn’t some objective truth, it’s just human made structures that we can expand and better understand through applying logic in the form of proofs. Sometimes we can even apply them to real world situations!

    • MartianSands@sh.itjust.works
      link
      fedilink
      arrow-up
      5
      ·
      2 days ago

      Honestly I think it’s misleading to describe it as being “defined” as 1, precisely because it makes it sounds like someone was trying to squeeze the definition into a convenient shape.

      I say, rather, that it naturally turns out to be that way because of the nature of the sequence. You can’t really choose anything else