W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2002

Re: datatypes message - draft 2

From: Dan Connolly <connolly@w3.org>
Date: 28 Jun 2002 01:57:48 -0500
To: Dan Connolly <connolly@w3.org>
Cc: pat hayes <phayes@ai.uwf.edu>, w3c-rdfcore-wg@w3.org
Message-Id: <1025247469.22220.215.camel@dirk>

On Fri, 2002-06-28 at 01:09, Dan Connolly wrote:
[...]
> We end up with nothing in our language that work
> like integer numerals:
> 	x=y => s(x) = s(y)

phpht. typo/thinko.
in case you didn't recognize the peano postulate
under that guise, it's supposed to be:

	s(x)=s(y) => x=y

> and
> 	0 <> s(x)
> i.e. a (countably) infinte supply if expressions where
>      same expression => same denotation,
> different expression => different denotation

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 28 June 2002 02:57:18 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:27 EDT