Re: NPR, Godel, Semantic Web

[Christian Nentwich <c.nentwich@cs.ucl.ac.uk>]

> 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