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

["Bob LeChevalier (lojbab)" <lojbab@lojban.org>]

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