Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 17853 invoked from network); 23 May 2000 10:22:48 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 23 May 2000 10:22:48 -0000 Received: (qmail 19097 invoked by uid 40001); 23 May 2000 10:23:57 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 19094 invoked from network); 23 May 2000 10:23:57 -0000 Received: from hl.egroups.com (208.50.144.86) by zash.lupine.org with SMTP; 23 May 2000 10:23:57 -0000 X-eGroups-Return: sentto-44114-2824-959077435-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by hl.egroups.com with NNFMP; 23 May 2000 10:23:56 -0000 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 To: lojban@egroups.com In-Reply-To: <20000523005337.27101.qmail@hotmail.com> From: "Bob LeChevalier (lojbab)" 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: Tue, 23 May 2000 06:25:37 -0400 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 Content-Length: 1106 Lines: 25 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 ------------------------------------------------------------------------ Missing old school friends? Find them here: http://click.egroups.com/1/4055/3/_/17627/_/959077435/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com