[SystemSafety] Faults in maths proofs

Derek M Jones derek at knosof.co.uk
Thu Dec 10 16:54:13 CET 2020


"What is Mathematics?"

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

More information about the systemsafety mailing list