OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: NPR, Godel, Semantic Web

> 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...