The Generative Mechanism of Dimension: An Axiomatic Construction of Dimensional Conventions (Constructive Mathematics Series, Paper 6; Lean formalization, model-pair independence, numerical evidence)
Year: 2026
Type: preprint
Abstract: Axiomatic construction of dimensional conventions — fifth constructive-mathematics member (CN+EN bilingual). v1.0: readout-scene quadruple (T, X, d, D-distortion), axioms A'1-A'4, squeeze criterion A'3 with machine-checked Lean cores (DimensionAxioms/DimensionConstruct, zero sorry), visual three-dimensionality as a specialization case, statistical compatibility negative result. v1.1 adds a section-2.1 end-note (perceptual-dimension interface): the dual identity of X as scene parameter and readout-axis splitter — medium-conditioned splitting of the spatial readout axis into a continuous gradient family of axes (switch point set by information-source abundance), and the generation of sensory-line families as cleavage sections of superposed information; two-level delta_T and a second (adversarial) objective type as perceptual-side extensions of the framework.
Author: Qin, Chao
Language: English
Subfield: Philosophy
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W7213639735