• From: John Cowan <cowan@m...>
• To: David Carlisle <davidc@n...>
• Date: Tue, 5 Apr 2011 11:01:58 -0400

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@c...>
but almost all proofs have bugs.                http://www.ccil.org/~cowan
        --Paul Pedersen

• References:
  • XML Schemas is Cool
    • From: "Costello, Roger L." <costello@m...>
  • Re: XML Schemas is Cool
    • From: David Carlisle <davidc@n...>