From rlpowell@digitalkingdom.org Sun Jan 09 16:20:30 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 09 Jan 2005 16:20:30 -0800 (PST) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34) id 1CnnI4-0004Tw-KZ for lojban-list@lojban.org; Sun, 09 Jan 2005 16:20:12 -0800 Date: Sun, 9 Jan 2005 16:20:12 -0800 To: lojban-list@lojban.org Subject: [lojban] Re: BPFK gadri Message-ID: <20050110002012.GJ4597@chain.digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20050109105912.GG4597@chain.digitalkingdom.org> <002d01c4f66f$a5a0d440$42e1fea9@oemcomputer> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <002d01c4f66f$a5a0d440$42e1fea9@oemcomputer> User-Agent: Mutt/1.5.6+20040907i From: Robin Lee Powell X-archive-position: 9209 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list On Sun, Jan 09, 2005 at 01:11:25PM -0000, And Rosta wrote: > > Robin has asked me to state here my view that the BPFK proposals > for gadri are sound and successful. I think the proposals are an > admirable compromise between consistency with pre-BPFK Lojban and > consistency with the needs for logical coherence and expressive > power. If there are still any questionmarks in my mind (or > expressed in my messages), this doesn't mean I think the current > proposal is not fundamentally sound. But most encouraging of all > is that the BPFK has proved that it can achieve its objectives, > for all that at one time they seemed an impossibly huge mountain > to climb. > > Again, sincere congratulations to Robin, xorxes & the rest of the > BPFK team. Thanks, And. I really appreciate it. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/ Reason #237 To Learn Lojban: "Homonyms: Their Grate!" Proud Supporter of the Singularity Institute - http://singinst.org/