diff options
Diffstat (limited to 'tempo.md')
| -rw-r--r-- | tempo.md | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -100,6 +100,10 @@ def \prop\ `[x y] x+. = y` (A \prop\ B) denotes that a certain object is a property of another, by indicating that its combination with another object results in the target. this also implies that you can consider `0` as property of all, and `1` as property of all the numbers above it, and so on. +def \type\ `[x y] y\prop\x` (A \type\ B) +^^ typeof: +the reverse implication of `\prop\`, showing that axiom A is of type axiom B. + def \neq\ `[x y] - x=y` (A \neq\ B) ^^ unequal: shows that the two input objects are non-equal. @@ -260,19 +264,19 @@ def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\` ^^ matter: **universe dependent**. existence which has a persistent identity and is weakly equal to energy. -def \atom\ `A=. A=\matter\ \epsilon\*A=A (\me\)\prop\A` +def \atom\ `A=. A\type\\matter\ \epsilon\*A=A (\me\)\prop\A` ^^ atom: an indivisible type of matter which has the property of identity. -def \aH\ `A=. A=\atom\ (\atom\+1)\id\A` +def \aH\ `A=. A\type\\atom\ (\atom\+1)\id\A` ^^ hydrogen: an atom identified by the unity (1). -def \aHe\ `A=. A=\atom\ (\atom\+2)\id\A` +def \aHe\ `A=. A\type\\atom\ (\atom\+2)\id\A` ^^ helium: an atom identified by the composite 2. -the rest of the atoms can be defined as such. +other atoms can be defined using the same method. ## update log |