Received: from mail-yw0-f61.google.com ([209.85.213.61]:39783) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1R80N9-0006mN-M1; Sun, 25 Sep 2011 18:52:50 -0700 Received: by ywm3 with SMTP id 3sf6733123ywm.16 for ; Sun, 25 Sep 2011 18:52:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:message-id:in-reply-to:references:date :subject:from:to:user-agent:mime-version:x-priority:importance :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=3CdVUAbftXPGatRUC7GfE/fUGkLEE/ylU7+kczWUuWY=; b=R2NUwZvG3RLf4Y26jbbcIoEpPMcnaYzekH+Y4UNjYo/C8DB3mT6J4AeXoJFULIRwn1 43dDxuQZwFVuMjiiOQs02rDwod28wq10zX7/jK572mdypxff1ew6OJkxOBTC912OLQf6 j0rFlf+y4pkXwXt3/04QdjJZFcUgoecc3qs4k= Received: by 10.150.94.9 with SMTP id r9mr1269511ybb.10.1317001955899; Sun, 25 Sep 2011 18:52:35 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.90.212.4 with SMTP id k4ls1340407agg.6.gmail; Sun, 25 Sep 2011 18:52:34 -0700 (PDT) Received: by 10.236.185.4 with SMTP id t4mr20057796yhm.3.1317001954941; Sun, 25 Sep 2011 18:52:34 -0700 (PDT) Received: by 10.236.185.4 with SMTP id t4mr20057795yhm.3.1317001954932; Sun, 25 Sep 2011 18:52:34 -0700 (PDT) Received: from questmail.futurequest.net (questmail.futurequest.net. [69.5.6.251]) by gmr-mx.google.com with ESMTPS id b5si1112961ybf.0.2011.09.25.18.52.34 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 25 Sep 2011 18:52:34 -0700 (PDT) Received-SPF: neutral (google.com: 69.5.6.251 is neither permitted nor denied by best guess record for domain of lojban707@fagricipni.com) client-ip=69.5.6.251; Received: (qmail 31977 invoked by uid 12318); 26 Sep 2011 01:52:33 -0000 Received: from 67.58.190.131 (SquirrelMail authenticated user lojban707@fagricipni.com) by QuestMail.FutureQuest.net with HTTP; Sun, 25 Sep 2011 21:52:33 -0400 Message-ID: In-Reply-To: <201109251519.12061.phma@phma.optus.nu> References: <2752dfd6732d70c7580ca5d168826c70.squirrel@QuestMail.FutureQuest.net> <201109251519.12061.phma@phma.optus.nu> Date: Sun, 25 Sep 2011 21:52:33 -0400 Subject: Re: [lojban] fagricipni is back From: lojban707@fagricipni.com To: lojban@googlegroups.com User-Agent: SquirrelMail/1.4.22 MIME-Version: 1.0 X-Priority: 3 (Normal) Importance: Normal X-Original-Sender: lojban707@fagricipni.com X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 69.5.6.251 is neither permitted nor denied by best guess record for domain of lojban707@fagricipni.com) smtp.mail=lojban707@fagricipni.com; domainkeys=pass header.From=lojban707@fagricipni.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / On Sun, September 25, 2011 3:19 pm, Pierre Abbat wrote: > On Sunday 25 September 2011 09:59:38 lojban707@fagricipni.com wrote: >> There is one question that I have thought of while translating the one >> on >> numbers that I would like to ask the computer scientists: would nalna'u >> be >> a good word for NaN? > > I think so, but it is a selbri, not a number. To make it a (syntactic) > number, > precede it with "ni'e". To make a selbri out of a number, precede it with > "me > li". I had forgotten about the "me li" to make a selbri a number, though once you mentioned it I did remember. Now, making a number out of a selbri, I never knew that apparently; though I was thinking more about talking *about* NaNs, for which a selbri would be appropriate; however, it would definitely be a good idea for me to mention the fact that it can not be used in a numeric context without the mechanisms you describe in what I am writing. -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.