Why Mathematics Even Works

In plain words

Imaginary numbers are not real. Infinitesimals are not real scalars. Roots of a polynomial need not lie in the base field. Yet all of them solve problems stated entirely in the lower layer.

The paper separates the lower layer, where the problem lives, from a promoted layer with extra objects. It bundles a useful calculation into a certificate: a hidden object with no lower counterpart, and a selected expression that returns an answer the lower layer accepts under explicit checks. The certificate licenses the answer, never the hidden object itself. For root problems, non descent is forced: no real linear map squares to reversal, so the quarter turn whose square returns reversal cannot be a real map.

Four witnesses are worked in full: imaginary numbers, dual numbers, Galois roots and graph cohomology. They carry four distinct labels, and a shared shape transfers obligations, not evidence. The paper also marks a limit: an audit can make a hidden step essential even when that step descends, so essential use alone does not force non descent.

What it shows

• The Strict Audited Utility certificate, and exactly what it licenses.
• Forced non descent for root and composition returns, with examples showing the hypotheses are needed.
• Boundaries and replay in computations, and an example separating essential use from non descent.
• Four canonical witnesses with distinct profiles.

What it does not claim

It is about strict useful promoted traces, not mathematical practice in general. It does not claim that every essential use of a hidden object forces non descent, or that a promoted layer is ever computationally necessary.

Cite

Tsiokos, I. (2026). Why Mathematics Even Works. Zenodo. https://doi.org/10.5281/zenodo.23183149