A Position Paper on Canvas Temporal Mathematics: Beyond the Static Assumption

Mathematics rests on foundations. For over a century, the dominant foundation has been Zermelo-Fraenkel set theory with Choice (ZFC). More recently, Homotopy Type Theory (HoTT) has emerged as an alternative, enriching the notion of equality with homotopy paths and higher inductive types. Both foundations share an unstated assumption: that mathematical truth is static. Truth values do not change. Objects do not evolve. Equality is a fixed relation. Canvas Temporal Mathematics (CTM) challenges this assumption. CTM replaces static equality with a self-referential equality processor that outputs spectral resonance amplitudes rather than Boolean values. Truth is not a binary but an eigenvalue. Operations are time-indexed. A symmetry operator distinguishes physically realized structures from virtual ones. Meta-order dynamics drives systems toward equilibrium via gradient flow. Standard mathematics (ZFC) is recovered as the frozen equilibrium limit. What this position paper provides: · A systematic comparison of CTM with ZFC and HoTT across five dimensions: primitives, equality, truth, dynamics, and infinity. The paper identifies what each foundation can express that the others cannot, and honestly assesses CTM's current limitations.· A clear statement of CTM's core innovations: spectral equality (the equality processor outputs resonance amplitudes, not Booleans), the symmetry operator \mathcal{S} (distinguishing matter/antimatter, positive/negative, complex conjugates), meta-order dynamics (gradient flow toward \mathcal{S}-invariant equilibrium), and the rejection of actual infinity (replaced by asymptotic limits, potential infinity, and finite-but-unbounded structures).· An honest assessment of CTM's limitations: no formalization, no consistency proof, no proof assistant implementation, limited rigorous results (equality processor only for natural numbers so far), no model theory, and open philosophical questions. These limitations are characteristic of a new foundation in its early stages.· A philosophical argument for why CTM matters despite its limitations. Non-Euclidean geometry was not evaluated by its completeness when first proposed—it was evaluated by the new territory it opened. CTM opens territory that ZFC and HoTT do not: dynamics as primitive, equality as spectral, infinity as asymptotic, self-reference as oscillation rather than contradiction. Why this matters: The static assumption has been productive for over two millennia. It may also be what prevents mathematics from expressing certain truths—truths that are dynamical, spectral, and temporal. CTM is an experiment in what mathematics looks like without that assumption. Whether it develops into a full foundation depends on work yet to be done, but the direction is clear. This position paper is an invitation to that work. Keywords: Canvas Temporal Mathematics, mathematical foundations, ZFC, Homotopy Type Theory, equality processor, symmetry operator, meta-order dynamics, spectral truth, static assumption, temporal foundations, process philosophy, philosophy of mathematics