In many cases, an algorithm can be designed and implemented to prove/disprove a mathematical axiom, but could it be accepted as proof or refutation by rigorous mathematicians?

  • 5
    $\begingroup$ I suppose that based on your thesis sentence, I am either not a good programmer or one of those exceptional good programmers who doesn't "know how to create a proper algorithm" to prove or disprove a mathematical axiom. There are programs called Proof Assistants that are intended to aid mathematicians in constructing formal proofs. $\endgroup$
    – hardmath
    Nov 30, 2022 at 6:34
  • 3
    $\begingroup$ Even so, a mathematician does not think in terms of proving (or disproving) "a mathematical axiom". The axioms are a starting point for deductive reasoning, and the things that one can prove in this way are called theorems. $\endgroup$
    – hardmath
    Nov 30, 2022 at 6:48
  • 2
    $\begingroup$ Maybe you meant to write "theorem" rather than "axiom"? One can't prove axioms. $\endgroup$ Nov 30, 2022 at 21:04

1 Answer 1


The short answer is: it depends.

Often disproving a theorem can be done by providing a counterexample. If you find a legitimate counterexample, then the theorem is disproven. At that point it is of no importance how you came up with it. That includes numerical algorithms.

One thing to keep in mind in numerical computations is that you always deal with limited floating point precision. There is a case for rigorous analytical research over using these calculations with limited precision.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.