Mathematics in toki pona
seme
Tags: toki pona
FAQ
Frequently asked questions about toki pi (nasin nanpa).
Why not use ijo symbol instead of ijo symbol?
- It would make more intuitive sense to use wan for addition, but then using tu for subtraction could sound strange.
- You could use sin instead for multiplication or addition.
- You could use ala for subtraction.
The symbols you chose are weird.
[(\mathbb{R}_{> 0}, \times) \cong (\mathbb{R}, +).]
Why did you choose those symbols in specific?
- algebra of sets:
- (A \cap B) := product
- (A \cup B) := sum
- boolean logic:
- (a \land b) := product
- (a \lor b) := sum
- order theory:
- (\inf{a, b}) := product
- (\sup{a, b}) := sum
- algebraic data types (Haskell):
(a, b):= producta | b:= sum
Boolean logic, being the closest to natural language in my opinion, has the clearest example of what a general “product” and “sum” expresses. The “product” should express the notion of “both” things and “sum” should express the notion of “either” things.
With this in mind,
- I am using namako for addition because it expresses “additonal” or “extra” things.
- I am using weka for subtraction because of the dual reasons of namako.
- I am using wan for multiplication because it expresses the idea of “both” things that a “product” should express.
- I am using tu for division because of the dual reasons of wan.