3 ms·
How can there be errors in math papers if math formulae are trivial to check formally using a computer?
by qwerty456127 5y ago
How can there be errors in math papers if math formulae are trivial to check formally using a computer?
- dagw 5y agoBecause the current state of the art of automated proof checking is still trying to check all the proofs you'll see in a undergraduate program and nowhere near able to check state of the art proofs.
- asdf_snar 5y agoMath formulae are not trivial to check formally using a computer. Mathematical software is in its infancy relative to the sophistication of mathematical objects defined in the literature.