[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[Gergely Buday]

Rod,

for non-malicious, even correct compilers check CompCert and CakeML.

- Gergely

Roderick Chapman <rod at proteancode.com> ezt írta (időpont: 2019. okt. 30.,
Sze 10:45):

> Of course, these proofs depend on assumptions - that the compiler is
> non-malicious, that the CPU executes the semantics of its ISA as-advertised
> and so on, but I've found those to be both reasonable and manageable risks
> in the past...
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191030/14286f33/attachment.html>