[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[David Crocker]

Derek,

Have you every actually used a tool that attempts to provide formal
proof of software correctness? If so, how many demonstrably false
"proofs" did it provide? And how many decades ago was that?

David Crocker, Escher Technologies Ltd.
http://www.eschertech.com
Tel. +44 (0)20 8144 3265 or +44 (0)7977 211486

On 29/10/2019 12:44, Derek M Jones wrote:
> 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 ;-)
>