From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1842 Path: news.gmane.org!not-for-mail From: Dusko Pavlovic Newsgroups: gmane.science.mathematics.categories Subject: Re: Why binary products are ordered Date: Sat, 10 Feb 2001 16:10:42 -0800 Message-ID: <3A85D882.CF0F0EE9@kestrel.edu> References: <200102080117.RAA13130@coraki.Stanford.EDU> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018143 755 80.91.229.2 (29 Apr 2009 15:15:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:15:43 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sun Feb 11 17:48:55 2001 -0400 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f1BKr9P12402 for categories-list; Sun, 11 Feb 2001 16:53:09 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.72 [en] (X11; U; SunOS 5.5.1 sun4u) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 24 Original-Lines: 47 Xref: news.gmane.org gmane.science.mathematics.categories:1842 Archived-At: Hi. I am also trying to catch up, perhaps belatedly, with the "spurious ingredients" thread, but I am quite lost in some parts. > But woven into Charles' argument is what Bill has called the "totally > arbitrary singleton operation of Peano." To begin embarassing myself --- I am not sure what Peano's singleton operation is. Is it the map x|-->{x}? If it is --- why is this operation totally arbitrary, like Bill says? In particular, why is it more arbitrary than the successor operation in arithmetic (which Peano used)? It comes about as a part of the initial algebra structure on Godel's cumulative hierarchy, just like the successor comes about in NNO. Aren't all our inductive constructions based on such operations, including the software we are using to run this conversation? I would really appreciate help with this. Also, I somehow came to think of set theory as *tree representations of abstract sets*, much like vector spaces are used for group representations. Is this wrong? It seems to me that introducing the external, "spurious" elements (eg vectors) is the whole point of representations. And more than that, the essence of our thinking: Isn't every metaphor, as a deviation from the abstract view, built of spurious elements? Isn't every novel a bunch of lies, things that never happened, put together to tell some truth? Can we really define cartesian product without the spurious elements? I am sure we can, but it would be good to know more precisely how to distinguish the spurious from the authentic elements. Otherwise, we may end up "slinging back and forth ill-defined epithets", like i am probably doing now. With apologies, and best wishes, -- Dusko > Surely anyone insisting on names like 1 and 2 or red and blue for the > projections of binary product is backsliding into the ZFvN tarpit of > spurious rigidified membership. If this backsliding really is inevitable > as Charles seems to be saying, how does one reconcile this with Bill's > view of "rigidified membership" as "mathematically spurious"? > > Must mathematics accept the spurious, in this or any other case? > > Vaughan