Difference between revisions of "ctununta'a la feinman fi lo nu kanji"

From Lojban
Jump to navigation Jump to search
m
 
m (Gleki moved page jbocre: ctununta'a la feinman fi lo nu kanji to ctununta'a la feinman fi lo nu kanji without leaving a redirect: Text replace - "jbocre: c" to "c")
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
  
Reschedule as necessary.
+
One of the things I'm doing with le ctununta'a is automatically converting Lojban mekso into symbolic math.  People keep asking my why I'm doing that, so I'm writing it up.
  
* August 13: Irrealis Attitudinals UI1irrealis (Shepherd: Jorge Llambias)
+
* I want to show that mekso are useful for Real Math (tm).
* August 20: Attitudinal Specifiers UI4 UI7 FUhE FUhO (Shepherd: Adam Lopresto)
+
* mekso by themselves don't prove anything; I could be making a mistake, and so could everyone reading it.  There are some mistakes that are '''very''' easy to make; I made a nice one in Level 0 that no-one noticed.
  
* August 27: Attitudinal Modifiers UI5 (Shepherd: Theodore Reed)
+
* mekso are hard to read; people use symbolic math for a reason.
* September 3: Evidentials UI2 (Shepherd: Arnt Johansen)
+
* I want to teach people how to use mekso.
  
* September 10: Discursives UI3 (Shepherd: Arnt Johansen)
+
So what I'm doing is writing the math out in mekso, converting the mekso to symbolic math for easy reading, and having the original mekso as a footnote for people to compare.
 +
 
 +
I'm hoping this system will meet all my goals.
 +
 
 +
You can (probably) see an example of the math stuff I'm doing at http://www.teddyb.org/~rlpowell/media/regular/test.pdf
 +
 
 +
-Robin

Latest revision as of 14:31, 23 March 2014

One of the things I'm doing with le ctununta'a is automatically converting Lojban mekso into symbolic math. People keep asking my why I'm doing that, so I'm writing it up.

  • I want to show that mekso are useful for Real Math (tm).
  • mekso by themselves don't prove anything; I could be making a mistake, and so could everyone reading it. There are some mistakes that are very easy to make; I made a nice one in Level 0 that no-one noticed.
  • mekso are hard to read; people use symbolic math for a reason.
  • I want to teach people how to use mekso.

So what I'm doing is writing the math out in mekso, converting the mekso to symbolic math for easy reading, and having the original mekso as a footnote for people to compare.

I'm hoping this system will meet all my goals.

You can (probably) see an example of the math stuff I'm doing at http://www.teddyb.org/~rlpowell/media/regular/test.pdf

-Robin