- 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
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