Science Memes

11253 readers

5552 users here now

Welcome to c/science_memes @ Mander.xyz!

A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.

Rules

Don't throw mud. Behave like an intellectual and remember the human.
Keep it rooted (on topic).
No spam.
Infographics welcome, get schooled.

This is a science community. We use the Dawkins definition of meme.

Research Committee

[email protected]

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

founded 2 years ago

MODERATORS

[email protected]

386

1 + 1 (mander.xyz)

submitted 4 months ago by [email protected] to c/[email protected]

52 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 8 points 4 months ago (2 children)

+ 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.

[–] [email protected] 4 points 4 months ago (1 children)

seems a little sus to use + to define +

[–] apolo399 9 points 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."

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.