RE: NPR, Godel, Semantic Web

From: "Simon St.Laurent" <simonstl@simonstl.com>

To: "Robert C. Lyons" <boblyons@unidex.com>, xml-dev@lists.xml.org

Date: Mon, 07 May 2001 10:49:07 -0400

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