RE: NPR, Godel, Semantic Web

[Stuart Naylor <indtec@eircom.net>]

If you have ever read Douglas Adams 'The answer is 42, what was the
question?'

Incompleteness is just a point of view for a RDF knowledge base.
Semantically the errors will be human so in true Godel form they will be
correct.


-----Original Message-----
From: Simon St.Laurent [mailto:simonstl@simonstl.com]
Sent: 07 May 2001 15:49
To: Robert C. Lyons; xml-dev@lists.xml.org
Subject: RE: NPR, Godel, Semantic Web


At 10:31 AM 5/7/01 -0400, Robert C. Lyons wrote:
>For a simple explanation of Godel's Theorem, see
>
>   http://www.nadn.navy.mil/Users/math/meh/godel.html.

Thanks!

>Here's a site that describes a couple of "common but fallacious
>conclusions" that people make from the theorem:
>
>   http://www.santafe.edu/~shalizi/notebooks/godels-theorem.html

Since a lot of what the Semantic Web proposes to do is precisely "deduction
from axioms", I suspect these claims don't fall into the "common but
fallacious conclusions" area.

If anyone knows where they do fall, I'd love to hear it.


Simon St.Laurent - Associate Editor, O'Reilly & Associates
XML Elements of Style / XML: A Primer, 2nd Ed.
XHTML: Migrating Toward XML
http://www.simonstl.com - XML essays and books


------------------------------------------------------------------
The xml-dev list is sponsored by XML.org, an initiative of OASIS
<http://www.oasis-open.org>

The list archives are at http://lists.xml.org/archives/xml-dev/

To unsubscribe from this elist send a message with the single word
"unsubscribe" in the body to: xml-dev-request@lists.xml.org