Science Memes

11217 readers

2635 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

!spiders@lemmy.world

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

Sal@mander.xyz

fossilesque@mander.xyz

SciBot@mander.xyz

385

1 + 1 (mander.xyz)

submitted 4 months ago by fossilesque@mander.xyz to c/science_memes@mander.xyz

52 comments fedilink hide all child comments

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

[–] Wilzax@lemmy.world 12 points 4 months ago (2 children)

Now define "+"

[–] FiskFisk33@startrek.website 32 points 4 months ago (1 children)

I love the comment that it's "occasionally useful"

[–] Wilzax@lemmy.world 14 points 4 months ago (1 children)

Hmm yes.. set theory... I don't understand anything happening here

[–] FiskFisk33@startrek.website 12 points 4 months ago* (last edited 4 months ago) (1 children)

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

[–] MaliciousKebab@sh.itjust.works 3 points 4 months ago

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

[–] MBM@lemmings.world 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.

[–] funkless_eck@sh.itjust.works 4 points 4 months ago (1 children)

seems a little sus to use + to define +

[–] apolo399@lemmy.world 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.