Subject: Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types

From: "Bob LeChevalier (lojbab)" <[email-masked]>
Date: Tue, 23 May 2000 06:25:37 -0400

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 [email-masked]
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