In <200507221457(_dot_)31149(_at_)mail(_dot_)blilly(_dot_)com> Bruce Lilly
<blilly(_at_)erols(_dot_)com> writes:
On Fri July 22 2005 09:48, Charles Lindsey wrote:
Now of course we all know perfectly well that was not the intention, as
Appendix B makes clear.
It is an accepted rule of logic that if one starts with a proposition and
by following sound reasoning finds a contradiction, the proposition must be
false. That is a rule which is fundamental to a significant number of
mathematical proofs, and more than three decades ago was routinely taught
to students. <insert lament about the decline in educational rigor here>
All very true. I stated a proposition, and demonstrated that it followed
from the norative text of RFC 2822. If you claim that you can derive a
contradictionfrom the proposition, then please show us your derivation.
Note, however, that neither Appendix B nor my remark concerning "we all
know perfectly well" form part of the normative text of RFC 2822, hence
their disagreement with the proposition proves nothing, though they are
highly suggestive of the presence of a Bug.
--
Charles H. Lindsey ---------At Home, doing my own thing------------------------
Tel: +44 161 436 6131 Fax: +44 161 436 6133 Web: http://www.cs.man.ac.uk/~chl
Email: chl(_at_)clerew(_dot_)man(_dot_)ac(_dot_)uk Snail: 5 Clerewood Ave,
CHEADLE, SK8 3JU, U.K.
PGP: 2C15F1A9 Fingerprint: 73 6D C2 51 93 A0 01 E7 65 E8 64 7E 14 A4 AB A5