home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / object / 4663 < prev    next >
Encoding:
Text File  |  1992-12-25  |  1.5 KB  |  42 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!mole-end!mat
  3. From: mat@mole-end.matawan.nj.us
  4. Subject: Re: Equality
  5. Message-ID: <1992Dec25.074620.20411@mole-end.matawan.nj.us>
  6. Summary: What means `equal' ?  Does Equal == Sugar Twin (on the bedpost overnight)
  7. Organization: :
  8. Date: Fri, 25 Dec 1992 07:46:20 GMT
  9. Lines: 31
  10.  
  11. References: <1992Dec21.184405.2215@midway.uchicago.edu> <knight.725232043@cunews>
  12.  
  13. In article <knight.725232043@cunews>, knight@mrco.carleton.ca (Alan Knight) writes:
  14.  
  15. > I think that you are trying to take a very strong definition of
  16. > equality that can work for some mathematical abstractions and apply it
  17. > to everything.  I don't think this definition of equality is universal
  18. > in mathematics either. One often refers to two sides of a triangle
  19. > being equal, meaning that their lengths are equal. I, and others, have
  20. > already mentioned graphs.
  21.  
  22. I seem to recall that that notion of `equality' was called `congruence'.
  23.  
  24. And perhaps there is a lesson in that: given that all of these things
  25. are models (where a model is an abstraction expressed in a representation)
  26. we have to ask whether we mean
  27.  
  28.     equivalence-in-use of the thing abstracted, whatever
  29.     it or they be,
  30.  
  31.     or equivalence-in-structure of the representation,
  32.  
  33.     or even unique identity of the representation.
  34.  
  35. This is rather like the opening scene of _The Hobbit_, when Bilbo says
  36. ``Good Morning!'' and Gandalf answers ``What do you mean by that?''
  37. -- 
  38.  (This man's opinions are his own.)
  39.  From mole-end                Mark Terribile
  40.  
  41.  mat@mole-end.matawan.nj.us, Somewhere in Matawan, NJ
  42.