[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] 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... Christian
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|