Comment on 1 + 1
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.
Comment on 1 + 1
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.
funkless_eck@sh.itjust.works 1 month ago
seems a little sus to use + to define +
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."
You have to have previously defined 1=S(0), 2=S(1), 3=S(2), and so on.