home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.object
- Path: sparky!uunet!mcsun!sunic!aun.uninett.no!nuug!nntp.nta.no!hal.nta.no!klaus
- From: klaus@hal.nta.no (Klaus Gaarder)
- Subject: Re: Equality
- Message-ID: <1992Dec23.123438.18914@nntp.nta.no>
- Sender: klaus@hal.nta.no (Klaus Gaarder FNI)
- Nntp-Posting-Host: periferix.nta.no
- Organization: Norwegian Telecom Research
- References: <1992Dec21.184405.2215@midway.uchicago.edu> <BzoAD8.By6@newsflash.concordia.ca> <1992Dec22.183803.16421@midway.uchicago.edu> <1992Dec22.234147.480@neptune.inf.ethz.ch>
- Date: Wed, 23 Dec 92 12:34:38 GMT
- Lines: 20
-
- In article <1992Dec22.234147.480@neptune.inf.ethz.ch>
- santas@inf.ethz.ch (Philip) writes:
-
- >equality is not the same as identity, and should not be like
- >that, if you want to deal with non-trivial applications
-
- To my knowledge the only sensible interpretation of 'equality' and the relation
- usually written '=' is as _identity_. Ie, 'x=y' is interpreted as true iff x and
- y denote _the same (mathematical)object_. The thread of discussion would probably
- benefit from exchanging 'equality' with 'equivalent', since this seems to be what
- the discussion is all about. Do not confuse 'equal to' with 'equivalent to'!
-
- KLaus
- --
- __o
- _`\<,_
- (*)/ (*) Claudio Caputti
- +++++++++++++++++++++++++++++++++++++++^++++++++++++++++++++++++++++++++++++++
- Free will - the result of chaotic amplification of quantum events in the brain.
- ------------------------------------------------------------------------------
-