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

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
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

Revision as of 16:46, 4 November 2013

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