From lojbab@lojban.org Tue May 23 03:21:10 2000 Return-Path: Received: (qmail 14145 invoked from network); 23 May 2000 10:21:09 -0000 Received: from unknown (10.1.10.27) by m2.onelist.org with QMQP; 23 May 2000 10:21:09 -0000 Received: from unknown (HELO stmpy.cais.net) (205.252.14.63) by mta2 with SMTP; 23 May 2000 10:21:09 -0000 Received: from bob (73.dynamic.cais.com [207.226.56.73]) by stmpy.cais.net (8.8.8/8.8.8) with ESMTP id GAA09580 for ; Tue, 23 May 2000 06:19:25 -0400 (EDT) Message-Id: <4.2.2.20000523061744.00a27f00@127.0.0.1> X-Sender: vir1036/pop.cais.com@127.0.0.1 X-Mailer: QUALCOMM Windows Eudora Pro Version 4.2.2 Date: Tue, 23 May 2000 06:22:53 -0400 To: lojban@egroups.com Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types In-Reply-To: <20000523005337.27101.qmail@hotmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" At 05:53 PM 05/22/2000 -0700, Jorge Llambias wrote: >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. I am sure you are correct. Given what we were trying to do, it would have to be more complicated than in English, since English cannot read off mathematical expressions unambiguously. If you limit yourself to, say, normal arithmetic expressions in normal forms, I would expect that learning mekso would be much easier, adding other stuff when you have need of reverse Polish notation, matrices, and the like. lojbab ---- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org