Comment on 1 + 1

• FiskFisk33@startrek.website ⁨1⁩ ⁨month⁩ ago

  Image

  I love the comment that it’s “occasionally useful”

  source

  • Wilzax@lemmy.world ⁨1⁩ ⁨month⁩ ago

    Hmm yes… set theory… I don’t understand anything happening here

    source

    • FiskFisk33@startrek.website ⁨1⁩ ⁨month⁩ ago

      There is actually a really good explanation for us curious non-mathematicians here:
      blog.plover.com/math/PM.html

      source

      • MaliciousKebab@sh.itjust.works ⁨1⁩ ⁨month⁩ ago

        That’s some good read, thank you so much.

        source
• MBM@lemmings.world ⁨1⁩ ⁨month⁩ ago

  + is a map from N×N to N where a + 0 = a and a + S(b) = S(a + b) (S is the successor function that gives the next number).
  Then 1 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2.

  source

  • funkless_eck@sh.itjust.works ⁨1⁩ ⁨month⁩ ago

    seems a little sus to use + to define +

    source

    • apolo399@lemmy.world ⁨1⁩ ⁨month⁩ ago

      No, it’s correct. You define the operation by it’s properties. It’s not saying that “a plus 0 = a” but "the result of applying the binary operation ‘+’ to any number with 0 should give the original number."

      • is just a symbol. You could instead write it as +(a,0)=a and +(a,S(b))=S(+(a,b)).

      You have to have previously defined 1=S(0), 2=S(1), 3=S(2), and so on.

      source