[SystemSafety] Bursting the formal methods bubble

Derek M Jones derek at knosof.co.uk
Wed Oct 25 15:15:28 CEST 2017


All,

Formal methods is founded on the idea that mathematical
work is always, magically, correct.

The mathematics we all learn in school/university has been around
long enough to be throughly checked, which gives people a skewed
view of mathematics.

Mathematical work contains mistakes, just like everything else:
http://scienceblogs.com/evolutionblog/2008/07/21/is-modern-mathematics-reliable/

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


More information about the systemsafety mailing list