397

1 + 1(mander.xyz)

posted
by
Avatar
fossilesque@mander.xyzM
in
Avatar
science_memes@mander.xyz
52 comments
hidereport
Sort:
HotTopControversialNewOld
You are viewing a single thread.
View all comments View context
Avatar
funkless_eck@sh.itjust.works
4 points

seems a little sus to use + to define +

permalink
report
parent
reply
Avatar
apolo399@lemmy.world
8 points

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.

permalink
report
parent
reply

Science Memes

!science_memes@mander.xyz

Create post

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

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

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

Research Committee

Other Mander Communities

Science and Research

Biology and Life Sciences

Physical Sciences

Humanities and Social Sciences

Practical and Applied Sciences

Memes

Miscellaneous

Community stats

  • 13K

    Monthly active users

  • 3.4K

    Posts

  • 83K

    Comments

Community moderators