ickplant@lemmy.world to Lemmy Shitpost@lemmy.world · 11 months agoPaniki.postimg.ccimagemessage-square149fedilinkarrow-up11.3Karrow-down150
arrow-up11.25Karrow-down1imagePaniki.postimg.ccickplant@lemmy.world to Lemmy Shitpost@lemmy.world · 11 months agomessage-square149fedilink
minus-square_dev_null@lemmy.zxcvn.xyzlinkfedilinkarrow-up54·edit-211 months agoI think you skipped a step: 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 Edit: Ohhhh, math by tens, I totally missed it. In that case, my mind wants to break it down to (10 * 5) + 1, and I’d still totally miss 17 as a possible factor.
minus-squaredriving_crooner@lemmy.eco.brlinkfedilinkarrow-up17·11 months agoYou miss a couple os steps too. First, lets define the axioms, we’re using Peano’s for this exercise. Axiom 1: 0 is a natural number. Jump to axiom 6, define the succession function s(n) where s(n) = 0 is false, and for brevity s(0) = 1, s(s(0)) = 2 and so on…
I think you skipped a step:
1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1
Edit: Ohhhh, math by tens, I totally missed it. In that case, my mind wants to break it down to
(10 * 5) + 1
, and I’d still totally miss 17 as a possible factor.You miss a couple os steps too.
First, lets define the axioms, we’re using Peano’s for this exercise.
Axiom 1: 0 is a natural number.
Jump to axiom 6, define the succession function s(n) where s(n) = 0 is false, and for brevity s(0) = 1, s(s(0)) = 2 and so on…