From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Thu, 7 May 2020 12:43:27 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: <994babd9-6067-41a1-b12a-17c149138fdb@googlegroups.com> In-Reply-To: References: Subject: Re: "Identifications" ? MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_111_812132876.1588880607281" ------=_Part_111_812132876.1588880607281 Content-Type: multipart/alternative; boundary="----=_Part_112_351985053.1588880607281" ------=_Part_112_351985053.1588880607281 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable The meanings of "equal" and "identical" are the same. They both mean=20 "same", and are equivalent to "equivalent" according to most dictionaries.= =20 Try not to be too judgmental, Thorsten. Best, Martin On Monday, 4 May 2020 10:35:53 UTC+1, Thorsten Altenkirch wrote: > > I am just reading a paper which uses the word =E2=80=9CIdentification=E2= =80=9D instead of=20 > equality. I think this has been proposed by Bob Harper. Can anybody=20 > enlighten me what is the difference between identifications and equality?= =20 > Maybe there is an identification between them but they are not equal? Are= =20 > the real numbers 0.999=E2=80=A6 identified or are they equal? > > =20 > > Thorsten > > This message and any attachment are intended solely for the addressee > and may contain confidential information. If you have received this > message in error, please contact the sender and delete the email and > attachment.=20 > > Any views or opinions expressed by the author of this email do not > necessarily reflect the views of the University of Nottingham. Email > communications with the University of Nottingham may be monitored=20 > where permitted by law. > > > > > ------=_Part_112_351985053.1588880607281 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable
The meanings of "equal" and "identical"= ; are the same. They both mean "same", and are equivalent to &quo= t;equivalent" according to most dictionaries.=C2=A0

Try not to be too judgmental, Thorsten.

Best,
Martin

On Monday, 4 May 2020 10:35:53 UTC+1, Thorst= en Altenkirch wrote:

I am just reading a= paper which uses the word =E2=80=9CIdentification=E2=80=9D instead of equa= lity. I think this has been proposed by Bob Harper. Can anybody enlighten m= e what is the difference between identifications and equality? Maybe there is an identification between them but they are not e= qual? Are the real numbers 0.999=E2=80=A6 identified or are they equal?

=C2=A0

Thorsten

This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.=20

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored=20
where permitted by law.



------=_Part_112_351985053.1588880607281-- ------=_Part_111_812132876.1588880607281--