Comment on 1 + 1
MBM@lemmings.world 4 months 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 4 months 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 4 months ago
seems a little sus to use + to define +
apolo399@lemmy.world 4 months 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.