Received: from mail-gh0-f189.google.com ([209.85.160.189]:53677)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCK30vq5WEJzzhv4EGgQqBI-z@googlegroups.com>)
	id 1SYVu7-0006ON-4u; Sat, 26 May 2012 22:20:48 -0700
Received: by ghbf16 with SMTP id f16sf1554168ghb.16
        for <multiple recipients>; Sat, 26 May 2012 22:20:28 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id
         :mail-followup-to:references:mime-version:in-reply-to:user-agent
         :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:content-disposition;
        bh=X6DlOPobZJy9kmdWW74bVlKiwBklQ3sIl8dRTfz2iNg=;
        b=D0AGbjUPENLaINL2k/+QNgw3UAGsLO02SwPhICYcyKmGNt9lxZUWeP1i89VsBXInkT
         qXEsSRRmOFLSpGWxeW/xCgKMerxkkCal34tIWVFb9eAoIm7q8jSL6YpRAilQK0kQHJp7
         Z/sWC4gL5fjXOMPT263cjOt09EorCbz1Ha/LE=
Received: by 10.68.239.168 with SMTP id vt8mr618234pbc.8.1338096028326;
        Sat, 26 May 2012 22:20:28 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.116.169 with SMTP id jx9ls14510504pbb.5.gmail; Sat, 26 May
 2012 22:20:26 -0700 (PDT)
Received: by 10.68.211.103 with SMTP id nb7mr3592908pbc.6.1338096026921;
        Sat, 26 May 2012 22:20:26 -0700 (PDT)
Received: by 10.68.211.103 with SMTP id nb7mr3592907pbc.6.1338096026912;
        Sat, 26 May 2012 22:20:26 -0700 (PDT)
Received: from stodi.digitalkingdom.org (mail.digitalkingdom.org. [173.13.139.236])
        by gmr-mx.google.com with ESMTPS id iq5si18196986pbc.1.2012.05.26.22.20.26
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 26 May 2012 22:20:26 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Received: from rlpowell by stodi.digitalkingdom.org with local (Exim 4.76)
	(envelope-from <rlpowell@digitalkingdom.org>)
	id 1SYVtx-0006OI-MI
	for lojban@googlegroups.com; Sat, 26 May 2012 22:20:25 -0700
Date: Sat, 26 May 2012 22:20:25 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] [doi RLP .e lo drata ku] The state of {bridi cmaci}
Message-ID: <20120527052025.GA3745@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <CALm==BVxUbax-Ap9g-iEOxaVppHEPhp-Pj1Wpj6aWQc1a-UvBA@mail.gmail.com>
MIME-Version: 1.0
In-Reply-To: <CALm==BVxUbax-Ap9g-iEOxaVppHEPhp-Pj1Wpj6aWQc1a-UvBA@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: rlpowell@digitalkingdom.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of rlpowell@digitalkingdom.org designates
 173.13.139.236 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Sun, May 27, 2012 at 12:09:16AM -0400, Alex Rozenshteyn wrote:
> How much has {mekso} or {bridi cmaci} been used since the writing
> (or publication) of
> http://teddyb.org/robin/tiki-index.php?page=Lojban%2C+Math%2C+mekso%2C+and+bridi+cmaci
> ?

To the best of my knowledge, the only non-trivial Lojban math uses
*ever* are:

http://www.lojban.org/tiki/Robin%27s+Palm+Writings%3A+sampu+snicmaci

http://www.lojban.org/tiki/Robin%27s+Palm+Writings%3A+ctunuta%27a+la+feinman+fi+lo+nu+kanji

The stuff in the math section of
http://www.lojban.org/tiki/Texts+In+Lojban

selpa'i's stuff may be recent, but that'd probably be it.

> Does anyone have any suggestions about using lojban for thinking
> about math? 

Well, you've found mine.  :D

-Robin

-- 
http://singinst.org/ :  Our last, best hope for a fantastic future.
.i ko na cpedu lo nu stidi vau loi jbopre .i danfu lu na go'i li'u .e
lu go'i li'u .i ji'a go'i lu na'e go'i li'u .e lu go'i na'i li'u .e
lu no'e go'i li'u .e lu to'e go'i li'u .e lu lo mamta be do cu sofybakni li'u

-- 
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.