[cap-talk] is defensive correctness a plausible null hypothesis?

[Matej Kosik]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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/

iEYEARECAAYFAk3QRgYACgkQL+CaXfJI/hgPWgCgqXHEIpVYM+5A8ZPUS0042EIE
1HsAniYkkQWjckScKgbE0QI4hPUfF641
=d/bK
-----END PGP SIGNATURE-----