[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] More on lojban programatic semantics: Strong typing and inferencing of types
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