[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
Re: [xml-dev] XML Schemas is Cool
- From: John Cowan <cowan@mercury.ccil.org>
- To: David Carlisle <davidc@nag.co.uk>
- 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@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]
