• UnderpantsWeevil@lemmy.world
    link
    fedilink
    English
    arrow-up
    6
    ·
    20 hours 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
      ·
      13 hours 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?