[SystemSafety] Logical difficulties in mathematics

[Derek M Jones]

All,

Publicity of problems and inconsistencies in code is spreading
to mathematics.  Mathematicians are starting to highlight these
issues in their field:
https://njwildberger.com/2012/10/13/the-problem-of-rigour-in-modern-mathematics/

Perhaps somebody ought to tell mathematicians about formal methods.

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