fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 4 months ago1 + 1mander.xyzexternal-linkmessage-square21fedilinkarrow-up1129arrow-down16
arrow-up1123arrow-down1external-link1 + 1mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 4 months agomessage-square21fedilink
minus-squareFiskFisk33@startrek.websitelinkfedilinkEnglisharrow-up0·edit-24 months agook, I define 1 as {∅} and 2 as {∅, {∅}} proving the addition holds is slightly more complicated
minus-squareMBM@lemmings.worldlinkfedilinkEnglisharrow-up1·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.
minus-squareFiskFisk33@startrek.websitelinkfedilinkEnglisharrow-up1·4 months ago I love the comment that it’s “occasionally useful”
minus-squareWilzax@lemmy.worldlinkfedilinkEnglisharrow-up0·4 months agoHmm yes… set theory… I don’t understand anything happening here
minus-squareFiskFisk33@startrek.websitelinkfedilinkEnglisharrow-up1·edit-24 months agoThere is actually a really good explanation for us math-curious non-mathematicians here: https://blog.plover.com/math/PM.html
ok, I define 1 as {∅} and 2 as {∅, {∅}}
proving the addition holds is slightly more complicated
Now define “+”
+is a map fromN×NtoNwherea + 0 = aanda + S(b) = S(a + b)(Sis the successor function that gives the next number).Then
1 + 1 = 1 + S(0) = S(1 + 0) = S(1) = 2.I love the comment that it’s “occasionally useful”
Hmm yes… set theory… I don’t understand anything happening here
There is actually a really good explanation for us math-curious non-mathematicians here:
https://blog.plover.com/math/PM.html