[SystemSafety] Faults in maths proofs

[Derek M Jones]

All,

"What is Mathematics?"
https://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_buzzard.pdf

A discussion involving recent examples of 'proofs'
that may or may not be correct, starting at slide 5.

There is some discussion of the use of programs to create proofs,
and the problem that software contains faults, just like mathematical proofs.

-- 
Derek M. Jones           Evidence-based software engineering
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com