History: Robin's Palm Writings: Math Notes

Source of version: 4 (current)

! MOVED TO:

[http://teddyb.org/robin/tiki-index.php?page=Lojban%2C+Math%2C+mekso%2C+and+bridi+cmaci&no_bl=y]

Robin's Palm Writings Category: misc

Navigation: ((Robin's Palm Writings: misc|misc Index)) ((Robin's Palm Writings|Robin's Palm Writings Top-Level Index)) 


-GOAL: show examples in similar style for logic and other notations
-replace mekso with bridi, but need some things
-need a NU for math
-use ca'e? for output, as opposed to symbols?: li pa su'i pa du li re =ï¿½ li? ni'ai sumji li pa li re du li re == li? sumji be li pa bei li pa du li re
	- ni + ce'u works, although not with li, but that's probably OK -- kpried doesn't like ni; ni'ai for now
	- le/lo + se to output place also
	- lo / le distimction might have interesting side effects?
	- so: li pa su'i pa du li re == le ni ce'u sumji li pa li re du li re == le sumji be li pa bei li pa du li re
	- need something else for theorem: su'u seems about right
	- need something else for symbols.  Perhaps steal me'o?  Also: le sinxa be lo su'u sumji li pa li pa.  Or maybe just use la'e lu...li'u?
-la'a expand li to include selbri
	- would probably need a terminator
	-not sure it buys us anything exvcept syllables
	- how deal with leading args? "li re sumji li pa li pa"?  "li li re sumji"?

-nesting, either with be or ni'ai: li pa su'i vei pa su'i pa du li ci = li ni'ai li pa ziljmina li ni'ai li pa ziljmina li pa kei ca'e du li ci = li te ziljmina be li pa bei li te ziljmina be li pa bei li pa du li ci
	-gets a bit hairy; perhaps better to make li'ai = li ni'ai and ma'e = la'e ni'ai or something
	-save us nothing over le ni
	-sumji: le ni sumji li pa le ni sumji li pa li pa -- le sumji be li pa bei le sumji be li pa bei li pa

-would want new gismu, la'a also try to grab some single syllable cmavo
	-vei = li'ai (= le ni), ve'o = vei gi'ai
-MOI for function names; fy moi'oi
	-what else turns things into selbri?
	-me - will it work here? - should

Philosophy

-disads: extra syllables.  1? + 1 for each bare number + 2? for each nesting (RPN or not)
-adv: less things to memorize; ordering of bridi well understood
-mekso fails at goal #1: if you read off a mathematical expression into mekso, you will *not* get the same calculation without a *lot* of effort
-RPN is lost here (but see the consumption markers in the RPN notes), because RPN requires a fixed number of arguments, with the number known in advance, but the Lojban RPN implementation has always been a hack, because of the "exactly two arguments" thing.
History: Robin's Palm Writings: Math Notes

Source of version: 4 (current)

Search Lojban Resources
