[SystemSafety] Logical difficulties in mathematics

Derek M Jones derek at knosof.co.uk
Fri Feb 15 15:07:08 CET 2019


Publicity of problems and inconsistencies in code is spreading
to mathematics.  Mathematicians are starting to highlight these
issues in their field:

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

More information about the systemsafety mailing list