OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] XML CMM and ISO9000 compliance? - was A standard approach

[ Lists Home | Date Index | Thread Index ]

From: "John Cowan" <cowan@mercury.ccil.org>
> pop3 scripsit:
> > Nor can I support folks in a CMM or ISO9000 shop
> > utilizing XML to any significant degree until they can show that XML is
> > proven best practice, by rigorous scientific proofs.
> What programming language can you justify by "rigorous scientific
> [meaning mathematical?] proofs"?  Scheme and Prolog, maybe.

Well, exactly. There is no such thing as a "rigorous scientific proof".
Asking for one just reveals a misunderstanding of science. You can have a
rigorous mathematical proof, or a scientific theory that agrees with
empirical observation and is consistent with other theories, but you cannot
mix the two and somehow arrive at a proof of a theory.

Bob Foster


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS