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 6 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.
Teaching. Course and seminar material Tagged papers: 33.
One Metalogic, Many Logics: A Quantitative Pedagogical Framework for Proof-Assistant-Based Logic Teaching with LogiKEy
Teaching logic to mixed cohorts of computer science, mathematics, and philosophy students is difficult because each cohort brings different expectations and because the standard curriculum fragments into isolated courses on propositional, modal, epistemic, and deontic logic. The LogiKEy methodology…
Visual Graphs vs Matrices: Epistemic Limits, Cognitive Preference, and the Design of Understandable Computation
The ZX calculus and the matrices of linear algebra denote exactly the same maps. A field that knows this has, nonetheless, converged on the pictures. This paper argues that the convergence is not a matter of taste and not a matter of mathematics: it is a fact about bounded cognition. Where…
Autaxys Ontological Closure: When Is a Physical Quantity Computationally Real?
We propose an operational criterion for physical reality: a quantity is physically real only if there exists a finite Turing-machine protocol that approximates it with a computable modulus of convergence, yielding measurement-distinguishable predictions. This criterion is not a metaphysical claim…
Mechanistic-Ethics
URL: https://papers.qnfo.org/papers/mechanistic-ethics-and-the-biology-of-meaning/ Date: 2026-03-04 Version: 1.0 1.1 The Clockwork Universe Superdeterminism posits that every event, including the firing of human neurons, occupies a fixed coordinate sequence established at the universe’s singularity.…
The Threshold of Meaning
Chapter 1: Defining the Undefinable–Language, Semantics, and the Limits of Words - 1.1 The Problem of Contested Terms: “Life,” “Death,” and “Afterlife”–Historical, legal, biological, and spiritual definitions. - 1.2 Linguistic Registers: Propositional, Performative, Narrative, Poetic–How context…
An Epistemic Mirror
This paper reframes the “hard problem” of consciousness from an intractable ontological mystery to a tractable problem of epistemology. It argues that the explanatory gap is a structurally necessary epistemic boundary condition of any cognitive architecture that employs dimensionality reduction for…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.