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.