A glossary of terms that are either new here, or used in unfamiliar ways
accumulative system
A system in which states are rules and rules update rules. Successive steps in the evolution of such a system are collections of rules that can be applied to each other.
axiomatic level
The traditional foundational way to represent mathematics using axioms, viewed here as being intermediate between the raw ruliad and human-scale mathematics.
bisubstitution
The combination of substitution and cosubstitution that corresponds to the complete set of possible transformations to make on expressions containing patterns.
branchial space
Space corresponding to the limit of a branchial graph that provides a map of common ancestry (or entanglement) in a multiway graph.
cosubstitution
The dual operation to substitution, in which a pattern expression that is to be transformed is specialized to allow a given rule to match it.
eme
The smallest element of existence according to our framework. In physics it can be identified as an “atom of space”, but in general it is an entity whose only internal attribute is that it is distinct from others.
entailment cone
The expanding region of a multiway graph or token-event graph affected by a particular node. The entailment cone is the analog in metamathematical space of a light cone in physical space.
entailment fabric
A piece of metamathematical space constructed by knitting together many small entailment cones. An entailment fabric is a rough model for what a mathematical observer might effectively perceive.
entailment graph
A combination of entailment cones starting from a collection of initial nodes.
expression rewriting
The process of rewriting (tree-structured) symbolic expressions according to rules for symbolic patterns. (Called “operator systems” in A New Kind of Science. Combinators are a special case.)
mathematical observer
An entity sampling the ruliad as a mathematician might effectively do it. Mathematical observers are expected to have certain core human-derived characteristics in common with physical observers.
metamathematical space
The space in which mathematical expressions or mathematical statements can be considered to lie. The space can potentially acquire a geometry as a limit of its construction through a branchial graph.
multiway graph
A graph that represents an evolution process in which there are multiple outcomes from a given state at each step. Multiway graphs are central to our Physics Project and to the multicomputational paradigm in general.
paramathematics
Parallel analogs of mathematics corresponding to different samplings of the ruliad by putative aliens or others.
pattern expression
A symbolic expression that involves pattern variables (x_ etc. in Wolfram Language, or ∀ quantifiers in mathematical logic).
physicalization of metamathematics
The concept of treating metamathematical constructs like elements of the physical universe.
proof cone
Another term for the entailment cone.
proof graph
The subgraph in a token-event graph that leads from axioms to a given statement.
proof path
The path in a multiway graph that shows equivalence between expressions, or the subgraph in a token-event graph that shows the constructibility of a given statement.
ruliad
The entangled limit of all possible computational processes, that is posited to be the ultimate foundation of both physics and mathematics.
rulial space
The limit of rulelike slices taken from a foliation of the ruliad in time. The analog in the rulelike “direction” of branchial space or physical space.
shredding of observers
The process by which an observer who has aggregated statements in a localized region of metamathematical space is effectively pulled apart by trying to cover consequences of these statements.
statement
A symbolic expression, often containing a two-way rule, and often derivable from axioms, and thus representing a lemma or theorem.
substitution event
An update event in which a symbolic expression (which may be a rule) is transformed by substitution according to a given rule.
token-event graph
A graph indicating the transformation of expressions or statements (“tokens”) through updating events.
two-way rule
A transformation rule for pattern expressions that can be applied in both directions (indicated with ).
uniquification
The process of giving different names to variables generated through different events.