- From: Mark Baker <distobj@acm.org>
- Date: Fri, 4 Jan 2002 11:58:19 -0500 (EST)
- 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 UTC