← All Domains

memory_tree

1 papers · 0 Lean-verified

Memory-Tree Algebra: Numbers That Remember Their Computation
We introduce the Memory-Tree Algebra $\mathcal{M}$, a structure in which each element is a rooted tree encoding its complete computational history.
13 claims 2,235 words