3 ms·
Per Rice's theorem, it's not giving up that's not a option; it's just a question of whether you have false positives or false negatives. (To be fair, for safety
by a1369209993 7y ago
Per Rice's theorem, it's not giving up that's not a option; it's just a question of whether you have false positives or false negatives. (To be fair, for safety-critical code, insisting on only false positives (ie treating anything you give up on as a positive) is a pretty resonable choice.)
- progval 7y agoI'm guessing that by "giving up", GP meants having a false negative
- archi42 7y agoExactly. You don't want your planes MCU to be "probably" or "mostly" bugfree.
- nullc 7y agoA tool like this could be sound but incomplete. E.g. return true, false, or idunno.
- a1369209993 7y agoYes, exactly; "idunno" is the giving-up answer.