From sentto-44114-22041-1081918148-lojban-in=lojban.org@returns.groups.yahoo.com Tue Apr 13 21:49:52 2004 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 13 Apr 2004 21:49:52 -0700 (PDT) Received: from n2.grp.scd.yahoo.com ([66.218.66.75]) by chain.digitalkingdom.org with smtp (Exim 4.30) id 1BDcLD-0002Aj-2r for lojban-in@lojban.org; Tue, 13 Apr 2004 21:49:39 -0700 X-eGroups-Return: sentto-44114-22041-1081918148-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.28] by n2.grp.scd.yahoo.com with NNFMP; 14 Apr 2004 04:49:08 -0000 X-Sender: cowan@ccil.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 73072 invoked from network); 14 Apr 2004 04:49:07 -0000 Received: from unknown (66.218.66.217) by m22.grp.scd.yahoo.com with QMQP; 14 Apr 2004 04:49:07 -0000 Received: from unknown (HELO mercury.ccil.org) (192.190.237.100) by mta2.grp.scd.yahoo.com with SMTP; 14 Apr 2004 04:49:07 -0000 Received: from cowan by mercury.ccil.org with local (Exim 3.35 #1 (Debian)) id 1BDcKb-0001F5-00; Wed, 14 Apr 2004 00:49:01 -0400 To: MorphemeAddict@wmconnect.com Cc: lojban@yahoogroups.com Message-ID: <20040414044901.GB603@ccil.org> References: <194.2732bc22.2dadade0@wmconnect.com> In-Reply-To: <194.2732bc22.2dadade0@wmconnect.com> User-Agent: Mutt/1.3.28i X-eGroups-Remote-IP: 192.190.237.100 From: John Cowan X-Yahoo-Profile: johnwcowan MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Wed, 14 Apr 2004 00:49:01 -0400 Subject: [lojban] Re: the 17 tallest men Content-Type: text/plain; charset=US-ASCII X-archive-position: 7545 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: cowan@ccil.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list MorphemeAddict@wmconnect.com scripsit: > why is it so hard to say "the 17 tallest men" in lojban? i would have > thought that this had a standard form in logic long ago, and it would > be a simple transfer to lojban. what's the deal? The standard first-order logic expression is unreasonably hairy. It's something like "The set of A and B and ... and P and Q, such that A is not B and A is not C and ... and B is not C and ... and P is not Q, and A is not shorter than B and B is not shorter than C and ... and P is not shorter than Q and A is a man and B is a man and ... and Q is a man and there does not exist Z such that Z is a man and Z is not shorter than Q." This can probably be improved on, but it obviously doesn't scale. -- "While staying with the Asonu, I met a man from John Cowan the Candensian plane, which is very much like jcowan@reutershealth.com ours, only more of it consists of Toronto." http://:www.ccil.org/~cowan ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Yahoo! Groups Links <*> To visit your group on the web, go to: http://groups.yahoo.com/group/lojban/ <*> To unsubscribe from this group, send an email to: lojban-unsubscribe@yahoogroups.com <*> Your use of Yahoo! Groups is subject to: http://docs.yahoo.com/info/terms/