[SystemSafety] Logic
Gergely Buday
gbuday at gmail.com
Tue Feb 18 15:42:38 CET 2014
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:
More information about the systemsafety
mailing list