From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6221 Path: news.gmane.org!not-for-mail From: "Fred E.J. Linton" Newsgroups: gmane.science.mathematics.categories Subject: Re: Is equality evil? Date: Fri, 24 Sep 2010 20:16:16 -0400 Message-ID: Reply-To: "Fred E.J. Linton" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1285451456 15115 80.91.229.12 (25 Sep 2010 21:50:56 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sat, 25 Sep 2010 21:50:56 +0000 (UTC) Cc: Toby Bartels , Thomas Streicher To: Original-X-From: majordomo@mlist.mta.ca Sat Sep 25 23:50:54 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Ozcdy-0001Vt-3E for gsmc-categories@m.gmane.org; Sat, 25 Sep 2010 23:50:54 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:48463) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Ozcd0-0004x3-DO; Sat, 25 Sep 2010 18:49:54 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Ozccx-0000G0-Tx for categories-list@mlist.mta.ca; Sat, 25 Sep 2010 18:49:51 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6221 Archived-At: Toby Bartels wrote in part: = > The point is that one can recognise that two syntactic expressions, > such as x and x, are the same, ... Sorry, Toby, when I see "such as x and x" I have to struggle to treat the expression between "as" and "and" as anything other than different from the expression following the "and" -- for, if they were really the same, there would be but one expression, not two, it would be in one of those positions only, not both (I'm put in mind = of the good old "Cheech and Chong"-ism, "How can you be in two places = at once, if you're not anywhere at all?"), and you'd have used not = the plural verb form "are" but the singular "is". An illustration from another realm: each time the clerk behind the deli = counter finishes with one customer and shouts "Next!" so as to bring up = another one, the expression the clerk shouts refers to an entirely = different customer than it did the time just before. > ... or even that one reduces to another, > such as fst(x,y) and x (where fst: A x B -> A is the usual projection),= Again I'm puzzled: what can fst(x,y) (where fst: A x B -> A is as you say= ) possibly have to do with x (as in A x B, presumably -- or did you mean as in fst(x,y), which could be problematic for void B)? Sorry to be so obtuse, but ...; cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]