[SystemSafety] Logic
Gergely Buday
gbuday at gmail.com
Tue Feb 18 15:43:53 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:
http://www.nicta.com.au/pub?id=5717
Sorry I sent the previous mail by accident.
- Gergely
More information about the systemsafety
mailing list