Open research library
Papers you can read, cite and question
728 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.
Results for “distinction” 5 papers
Formal verification. Contracts, assertions and verified implementations Tagged papers: 33.
Cross‑Ratios as Universal Atoms of Meaning: A Projective‑Invariant Framework for Likelihood, Information, and Decision Theory
Dimensionless descriptors such as physical constants, likelihood ratios, and mutual information are central to inference across physics, statistics, and machine learning, yet they are vulnerable to changes of units, model parametrizations, or data distributions. This work bridges projective geometry…
Re-Entry as a Binary Prohibition Law: Enumeration, Impossibility, and the Three-Outcome Completion
Self-referential constraints arise in hardware security, programmable logic, and symbolic execution tools, where a system must forbid a state while generating the very operation that enforces the prohibition. The open question is whether a re-entering form of the calculus of indications — a…
Distinction-Lattice Framework: Eigenforms, Bisimulation, and the Realizability Boundary of Self-Reference
A conservative formal version of the Distinction-Lattice Framework (DLF): stable entities are bisimulation classes of observational behaviour, certified coinductively, with realizability separated from fixed-point existence. This version (v0.2.0, superseding v0.1.1) narrows novelty claims, corrects…
Automated Formal Verification and Combinatorial Reduction of Distinction-Based Calculus
The foundation of modern formal mathematics has historically rested upon Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), a container-based ontology that often conflates zero with the empty set and necessitates arbitrary constraints to prevent self-reference. To systematically evaluate…
Formal Ontology of Distinction and Invariance
This document presents the complete, self-compliant synthesis of the Ontic Relational Patternism framework. Starting from a single primitive syntactic token—the mark—and three context-closed reduction rules (Calling, Crossing, Void), we derive a purely relational universe where the cross-ratio is…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.