[cap-talk] is defensive correctness a plausible null hypothesis?
kosik at fiit.stuba.sk
Sun May 15 14:30:46 PDT 2011
-----BEGIN PGP SIGNED MESSAGE-----
Friends and fellows,
I see no way how properties such as defensive correctness and defensive consistency could be proved.
Concerning the following hypotheses:
1. given system is defensively correct
2. given system is defensively consistent
3. given system is fragile
I am tempted to follow the following reasoning:
IF i cannot disprove (1)
THEN i must accept (1)
ELSE IF i cannot disprove (2)
THEN i must accept (2)
ELSE i must accept (3)
Is this generally plausible?
(it is typically trivial to provide the corresponding proofs)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
More information about the cap-talk