NSk--REAL--PURE: Realizational Mathematics without Actual Infinity -- The REAL Layer and the REAL/FORM Separation (archival conceptual version)
Abstract
Status update. This record is retained solely as an archival historical document within the NSk/ψ program. Its role is historical and programmatic only: it documents an earlier stage of the program and preserves part of its conceptual development and historical record. It should no longer be read, cited, or used as a current canonical source for the mathematical, physical, realizational, or theorem-bearing architecture of the program. The current canonical architecture of the NSk/ψ program is presented in the newer records maintained in the official program collection/community:https://zenodo.org/communities/nsk-psi-programme Accordingly, this record should now be treated exclusively as archival historical material, and not as part of the current central foundation of the program.
Fields of Study & Subjects
Mathematical and Theoretical Analysis
History and Theory of Mathematics
Logic
programming
and type systems
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 9 February 2026
- Language
- EN
- Document type
- Preprint