• From: "Simon St.Laurent" <simonstl@s...>
• To: "Robert C. Lyons" <boblyons@u...>, xml-dev@l...
• 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

• Follow-Ups:
  • RE: NPR, Godel, Semantic Web
    • From: Stuart Naylor <indtec@e...>

• References:
  • NPR, Godel, Semantic Web
    • From: "Simon St.Laurent" <simonstl@s...>
  • RE: NPR, Godel, Semantic Web
    • From: "Robert C. Lyons" <boblyons@u...>

• Prev by Date: Re: The lists I monitor
• Next by Date: Re: The lists I monitor
• Previous by thread: RE: NPR, Godel, Semantic Web
• Next by thread: RE: NPR, Godel, Semantic Web
• Index(es):
  • Date
  • Thread