W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2002

Identifying reals

From: Mark Baker <distobj@acm.org>
Date: Fri, 4 Jan 2002 11:58:19 -0500 (EST)
Message-Id: <200201041658.LAA13328@markbaker.ca>
To: msabin@interx.com (Miles Sabin)
Cc: www-rdf-interest@w3.org
> Mark Baker wrote,
> > Ok, so I'll identify it as;
> >
> > http://example.org/numbers/real/peters-example-real
> 
> Reread peters argument ... this one's already taken. _All_ of them
> are already taken. And if you still don't believe it google for
> "Cantors diagonal argument".

Ah, I missed the "URIs are a finite sequence ..." assumption.

The problem is that this assumption is incorrect.  You may have trouble
passing arbitrarily large ones around, but that doesn't prevent them
from being defined.  Earlier Peter said "How many URIs are there?  Only
countably infinite.", which is correct, but inconsistent with saying
that URIs are a finite sequence.  If they were a finite sequence then
there would be finite number of them.  So my point stands.

Weee, this is fun.  Time for a subject change though; better late than
never.

MB
-- 
Mark Baker, Chief Science Officer, Planetfred, Inc.
Ottawa, Ontario, CANADA.      mbaker@planetfred.com
http://www.markbaker.ca   http://www.planetfred.com
Received on Friday, 4 January 2002 11:57:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:52 GMT