3 ms·

Agreed that you cannot expect the Post Office to prove a negative but, if they cannot prove a negative, they should not be able to use their computer system as

Agreed that you cannot expect the Post Office to prove a negative but, if they cannot prove a negative, they should not be able to use their computer system as evidence of theft and fraud. Especially if this is the only evidence they have.

ganzuul 5y ago
So government software, technically cybernetic software, should be proven to be correct. Will automatic theorem proovers be able to accommodate this?
- _vertigo 5y ago
  Not necessarily proven to be correct, proven to be correct _beyond a reasonable doubt_. That's the standard.