diff options
Diffstat (limited to 'tempo.md')
| -rw-r--r-- | tempo.md | 45 |
1 files changed, 45 insertions, 0 deletions
@@ -119,6 +119,7 @@ denotes that there is no such other object equating this one. def \static\ `[x] x>x` (\static\ A) ^^ static: denotes an object that never changes. that is, it is its own consequence. +an alternative definition would be `[x] @x=x`, claiming that an object's change is itself. def \id\ `[x y] A=x A\prop\y \unique\A \static\A` (A \id\ B) ^^ id: @@ -153,10 +154,19 @@ def < `[x y] y>x + x\neq\y` (A < B) ^^ before: B > A & A \neq\ B, denotes B comes after A and they are not the same. +def \between\ `[a x y] x\neq\f f\neq\y x>f f>y` (A \between\ B C) +^^ between: +shows that an event takes place between two other events. + def | `[x] A=. A<x A` (| B) ^^ separate: the object(s) preceeding the combination of an input object. breaks down an input into its creating parts. using this on a static atomic object will return either itself. +def ^ `[x y] |y=.+x` (A ^ B) +^^ inside: +shows that an axiom is part of another one. +alternative definition: `[x y] (.+x)=y` + def ! `.*0` ^^ ???: an indescribable, unknown, and paradoxical axiom. @@ -209,6 +219,8 @@ def \nand\ `[x y] - x&y` (A \nand\ B) ^^ nand: logical NAND. this expression is proven to be functionally complete, meaning you can build any conceivable logical contraption out of this. for the sake of originality though, we will not be using this to scaffold a rule 110 emulator. +i will not be defining other logical operators here, they are trivial. + def \speaker\ `A=. . < \me\x A` (\speaker\ B) ^^ speaker: what came before "me"? the originator of the thought, of course. @@ -291,11 +303,44 @@ def \you\ `A=.\type\\listener\ B=\axiom\. \speaker\>B \hypo\(B>A A\comprehend\) indicates a listener that can hypothetically comprehend an axiom created by the speaker. the target of the speaker's words. +def \context\ `[x] A=.\type\(\me\\axiom\) !\comp\x \comp\(x+A) A` (\context\ B) +^^ context: +an axiom, without which, the input axiom cannot be comprehended, but with it, the listener can comprehend the input axiom. + +def \nuos\ `[x] A=.\type\(\me\\world\) B=x B\type\\mind\ A^B A` (\nuos\ C) +^^ nuos: +the internal world, context and logic of a specific mind. defines a world which exists inside of another. + +def ? `A=.\type\\axiom\ B=.\type\\axiom\ B>A (!((\speaker\B)\comp\))>B B` +^^ question: +an axiom, which originates from a void of comprehension, and leads to another axiom. + +def ; `A=.\type\\axiom\ B=.\type\\axiom\ B>A (!((\speaker\B)\comp\))>B A` +^^ answer: +the axiom created from the void of comprehension. + +**note to all**: do not try to define love. poetry is not definition. + +def \all\ `[x y] -(A=.\type\x -(A^y))` (\all\ B C) +^^ all: +for all axioms of type B, every one of them exists inside C. + +def \some\ `[x y] -(\all\ x -y)` (\some\ A B) +^^ some: +there exists an axiom of type A which is inside of B. +alternative definition: `[x y] A=.\type\x A^y` + ## update log // Timestamp: future - more coming soon. +// Timestamp: 2026-02-23 09:37:18 UTC+3:30 +- added symbols \some\ and \all\. + +// Timestamp: 2026-02-22 13:15:30 UTC+3:30 +- added symbols \between\, \ctx\ and \nuos\. + // Timestamp: 2026-01-03 16:29:56 UTC+3:30 - added symbols \hypo\ and \you\. |