[SystemSafety] Faults in maths proofs

Derek M Jones derek at knosof.co.uk
Fri Dec 11 17:05:57 CET 2020


> Another gem of scepticism from Derek. This time he is due unambiguous thanks. (There's condescension for you!)

Skepticism of what?

The maths taught as school and university has been around long enough for
the obvious mistakes to have been detected and corrected.

Having been exposed to maths that has been around long enough to have
the obvious mistakes removed, some people have formed the incorrect
view that anything done using maths must be correct.

One end result is soap powder advertising masquerading as reality.

> On 10/12/2020 15:54, Derek M Jones wrote:
>> 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.
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety

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