• From: Christian Nentwich <c.nentwich@c...>
• Date: Tue, 08 May 2001 12:12:43 +0100

> Maybe it's because the domain of Golbach's conjecture is much greater
> than that of phone numbers, locations, and formatting rules. Gödel's
> theorem applies in axiomatic systems rich enough to contain
> arithmetic.  Could it be that the "semantic web" as an axiomatic
> system will not be rich enough to contain arithmetic, but could be
> rich enough to perform any practical inference of use to us?  That

I wonder how the semantic web will represent infinite sets? I would have
thought that to be necessary for representing arithmetic...

Christian

• References:
  • RE: NPR, Godel, Semantic Web
    • From: Mike.Champion@S...

• Prev by Date: Re: Regarding groups.
• Next by Date: Re: NPR, Godel, Semantic Web
• Previous by thread: Re: NPR, Godel, Semantic Web
• Next by thread: RE: NPR, Godel, Semantic Web
• Index(es):
  • Date
  • Thread