Re: datatypes message - draft 2

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 UTC