diff options
| author | 2025-12-31 08:40:20 +0330 | |
|---|---|---|
| committer | 2025-12-31 08:40:20 +0330 | |
| commit | 306bf0da379e0b965960348b9099f6ca291f6fad (patch) | |
| tree | e86a3b39216f8402939130aa37f56cabced8e07e /tempo.md | |
| parent | changes (diff) | |
fix
Diffstat (limited to 'tempo.md')
| -rw-r--r-- | tempo.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |
