Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)MB
Posts
0
Comments
803
Joined
2 yr. ago

1 + 1

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

  • EDIT: I see that the “fediverse” link for posts has been removed.

    It's still there, just not when the post/comment comes from the instance you're on. Even though the post is to a lemmy.ml community, it's from lemmy.world so that's where the fediverse link goes to.