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


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Re: [xml-dev] XML Schemas is Cool

David Carlisle scripsit:

> If deciding the truth of a mathematical statement  
> was an easy mechanical process, peer reviewing mathematical papers  
> wouldn't be so hard.

See .sig.

Almost all theorems are true,                   John Cowan <cowan@ccil.org>
but almost all proofs have bugs.                http://www.ccil.org/~cowan
        --Paul Pedersen

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

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

Copyright 1993-2007 XML.org. This site is hosted by OASIS