• ALostInquirer@lemm.eeOP
      link
      fedilink
      arrow-up
      1
      ·
      7 days ago

      While I’m aware of Contact, and know it relates to people, do you really agree with that premise? Isn’t the inconsistency in employed units of measure sufficient to indicate otherwise?

    • iii@mander.xyz
      link
      fedilink
      English
      arrow-up
      11
      arrow-down
      1
      ·
      edit-2
      8 days ago

      Math is what you get when you agree to disagree on all but 8 axioms (1). Then go “yeah? prove it” on any other statement.

      • oce 🐆@jlai.lu
        link
        fedilink
        arrow-up
        3
        arrow-down
        1
        ·
        7 days ago

        I think they also disagree on the choice of axioms, like are they too much or not enough and are they truly independent? See the criticism part of the article.