Cart
[Home] [By Thread] [By Date] [Recent Entries]
Yes, you need meta-meta-data so you can layer a truth table over your schema's axioms and their inferences and the logical procedures you use to make those inferences. ---- Stephen D Green On 5 April 2011 15:51, David Carlisle <davidc@n...> wrote: > 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. > ________________________________________________________________________ > > _______________________________________________________________________ > > XML-DEV is a publicly archived, unmoderated list hosted by OASIS > to support XML implementation and development. To minimize > spam in the archives, you must subscribe before posting. > > [Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/ > Or unsubscribe: xml-dev-unsubscribe@l... > subscribe: xml-dev-subscribe@l... > List archive: http://lists.xml.org/archives/xml-dev/ > List Guidelines: http://www.oasis-open.org/maillists/guidelines.php > >
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] |
