• unwarlikeExtortion@lemmy.ml
    link
    fedilink
    English
    arrow-up
    1
    ·
    13 hours ago

    What’s missing here os the definition that we’re working in base 10. While it won’t be a proof, Fibbonaci has his nice little Liber Abbaci where he explains arabic numerals. A system of axioms for base 10, a definition of addition and your succession function would suffice. Probably what the originals were going for, but I can’t imagine how that would take 86 pages. Reading it’s been on my todo list, but I doubt I’ll manage 86 pages of modern math designed to be harder to read than egyptian hieroglyphs.