[SystemSafety] Number Theorist Fears All Published Math Is Wrong

Gergely Buday gbuday at gmail.com
Thu Oct 31 06:40:30 CET 2019


Derek,

what do you offer than as an alternative?

- Gergely

Derek M Jones <derek at knosof.co.uk> ezt írta (időpont: 2019. okt. 30., Sze
22:00):

> Gergely,
>
> > for non-malicious, even correct compilers check CompCert and CakeML.
>
> Any discussion of formal methods eventually mentions soap
> powder advertising:
>
> http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/
>
>
> --
> Derek M. Jones           Software analysis
> tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191031/4477a9d7/attachment.html>


More information about the systemsafety mailing list