From lojbab@lojban.org Tue May 23 03:23:54 2000 Return-Path: Received: (qmail 7844 invoked from network); 23 May 2000 10:23:54 -0000 Received: from unknown (10.1.10.142) by m4.onelist.org with QMQP; 23 May 2000 10:23:54 -0000 Received: from unknown (HELO stmpy.cais.net) (205.252.14.63) by mta3 with SMTP; 23 May 2000 10:23:54 -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 GAA09633 for ; Tue, 23 May 2000 06:22:09 -0400 (EDT) Message-Id: <4.2.2.20000523062316.00ac8e80@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:25:37 -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: >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. Maybe rather than trying to translate an advanced math paper or a computer language, we should start by trying to translate a 1st grade arithmetic text, giving the textual equivalent of all equations and problems. 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