On Wed, 7 Aug 2002, pat hayes wrote: > Well, no; in fact, they can't be self-denoting in this setup. If > (int)10 is supposed to denote an integer, then if it were > self-denoting it would have to be an integer, which it isn't. In > fact, you can't put integers into syntax, so *anything* that denotes > integers isn't self-denoting. That should disappoint a lot of travelling salesmen. OK, there may be a tacit one-step indirection of the same kind that you may want to model weighted graphs. -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk They modified their trousers secretly.Received on Wednesday, 7 August 2002 12:25:36 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:50:24 EDT