@[email protected] to Lemmy [email protected] • 9 months agoPaniki.postimg.ccimagemessage-square146fedilinkarrow-up11.31Karrow-down151
arrow-up11.26Karrow-down1imagePaniki.postimg.cc@[email protected] to Lemmy [email protected] • 9 months agomessage-square146fedilink
minus-square@[email protected]linkfedilink54•edit-29 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-square@[email protected]linkfedilink17•9 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 + 1Edit: 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…