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"
> 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:

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 : Tue Jun 04 2019 - 21:17:06 CEST