Message-Id: <4.2.2.20000523061744.00a27f00@127.0.0.1>
To: lojban@egroups.com
In-Reply-To: <20000523005337.27101.qmail@hotmail.com>
From: "Bob LeChevalier (lojbab)" <lojbab@lojban.org>
MIME-Version: 1.0
Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com
Precedence: bulk
Date: Tue, 23 May 2000 06:22:53 -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: 1511
Lines: 30

At 05:53 PM 05/22/2000 -0700, Jorge Llambias wrote:
>Yes, by "mekso" I only meant the Lojban mekso system. My
>contention is that it doesn't facilitate anything. I don't mean
>to say that mathematical formulas are not useful, only that reading
>them using Lojban mekso is just as complicated, or more, than
>reading them using standard Lojban or standard English.

I am sure you are correct.  Given what we were trying to do, it would have 
to be more complicated than in English, since English cannot read off 
mathematical expressions unambiguously.  If you limit yourself to, say, 
normal arithmetic expressions in normal forms, I would expect that learning 
mekso would be much easier, adding other stuff when you have need of 
reverse Polish notation, matrices, and the like.

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


------------------------------------------------------------------------
WRITERS WANTED! Themestream allows ALL writers to publish their 
articles on the Web, reach thousands of interested readers, and get 
paid in cash for their work. Click below:
http://click.egroups.com/1/3840/3/_/17627/_/959077271/
------------------------------------------------------------------------

To unsubscribe, send mail to lojban-unsubscribe@onelist.com