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
This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:53:58 UTC