• From: David Carlisle <davidc@n...>
• To: "Costello, Roger L." <costello@m...>
• Date: Tue, 05 Apr 2011 15:51:16 +0100

On 05/04/2011 12:49, Costello, Roger L. wrote:
> With a few simple axioms and rules, I can create new indisputable truths.

No, you can generate consequences from the axioms. The truth or 
otherwise of those may still be disputed, depending on the truth or 
applicability of the axioms and rules used and the accuracy with which 
the rules are applied. If deciding the truth of a mathematical statement 
was an easy mechanical process, peer reviewing mathematical papers 
wouldn't be so hard.

David


________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________

• Follow-Ups:
  • Re: XML Schemas is Cool
    • From: Stephen D Green <stephengreenubl@g...>
  • Re: XML Schemas is Cool
    • From: John Cowan <cowan@m...>

• References:
  • XML Schemas is Cool
    • From: "Costello, Roger L." <costello@m...>