Re: The naive test for equality

VC wrote:
> Then rationals are a set Q of equivalence classes defined by the above
> relation. Technically, one has to *prove* that E is indeed an equivalence
> relations and that operations like addition and multiplication are well
> defined and obey the usual laws, etc.
>
> There is no neeed to talk about some vague representations and such, one
> can simply speak in clear terms of integers and equivalence classes instead.

well, the equivalence class can be thought of as a set of possible representations for the "value" that "is" the equivalence class (feeling like Clinton here explaining what I mean by "is" :))

By "representation" I mean the actual symbols used to convey the idea of a "value", and they may be several of these representations for one value.

Paul. Received on Wed Aug 03 2005 - 22:25:15 CEST