To: Pierre Abbat <phma@webjockey.net>
Cc: lojban@yahoogroups.com
Message-ID: <20040325163110.GC25199@skunk.reutershealth.com>
References: <200403250931.i2P9VLb16669@xahlee.org> <200403250748.31923.phma@webjockey.net> <20040325142907.GB2972@ccil.org> <200403250937.05063.phma@webjockey.net>
In-Reply-To: <200403250937.05063.phma@webjockey.net>
User-Agent: Mutt/1.4.1i
From: jcowan@reutershealth.com
MIME-Version: 1.0
Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com
Precedence: bulk
Date: Thu, 25 Mar 2004 11:31:10 -0500
Subject: [lojban] Re: fi'u was Re:lanzu usage
Content-Type: text/plain; charset=US-ASCII
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
Precedence: bulk
Reply-to: lojban-list@lojban.org
Content-Length: 1929
Lines: 51

Pierre Abbat scripsit:

> fi'u is (sqrt(5)+1)/2; fi'ufi'u is (sqrt(5)-1)/2. They are multiplicative 
> inverses. To six places, they are 1.618034 and 0.618034.

Fair enough, but you should document this on the Wiki.

> li fi'u vu'u fi'u fi'u du li pa

.i li te'o te'a pai pi'i ka'o du li ni'u pa

.i roxy. ro.y.bu rozy. nony. zo'u
	li xy. te'a ny. su'i .y.bu te'a ny. du li zy. te'a ny.
	.ije li ny. zmadu li re

This last raises the question of whether it's legitimate to use lerfu in
prenexes to represent bound variables.  Currently, the only bound variables
are da, de, di and variants thereof, but this really isn't enough for
stating proofs, and it's too remote from mathematical convention.  Do we
get into trouble if we allow uses like the above, rather than the
straight interpretation "For all of the in-mind-things-beginning-with-X"?

Note that I'm using conventional operator priorities, as licensed by the Red Book.

-- 
Do what you will,                       John Cowan
   this Life's a Fiction                jcowan@reutershealth.com
And is made up of                       http://www.reutershealth.com
   Contradiction.  --William Blake      http://www.ccil.org/~cowan


------------------------ Yahoo! Groups Sponsor ---------------------~-->
Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark
Printer at MyInks.com.  Free s/h on orders $50 or more to the US & Canada.
http://www.c1tracking.com/l.asp?cid=5511
http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM
---------------------------------------------------------------------~->

To unsubscribe, send mail to lojban-unsubscribe@onelist.com 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/lojban/

<*> To unsubscribe from this group, send an email to:
     lojban-unsubscribe@yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/