In a message dated 2/27/2002 2:07:13 PM Central Standard Time, jjllambias@hotmail.com writes:>{1} =df {0'} Somewhat hard to say, since, as you note, nobody knows just how MEX works and this, as a point about the language of mthematics, would naturally go into MEX. It certainly would not be your suggestions, since that makes no sense, being about a couple of numbers (and so not definable) and a letter (not obviously related to anything at all). Maybe {ce'a pabu cu basti nobu ce'o y'ybu} <Edward Cherlin: >The inverse of the logarithm function ku cu fancu domain-the-reals >range-the-positive-reals ma'o e^x >(where x is a bound variable representing the argument). That's the Cowan place structure, yes. One problem is that nobody quite knows how to put "ma'o e^x (where x is a bound variable representing the argument)" into Lojban. And if this is just a text then there is a second problem, because it is not the text but the meaning of that text that is of interest here.> This is not obvious, it depends upon what the purpose of the sentence is. Cherlin wants it to be a definition, and thus it is exactly text that is wanted, needed, possible. |