[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] Re: [jboske] RE: Anything but tautologies
pycyn@aol.com wrote:
I assume that {abu} refers to "a" and that its use as a pronoun is
dependent upon that and a convention, not that it is directly a
pronoun.
Abstractly speaking, yes. But in terms of syntax, "abu" is a
pronoun (outside MEX) and can't be used for the letter "a".
Inside ordinary MEX it is a variable, still not the letter "a".
The list explanation for {me'o} is more opaque than usual,
could be read that way, I guess.
See the Book. me'o gives unevaluated expressions.
It could also be read as not applying
on the ground that {pa} is not an unevaluated mathematical expression.
Why not? It's a degenerate case, to be sure.
And what does {pabu} mean, then (if it is legal, as it should be)?
It is not yet defined to mean anything in particular.
(though that a sequence is a 1-array makes a kind of
sense).
So it is in many programming languages.
<I won't even ask how to define {n'} in general in Lojban...>
I would write n, n', n'', ... as ny. ny.bu ny.bubu ...
(People who say "n double prime" should be dissected!)
--
John Cowan <jcowan@reutershealth.com> http://www.reutershealth.com
I amar prestar aen, han mathon ne nen, http://www.ccil.org/~cowan
han mathon ne chae, a han noston ne 'wilith. --Galadriel, _LOTR:FOTR_