• UnderpantsWeevil@lemmy.world
    link
    fedilink
    English
    arrow-up
    7
    ·
    2 days ago

    A Math PhD will eventually make a simple arithmetic mistake if you ask them to do enough problems.

    Which is why we don’t designate a single Math PhD as a definitive source for all mathematical wisdom.

    That doesn’t invalidate more difficult proofs

    If I’m handed a proof with a simple arithmetic mistake in the logic, that absolutely invalidates it

    • iopq@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      arrow-down
      1
      ·
      2 days ago

      But you didn’t say that. You said you can’t trust something that makes basic mistakes. Humans make them all the time. You can’t trust any human?

        • iopq@lemmy.world
          link
          fedilink
          English
          arrow-up
          1
          ·
          1 day ago

          You said

          Imagine a calculator that reported “1+1=3”. It seems silly to use such a machine to do long division.

          Every single person alive has made silly addition mistakes. Is it silly to trust those people with long division?