aboutsummaryrefslogtreecommitdiff
path: root/tempo.md
diff options
context:
space:
mode:
authorGravatar Moon Flower <mforoud86@gmail.com> 2025-12-31 08:40:20 +0330
committerGravatar Moon Flower <mforoud86@gmail.com> 2025-12-31 08:40:20 +0330
commit306bf0da379e0b965960348b9099f6ca291f6fad (patch)
treee86a3b39216f8402939130aa37f56cabced8e07e /tempo.md
parentchanges (diff)
fix
Diffstat (limited to 'tempo.md')
-rw-r--r--tempo.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/tempo.md b/tempo.md
index 53283cf..c3dbbd7 100644
--- a/tempo.md
+++ b/tempo.md
@@ -229,9 +229,13 @@ def \energy\ `A=. \energy\+A > @A`
^^ energy:
perhaps the first axiom to be defined declaratively. an axiom when, which applied to an object, causes it to change.
+def \almost\ `[x y] A=.\prop\x B=.\prop\y A=B x\neq\y` (C \almost\ D)
+^^ weak equality:
+shows that all properties of two objects are true, but they are not completely equal.
+
def \matter\ `A=. A\neq\0 \static\\id\A A\almost\\energy\`
^^ matter:
-**universe dependent**, existence which has a persistent identity, is weakly equal to energy, and
+**universe dependent**. existence which has a persistent identity and is weakly equal to energy.
## update log