Re: [SystemSafety] Logic

From: Gergely Buday < >
Date: Tue, 18 Feb 2014 15:42:38 +0100


Derek M Jones wrote:

> Formal logic is all well and good for small systems but it does
> not scale. I think you should explain this important issue to
> your students.
>
> A mathematicians point of view:
> "Highly complex proofs and implications of such proofs"
> http://rsta.royalsocietypublishing.org/content/363/1835/2401
>
> The practical usefulness of formal logic for anything but the smallest
> problem is wildly overblown in computer science and I continue to be
> amazed by the claims made by the proponents of this approach:
> http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/

It does scale, with proper tools. Of course scaling is an important research question, addressed e.g. here:



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Feb 18 2014 - 15:42:47 CET

This archive was generated by hypermail 2.3.0 : Sun Apr 21 2019 - 02:17:06 CEST