From rlpowell@csclub.uwaterloo.ca Thu Feb 22 18:04:46 2001 Return-Path: X-Sender: rlpowell@calum.csclub.uwaterloo.ca X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_0_4); 23 Feb 2001 02:04:26 -0000 Received: (qmail 30626 invoked from network); 23 Feb 2001 02:04:25 -0000 Received: from unknown (10.1.10.26) by l9.egroups.com with QMQP; 23 Feb 2001 02:04:25 -0000 Received: from unknown (HELO calum.csclub.uwaterloo.ca) (129.97.134.11) by mta1 with SMTP; 23 Feb 2001 02:04:25 -0000 Received: (from rlpowell@localhost) by calum.csclub.uwaterloo.ca (8.9.3+Sun/8.9.3) id VAA05832; Thu, 22 Feb 2001 21:10:37 -0500 (EST) Date: Thu, 22 Feb 2001 21:10:37 -0500 To: Jorge Llambias Cc: lojban@yahoogroups.com Subject: Re: [lojban] set mechanics Message-ID: <20010222211036.F2351@calum.csclub.uwaterloo.ca> Mail-Followup-To: Jorge Llambias , lojban@yahoogroups.com References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: ; from jjllambias@hotmail.com on Fri, Feb 23, 2001 at 01:54:12AM +0000 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell On Fri, Feb 23, 2001 at 01:54:12AM +0000, Jorge Llambias wrote: > > >From: Robin Lee Powell > > > >But not having a complete set of set operations in a language > >thet has sets as a fundamental type _really_ bothers me, so we need > >either set negation or set subtraction. > > I agree that having an incomplete set is not very nice, but > for me the solution is to just forget about sets as fundamental > types. The set articles are never really needed. In general > anything expressed with them can be said more clearly without > them, and half the time that they are used they're used wrong > if taken seriously as sets. I disagree with that; I really enjoy sets and find them very useful. But then again, technically me Bachelor's (which isn't quite complete) is in Math, so I'm biased. 8) I can't think of good examples, but I find those in the book quite compelling. -Robin -- http://www.csclub.uwaterloo.ca/~rlpowell/ BTW, I'm male, honest. Information wants to be free. Too bad most of it is crap. --RLP