home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / object / 4647 < prev    next >
Encoding:
Text File  |  1992-12-23  |  2.1 KB  |  41 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!usc!howland.reston.ans.net!zaphod.mps.ohio-state.edu!darwin.sura.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!chsun!hslrswi!bytesmiths!steinman
  3. From: steinman@hslrswi.hasler.ascom.ch (Jan Steinman - Bytesmiths, 3946)
  4. Subject: Re: Equality
  5. Message-ID: <1992Dec23.144730.8070@hasler.ascom.ch>
  6. Sender: news@hasler.ascom.ch
  7. Reply-To: steinman@hslrswi.hasler.ascom.ch
  8. Organization: Ascom Hasler AG
  9. References: <1992Dec23.123438.18914@nntp.nta.no>
  10. Date: Wed, 23 Dec 1992 14:47:30 GMT
  11. Lines: 28
  12.  
  13. In article 18914@nntp.nta.no, klaus@hal.nta.no (Klaus Gaarder) writes:
  14. >In article <1992Dec22.234147.480@neptune.inf.ethz.ch>
  15. >santas@inf.ethz.ch (Philip) writes:
  16.  
  17. >To my knowledge the only sensible interpretation of 'equality' and the relation
  18. >usually written '=' is as _identity_. Ie, 'x=y' is interpreted as true iff x and
  19. >y denote _the same (mathematical)object_. The thread of discussion would probably
  20. >benefit from exchanging 'equality' with 'equivalent', since this seems to be what
  21. >the discussion is all about. Do not confuse 'equal to' with 'equivalent to'!
  22.  
  23. So, you have two coins in your pocket of the same value. The two are not equal
  24. because they are not the same coin? Equality and Identity are fundamentally
  25. different, perhaps, although not necessarily, for "value" objects, and usually,
  26. although again not necessarily, for non-value objects.
  27.  
  28. It is necessary to model values, whether by coins, objects, or by graphite
  29. smeared on bleached, pressed wood fiber. Models are necesarily approximations,
  30. and are optimized for different purposes. Since the '3' inside a computer is
  31. but a model, it is *never* the pattern of phosphors that cause a '3' to be
  32. displayed on a screen, and is *never* the same as the concept of "threeness"
  33. that registers in the mind of someone reading that screen. Are these all
  34. inequal because they are different?
  35.  
  36. ---
  37. : : Jan Steinman, Bytesmiths               steinman@hasler.ascom.ch : :
  38. : : 2002 Parkside Court, West Linn, OR 97068-2767 USA        +1 503 657 7703 : :
  39. : : Beundenfeldstrasse 35, CH-3013, Bern, Switzerland        +41 31 999 3946 : :
  40.  
  41.