Cart
[Home] [By Thread] [By Date] [Recent Entries]
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@s...] Sent: 07 May 2001 15:49 To: Robert C. Lyons; xml-dev@l... 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@l...
|
