From sentto-44114-2820-959043217-mark=kli.org@returns.onelist.com Tue May 23 00:52:38 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 17218 invoked from network); 23 May 2000 00:52:37 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 23 May 2000 00:52:37 -0000 Received: (qmail 4992 invoked by uid 40001); 23 May 2000 00:53:45 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 4989 invoked from network); 23 May 2000 00:53:44 -0000 Received: from ci.egroups.com (207.138.41.176) by zash.lupine.org with SMTP; 23 May 2000 00:53:44 -0000 X-eGroups-Return: sentto-44114-2820-959043217-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by ci.egroups.com with NNFMP; 23 May 2000 00:53:42 -0000 Received: (qmail 15370 invoked from network); 23 May 2000 00:53:37 -0000 Received: from unknown (10.1.10.26) by m4.onelist.org with QMQP; 23 May 2000 00:53:37 -0000 Received: from unknown (HELO hotmail.com) (216.33.240.153) by mta1 with SMTP; 23 May 2000 00:53:37 -0000 Received: (qmail 27102 invoked by uid 0); 23 May 2000 00:53:37 -0000 Message-ID: <20000523005337.27101.qmail@hotmail.com> Received: from 200.42.154.41 by www.hotmail.com with HTTP; Mon, 22 May 2000 17:53:37 PDT X-Originating-IP: [200.42.154.41] To: lojban@egroups.com From: "Jorge Llambias" MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Mon, 22 May 2000 17:53:37 PDT Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit > > The converse is also true, of course. Any mekso can be converted > > into an ordinary grammatical construct, usually making > > much more clear what you're talking about. > >Ehm. Perhaps in lojban, and perhaps to a non-mathematician, but that >seems like quite a broad assertion.... Yes, by "mekso" I only meant the Lojban mekso system. My contention is that it doesn't facilitate anything. I don't mean to say that mathematical formulas are not useful, only that reading them using Lojban mekso is just as complicated, or more, than reading them using standard Lojban or standard English. >In terms of programming, I'd say both forms would have applications. >Some problems are mathematical in formulation, some are verbal, some are >visual. My opinion is that Lojban mekso will not be of much help with the mathematical formulations. I could be wrong, of course. In part I'm making these categorical assertions in the hope that someone will be challenged to prove me wrong. co'o mi'e xorxes ________________________________________________________________________ Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com ------------------------------------------------------------------------ Failed tests, classes skipped, forgotten locker combinations. Remember the good 'ol days http://click.egroups.com/1/4053/3/_/17627/_/959043217/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com