tatterdemalion@programming.dev to Programmer Humor@programming.devEnglish · 1 year agoOh yea, that's the good stuff huffs glueprogramming.devimagemessage-square22fedilinkarrow-up1242arrow-down16
arrow-up1236arrow-down1imageOh yea, that's the good stuff huffs glueprogramming.devtatterdemalion@programming.dev to Programmer Humor@programming.devEnglish · 1 year agomessage-square22fedilink
minus-squareFargeol@kbin.sociallinkfedilinkarrow-up6·1 year agoIs that a Peano Axioms reference ? https://en.wikipedia.org/wiki/Natural_number#Peano_axioms
minus-squareparlaptie@feddit.delinkfedilinkarrow-up1·1 year agoIt’s somehow inverted. If it was Peano, two would be represented by two Somes, not by six. I have no idea how this one works.
Is that a Peano Axioms reference ?
https://en.wikipedia.org/wiki/Natural_number#Peano_axioms
It’s somehow inverted. If it was Peano, two would be represented by two Somes, not by six. I have no idea how this one works.