Open research library
Papers you can read, cite and question
611 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Logic & formalism papers 2 papers
Logicians, formal-methods and foundations readers. Formal systems and what they cannot say: Laws of Form and the calculus of indications, distinction and re-entry, self-reference, category theory, coalgebra and bisimulation, proof assistants, computability, formal ontology.
Ultrametric. Non-Archimedean geometry: tree metrics, strong triangle inequality, hierarchical distance Tagged papers: 69.
The Calculus of Re-Entrant Distinctions: A Unified Treatise on the Loop, the Tree, and the Constants of Self-Reference
This treatise develops a single thesis: that the primitive act of distinction — the drawing of a boundary between marked and unmarked — generates, under the discipline of re-entry and linear resource management, the constants $e$ and $\pi$, the landscape of completions of the rational numbers, the…
UNIFIED FORMAL ONTOLOGY OF THE CORRELATED UNIVERSE
URL: https://papers.qnfo.org/papers/unified-formal-ontology-of-the-correlated-universe/ Date: 2026-03-17 Version: 2.1 The universe operates as a unified field of potential rather than a collection of isolated fragments. Classical cosmology traditionally models expansion as a disconnected scattering…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.