NSk--REAL--PURE: Realizational Mathematics without Actual Infinity -- The REAL Layer and the REAL/FORM Separation (archival conceptual version)

Read full text
Authors: Paweł Nowak, Maciej Stachowiak
Cited by: 0

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