[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[Derek M Jones]

All,

It looks like mathematics is suffering from the same problems as
software, i.e., size and complexity leads people to suspect
that much of it contains faults:
https://www.vice.com/en_us/article/8xwm54/number-theorist-fears-all-published-math-is-wrong-actually

The solution being proposed?
Use software to help check the mathematical proofs.

Perhaps somebody should tell them about formal methods ;-)

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com