From 306bf0da379e0b965960348b9099f6ca291f6fad Mon Sep 17 00:00:00 2001 From: Moon Flower Date: Wed, 31 Dec 2025 08:40:20 +0330 Subject: fix --- tempo.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'tempo.md') 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 -- cgit v1.2.3